libppx-core-ocaml-dev 113.33.03-1 / usr / lib / ocaml / ppx_core / spellcheck.annot

"src/spellcheck.ml" 3 16 20 "src/spellcheck.ml" 3 16 30
type(
  string list -> string -> string option
)
ident(
  def spellcheck "src/spellcheck.ml" 31 909 923 "src/spellcheck.ml" 1 0 -1
)
"src/spellcheck.ml" 3 16 31 "src/spellcheck.ml" 3 16 36
type(
  string list
)
ident(
  def names "src/spellcheck.ml" 3 16 37 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 3 16 37 "src/spellcheck.ml" 3 16 41
type(
  string
)
ident(
  def name "src/spellcheck.ml" 4 44 46 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 4 44 50 "src/spellcheck.ml" 4 44 56
type(
  int
)
ident(
  def cutoff "src/spellcheck.ml" 11 162 164 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 5 59 69 "src/spellcheck.ml" 5 59 82
type(
  string -> int
)
ident(
  ext_ref StdLabels.String.length
)
"src/spellcheck.ml" 5 59 83 "src/spellcheck.ml" 5 59 87
type(
  string
)
ident(
  int_ref name "src/spellcheck.ml" 3 16 37 "src/spellcheck.ml" 3 16 41
)
"src/spellcheck.ml" 5 59 69 "src/spellcheck.ml" 5 59 87
type(
  int
)
"src/spellcheck.ml" 6 93 99 "src/spellcheck.ml" 6 93 100
type(
  int
)
"src/spellcheck.ml" 6 93 103 "src/spellcheck.ml" 6 93 104
type(
  int
)
"src/spellcheck.ml" 6 93 99 "src/spellcheck.ml" 6 93 104
type(
  int
)
"src/spellcheck.ml" 6 93 108 "src/spellcheck.ml" 6 93 109
type(
  int
)
"src/spellcheck.ml" 7 110 116 "src/spellcheck.ml" 7 110 117
type(
  int
)
"src/spellcheck.ml" 7 110 120 "src/spellcheck.ml" 7 110 121
type(
  int
)
"src/spellcheck.ml" 7 110 116 "src/spellcheck.ml" 7 110 121
type(
  int
)
"src/spellcheck.ml" 7 110 125 "src/spellcheck.ml" 7 110 126
type(
  int
)
"src/spellcheck.ml" 8 127 133 "src/spellcheck.ml" 8 127 134
type(
  int
)
"src/spellcheck.ml" 8 127 137 "src/spellcheck.ml" 8 127 138
type(
  int
)
"src/spellcheck.ml" 8 127 133 "src/spellcheck.ml" 8 127 138
type(
  int
)
"src/spellcheck.ml" 8 127 142 "src/spellcheck.ml" 8 127 143
type(
  int
)
"src/spellcheck.ml" 9 144 150 "src/spellcheck.ml" 9 144 151
type(
  int
)
"src/spellcheck.ml" 9 144 155 "src/spellcheck.ml" 9 144 156
type(
  int
)
"src/spellcheck.ml" 5 59 63 "src/spellcheck.ml" 9 144 156
type(
  int
)
"src/spellcheck.ml" 11 162 168 "src/spellcheck.ml" 11 162 169
type(
  int
)
"src/spellcheck.ml" 11 162 171 "src/spellcheck.ml" 11 162 182
type(
  string list
)
ident(
  def suggestions "src/spellcheck.ml" 24 643 645 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 11 162 168 "src/spellcheck.ml" 11 162 182
type(
  int * string list
)
"src/spellcheck.ml" 12 185 189 "src/spellcheck.ml" 12 185 203
type(
  f:(int * string list -> string -> int * string list) ->
  init:int * string list -> string list -> int * string list
)
ident(
  ext_ref StdLabels.List.fold_left
)
"src/spellcheck.ml" 12 185 204 "src/spellcheck.ml" 12 185 209
type(
  string list
)
ident(
  int_ref names "src/spellcheck.ml" 3 16 31 "src/spellcheck.ml" 3 16 36
)
"src/spellcheck.ml" 12 185 217 "src/spellcheck.ml" 12 185 224
type(
  int
)
ident(
  ext_ref Pervasives.max_int
)
"src/spellcheck.ml" 12 185 226 "src/spellcheck.ml" 12 185 228
type(
  string list
)
"src/spellcheck.ml" 12 185 216 "src/spellcheck.ml" 12 185 229
type(
  int * string list
)
"src/spellcheck.ml" 13 230 246 "src/spellcheck.ml" 13 230 259
type(
  int
)
ident(
  def best_distance "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 22 575 636
)
"src/spellcheck.ml" 13 230 261 "src/spellcheck.ml" 13 230 283
type(
  string list
)
ident(
  def names_at_best_distance "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 22 575 636
)
"src/spellcheck.ml" 13 230 245 "src/spellcheck.ml" 13 230 284
type(
  int * string list
)
"src/spellcheck.ml" 13 230 288 "src/spellcheck.ml" 13 230 291
ident(
  def acc "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 22 575 636
)
"src/spellcheck.ml" 13 230 244 "src/spellcheck.ml" 13 230 292
type(
  int * string list
)
"src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 13 230 308
type(
  string
)
ident(
  def registered_name "src/spellcheck.ml" 14 312 320 "src/spellcheck.ml" 22 575 636
)
"src/spellcheck.ml" 14 312 326 "src/spellcheck.ml" 14 312 344
type(
  string -> string -> int -> int option
)
ident(
  ext_ref Misc.edit_distance
)
"src/spellcheck.ml" 14 312 345 "src/spellcheck.ml" 14 312 349
type(
  string
)
ident(
  int_ref name "src/spellcheck.ml" 3 16 37 "src/spellcheck.ml" 3 16 41
)
"src/spellcheck.ml" 14 312 350 "src/spellcheck.ml" 14 312 365
type(
  string
)
ident(
  int_ref registered_name "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 13 230 308
)
"src/spellcheck.ml" 14 312 366 "src/spellcheck.ml" 14 312 372
type(
  int
)
ident(
  int_ref cutoff "src/spellcheck.ml" 4 44 50 "src/spellcheck.ml" 4 44 56
)
"src/spellcheck.ml" 14 312 326 "src/spellcheck.ml" 14 312 372
call(
  stack
)
type(
  int option
)
"src/spellcheck.ml" 15 378 388 "src/spellcheck.ml" 15 378 392
type(
  int option
)
"src/spellcheck.ml" 15 378 396 "src/spellcheck.ml" 15 378 399
type(
  int * string list
)
ident(
  int_ref acc "src/spellcheck.ml" 13 230 244 "src/spellcheck.ml" 13 230 292
)
"src/spellcheck.ml" 16 400 415 "src/spellcheck.ml" 16 400 419
type(
  int
)
ident(
  def dist "src/spellcheck.ml" 17 423 433 "src/spellcheck.ml" 22 575 636
)
"src/spellcheck.ml" 16 400 410 "src/spellcheck.ml" 16 400 419
type(
  int option
)
"src/spellcheck.ml" 17 423 436 "src/spellcheck.ml" 17 423 440
type(
  int
)
ident(
  int_ref dist "src/spellcheck.ml" 16 400 415 "src/spellcheck.ml" 16 400 419
)
"src/spellcheck.ml" 17 423 441 "src/spellcheck.ml" 17 423 442
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"src/spellcheck.ml" 17 423 443 "src/spellcheck.ml" 17 423 456
type(
  int
)
ident(
  int_ref best_distance "src/spellcheck.ml" 13 230 246 "src/spellcheck.ml" 13 230 259
)
"src/spellcheck.ml" 17 423 436 "src/spellcheck.ml" 17 423 456
type(
  bool
)
"src/spellcheck.ml" 18 462 475 "src/spellcheck.ml" 18 462 479
type(
  int
)
ident(
  int_ref dist "src/spellcheck.ml" 16 400 415 "src/spellcheck.ml" 16 400 419
)
"src/spellcheck.ml" 18 462 482 "src/spellcheck.ml" 18 462 497
type(
  string
)
ident(
  int_ref registered_name "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 13 230 308
)
"src/spellcheck.ml" 18 462 481 "src/spellcheck.ml" 18 462 498
type(
  string list
)
"src/spellcheck.ml" 18 462 474 "src/spellcheck.ml" 18 462 499
type(
  int * string list
)
"src/spellcheck.ml" 19 500 518 "src/spellcheck.ml" 19 500 522
type(
  int
)
ident(
  int_ref dist "src/spellcheck.ml" 16 400 415 "src/spellcheck.ml" 16 400 419
)
"src/spellcheck.ml" 19 500 523 "src/spellcheck.ml" 19 500 524
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/spellcheck.ml" 19 500 525 "src/spellcheck.ml" 19 500 538
type(
  int
)
ident(
  int_ref best_distance "src/spellcheck.ml" 13 230 246 "src/spellcheck.ml" 13 230 259
)
"src/spellcheck.ml" 19 500 518 "src/spellcheck.ml" 19 500 538
type(
  bool
)
"src/spellcheck.ml" 20 544 556 "src/spellcheck.ml" 20 544 559
type(
  int * string list
)
ident(
  int_ref acc "src/spellcheck.ml" 13 230 244 "src/spellcheck.ml" 13 230 292
)
"src/spellcheck.ml" 22 575 588 "src/spellcheck.ml" 22 575 592
type(
  int
)
ident(
  int_ref dist "src/spellcheck.ml" 16 400 415 "src/spellcheck.ml" 16 400 419
)
"src/spellcheck.ml" 22 575 594 "src/spellcheck.ml" 22 575 609
type(
  string
)
ident(
  int_ref registered_name "src/spellcheck.ml" 13 230 293 "src/spellcheck.ml" 13 230 308
)
"src/spellcheck.ml" 22 575 613 "src/spellcheck.ml" 22 575 635
type(
  string list
)
ident(
  int_ref names_at_best_distance "src/spellcheck.ml" 13 230 261 "src/spellcheck.ml" 13 230 283
)
"src/spellcheck.ml" 22 575 594 "src/spellcheck.ml" 22 575 635
type(
  string list
)
"src/spellcheck.ml" 22 575 587 "src/spellcheck.ml" 22 575 636
type(
  int * string list
)
"src/spellcheck.ml" 19 500 515 "src/spellcheck.ml" 22 575 636
type(
  int * string list
)
"src/spellcheck.ml" 17 423 433 "src/spellcheck.ml" 22 575 636
type(
  int * string list
)
"src/spellcheck.ml" 14 312 320 "src/spellcheck.ml" 22 575 636
type(
  int * string list
)
"src/spellcheck.ml" 13 230 239 "src/spellcheck.ml" 22 575 637
type(
  int * string list -> string -> int * string list
)
"src/spellcheck.ml" 12 185 189 "src/spellcheck.ml" 22 575 637
call(
  stack
)
type(
  int * string list
)
"src/spellcheck.ml" 24 643 651 "src/spellcheck.ml" 24 643 659
type(
  string list -> string list
)
ident(
  ext_ref StdLabels.List.rev
)
"src/spellcheck.ml" 24 643 660 "src/spellcheck.ml" 24 643 671
type(
  string list
)
ident(
  int_ref suggestions "src/spellcheck.ml" 11 162 171 "src/spellcheck.ml" 11 162 182
)
"src/spellcheck.ml" 24 643 651 "src/spellcheck.ml" 24 643 671
call(
  stack
)
type(
  string list
)
"src/spellcheck.ml" 24 643 672 "src/spellcheck.ml" 24 643 674
type(
  string list -> (string list -> string list) -> string list
)
ident(
  ext_ref Pervasives.( |> )
)
"src/spellcheck.ml" 24 643 675 "src/spellcheck.ml" 24 643 686
type(
  f:(string -> bool) -> string list -> string list
)
ident(
  ext_ref StdLabels.List.filter
)
"src/spellcheck.ml" 24 643 691 "src/spellcheck.ml" 24 643 695
type(
  string -> string -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"src/spellcheck.ml" 24 643 696 "src/spellcheck.ml" 24 643 700
type(
  string
)
ident(
  int_ref name "src/spellcheck.ml" 3 16 37 "src/spellcheck.ml" 3 16 41
)
"src/spellcheck.ml" 24 643 690 "src/spellcheck.ml" 24 643 701
call(
  stack
)
type(
  string -> bool
)
"src/spellcheck.ml" 24 643 675 "src/spellcheck.ml" 24 643 701
type(
  string list -> string list
)
"src/spellcheck.ml" 24 643 651 "src/spellcheck.ml" 24 643 701
call(
  stack
)
type(
  string list
)
"src/spellcheck.ml" 25 707 711 "src/spellcheck.ml" 25 707 713
type(
  string list
)
"src/spellcheck.ml" 25 707 717 "src/spellcheck.ml" 25 707 721
type(
  string option
)
"src/spellcheck.ml" 26 722 726 "src/spellcheck.ml" 26 722 730
type(
  string
)
ident(
  def last "src/spellcheck.ml" 27 746 750 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 26 722 734 "src/spellcheck.ml" 26 722 742
type(
  string list
)
ident(
  def rev_rest "src/spellcheck.ml" 27 746 750 "src/spellcheck.ml" 31 909 923
)
"src/spellcheck.ml" 26 722 726 "src/spellcheck.ml" 26 722 742
type(
  string list
)
"src/spellcheck.ml" 28 755 762 "src/spellcheck.ml" 28 755 776
type(
  (string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/spellcheck.ml" 28 755 777 "src/spellcheck.ml" 28 755 805
type(
  (string -> string -> string -> string, unit, string) format
)
"src/spellcheck.ml" 29 806 816 "src/spellcheck.ml" 29 806 829
type(
  sep:string -> string list -> string
)
ident(
  ext_ref StdLabels.String.concat
)
"src/spellcheck.ml" 29 806 835 "src/spellcheck.ml" 29 806 839
type(
  string
)
"src/spellcheck.ml" 29 806 841 "src/spellcheck.ml" 29 806 849
type(
  string list -> string list
)
ident(
  ext_ref StdLabels.List.rev
)
"src/spellcheck.ml" 29 806 850 "src/spellcheck.ml" 29 806 858
type(
  string list
)
ident(
  int_ref rev_rest "src/spellcheck.ml" 26 722 734 "src/spellcheck.ml" 26 722 742
)
"src/spellcheck.ml" 29 806 840 "src/spellcheck.ml" 29 806 859
call(
  stack
)
type(
  string list
)
"src/spellcheck.ml" 29 806 815 "src/spellcheck.ml" 29 806 860
call(
  stack
)
type(
  string
)
"src/spellcheck.ml" 30 861 874 "src/spellcheck.ml" 30 861 882
type(
  string list
)
ident(
  int_ref rev_rest "src/spellcheck.ml" 26 722 734 "src/spellcheck.ml" 26 722 742
)
"src/spellcheck.ml" 30 861 883 "src/spellcheck.ml" 30 861 884
type(
  string list -> string list -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/spellcheck.ml" 30 861 885 "src/spellcheck.ml" 30 861 887
type(
  string list
)
"src/spellcheck.ml" 30 861 874 "src/spellcheck.ml" 30 861 887
type(
  bool
)
"src/spellcheck.ml" 30 861 893 "src/spellcheck.ml" 30 861 895
type(
  string
)
"src/spellcheck.ml" 30 861 901 "src/spellcheck.ml" 30 861 907
type(
  string
)
"src/spellcheck.ml" 30 861 870 "src/spellcheck.ml" 30 861 908
type(
  string
)
"src/spellcheck.ml" 31 909 918 "src/spellcheck.ml" 31 909 922
type(
  string
)
ident(
  int_ref last "src/spellcheck.ml" 26 722 726 "src/spellcheck.ml" 26 722 730
)
"src/spellcheck.ml" 28 755 761 "src/spellcheck.ml" 31 909 923
call(
  stack
)
type(
  string
)
"src/spellcheck.ml" 27 746 750 "src/spellcheck.ml" 31 909 923
type(
  string option
)
"src/spellcheck.ml" 24 643 645 "src/spellcheck.ml" 31 909 923
type(
  string option
)
"src/spellcheck.ml" 11 162 164 "src/spellcheck.ml" 31 909 923
type(
  string option
)
"src/spellcheck.ml" 4 44 46 "src/spellcheck.ml" 31 909 923
type(
  string option
)