libbin-prot-camlp4-dev 113.00.00-1 / usr / lib / ocaml / bin_prot / utils.annot

"lib/utils.ml" 7 92 96 "lib/utils.ml" 7 92 114
type(
  int
)
ident(
  def size_header_length "lib/utils.ml" 9 120 120 "lib/utils.ml" 1 0 -1
)
"lib/utils.ml" 7 92 117 "lib/utils.ml" 7 92 118
type(
  int
)
"lib/utils.ml" 9 120 124 "lib/utils.ml" 9 120 145
type(
  int Write.writer
)
ident(
  def bin_write_size_header "lib/utils.ml" 10 174 174 "lib/utils.ml" 1 0 -1
)
"lib/utils.ml" 9 120 148 "lib/utils.ml" 9 120 173
type(
  int Write.writer
)
ident(
  ext_ref Write.bin_write_int_64bit
)
"lib/utils.ml" 10 174 178 "lib/utils.ml" 10 174 198
type(
  int Read.reader
)
ident(
  def bin_read_size_header "lib/utils.ml" 12 226 226 "lib/utils.ml" 1 0 -1
)
"lib/utils.ml" 10 174 201 "lib/utils.ml" 10 174 224
type(
  int Read.reader
)
ident(
  ext_ref Read.bin_read_int_64bit
)
"lib/utils.ml" 12 226 230 "lib/utils.ml" 12 226 238
type(
  ?header:bool -> 'a Type_class.writer -> 'a -> Common.buf
)
ident(
  def bin_dump "lib/utils.ml" 31 758 758 "lib/utils.ml" 1 0 -1
)
"lib/utils.ml" 12 226 241 "lib/utils.ml" 12 226 247
type(
  bool
)
"lib/utils.ml" 12 226 250 "lib/utils.ml" 12 226 255
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/utils.ml" 12 226 250 "lib/utils.ml" 12 226 255
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/utils.ml" 12 226 257 "lib/utils.ml" 12 226 263
type(
  'a Type_class.writer
)
ident(
  def writer "lib/utils.ml" 12 226 264 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 12 226 264 "lib/utils.ml" 12 226 265
type(
  'a
)
ident(
  def v "lib/utils.ml" 13 268 270 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 13 268 274 "lib/utils.ml" 13 268 277
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 24 590 592 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 13 268 279 "lib/utils.ml" 13 268 282
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 24 590 592 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 13 268 284 "lib/utils.ml" 13 268 291
type(
  int
)
ident(
  def pos_len "lib/utils.ml" 24 590 592 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 13 268 274 "lib/utils.ml" 13 268 291
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
type(
  int
)
ident(
  def v_len "lib/utils.ml" 15 327 331 "lib/utils.ml" 22 565 584
)
"lib/utils.ml" 14 294 310 "lib/utils.ml" 14 294 316
type(
  'a Type_class.writer
)
ident(
  int_ref writer "lib/utils.ml" 12 226 257 "lib/utils.ml" 12 226 263
)
"lib/utils.ml" 14 294 310 "lib/utils.ml" 14 294 321
type(
  'a Size.sizer
)
"lib/utils.ml" 14 294 322 "lib/utils.ml" 14 294 323
type(
  'a
)
ident(
  int_ref v "lib/utils.ml" 12 226 264 "lib/utils.ml" 12 226 265
)
"lib/utils.ml" 14 294 310 "lib/utils.ml" 14 294 323
call(
  stack
)
type(
  int
)
"lib/utils.ml" 15 327 334 "lib/utils.ml" 15 327 340
type(
  bool
)
ident(
  int_ref header "lib/utils.ml" 12 226 241 "lib/utils.ml" 12 226 247
)
"lib/utils.ml" 16 346 356 "lib/utils.ml" 16 346 363
type(
  int
)
ident(
  def tot_len "lib/utils.ml" 17 396 402 "lib/utils.ml" 19 492 519
)
"lib/utils.ml" 16 346 366 "lib/utils.ml" 16 346 371
type(
  int
)
ident(
  int_ref v_len "lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
)
"lib/utils.ml" 16 346 372 "lib/utils.ml" 16 346 373
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 16 346 374 "lib/utils.ml" 16 346 392
type(
  int
)
ident(
  int_ref size_header_length "lib/utils.ml" 7 92 96 "lib/utils.ml" 7 92 114
)
"lib/utils.ml" 16 346 366 "lib/utils.ml" 16 346 392
type(
  int
)
"lib/utils.ml" 17 396 406 "lib/utils.ml" 17 396 409
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 18 434 440 "lib/utils.ml" 19 492 519
)
"lib/utils.ml" 17 396 412 "lib/utils.ml" 17 396 422
type(
  int -> Common.buf
)
ident(
  ext_ref Common.create_buf
)
"lib/utils.ml" 17 396 423 "lib/utils.ml" 17 396 430
type(
  int
)
ident(
  int_ref tot_len "lib/utils.ml" 16 346 356 "lib/utils.ml" 16 346 363
)
"lib/utils.ml" 17 396 412 "lib/utils.ml" 17 396 430
call(
  stack
)
type(
  Common.buf
)
"lib/utils.ml" 18 434 444 "lib/utils.ml" 18 434 447
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 19 492 498 "lib/utils.ml" 19 492 519
)
"lib/utils.ml" 18 434 450 "lib/utils.ml" 18 434 471
type(
  int Write.writer
)
ident(
  int_ref bin_write_size_header "lib/utils.ml" 9 120 124 "lib/utils.ml" 9 120 145
)
"lib/utils.ml" 18 434 472 "lib/utils.ml" 18 434 475
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 17 396 406 "lib/utils.ml" 17 396 409
)
"lib/utils.ml" 18 434 481 "lib/utils.ml" 18 434 482
type(
  Common.pos
)
"lib/utils.ml" 18 434 483 "lib/utils.ml" 18 434 488
type(
  int
)
ident(
  int_ref v_len "lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
)
"lib/utils.ml" 18 434 450 "lib/utils.ml" 18 434 488
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 19 492 498 "lib/utils.ml" 19 492 501
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 17 396 406 "lib/utils.ml" 17 396 409
)
"lib/utils.ml" 19 492 503 "lib/utils.ml" 19 492 506
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 18 434 444 "lib/utils.ml" 18 434 447
)
"lib/utils.ml" 19 492 508 "lib/utils.ml" 19 492 511
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 18 434 444 "lib/utils.ml" 18 434 447
)
"lib/utils.ml" 19 492 512 "lib/utils.ml" 19 492 513
type(
  Common.pos -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 19 492 514 "lib/utils.ml" 19 492 519
type(
  int
)
ident(
  int_ref v_len "lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
)
"lib/utils.ml" 19 492 508 "lib/utils.ml" 19 492 519
type(
  int
)
"lib/utils.ml" 19 492 498 "lib/utils.ml" 19 492 519
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 18 434 440 "lib/utils.ml" 19 492 519
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 17 396 402 "lib/utils.ml" 19 492 519
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 16 346 352 "lib/utils.ml" 19 492 519
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 21 529 539 "lib/utils.ml" 21 529 542
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 22 565 571 "lib/utils.ml" 22 565 584
)
"lib/utils.ml" 21 529 545 "lib/utils.ml" 21 529 555
type(
  int -> Common.buf
)
ident(
  ext_ref Common.create_buf
)
"lib/utils.ml" 21 529 556 "lib/utils.ml" 21 529 561
type(
  int
)
ident(
  int_ref v_len "lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
)
"lib/utils.ml" 21 529 545 "lib/utils.ml" 21 529 561
call(
  stack
)
type(
  Common.buf
)
"lib/utils.ml" 22 565 571 "lib/utils.ml" 22 565 574
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 21 529 539 "lib/utils.ml" 21 529 542
)
"lib/utils.ml" 22 565 576 "lib/utils.ml" 22 565 577
type(
  Common.pos
)
"lib/utils.ml" 22 565 579 "lib/utils.ml" 22 565 584
type(
  int
)
ident(
  int_ref v_len "lib/utils.ml" 14 294 302 "lib/utils.ml" 14 294 307
)
"lib/utils.ml" 22 565 571 "lib/utils.ml" 22 565 584
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 21 529 535 "lib/utils.ml" 22 565 584
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 15 327 331 "lib/utils.ml" 22 565 584
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 14 294 298 "lib/utils.ml" 22 565 584
type(
  Common.buf * Common.pos * int
)
"lib/utils.ml" 24 590 596 "lib/utils.ml" 24 590 599
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 25 629 631 "lib/utils.ml" 26 657 727
)
"lib/utils.ml" 24 590 602 "lib/utils.ml" 24 590 608
type(
  'a Type_class.writer
)
ident(
  int_ref writer "lib/utils.ml" 12 226 257 "lib/utils.ml" 12 226 263
)
"lib/utils.ml" 24 590 602 "lib/utils.ml" 24 590 614
type(
  'a Write.writer
)
"lib/utils.ml" 24 590 615 "lib/utils.ml" 24 590 618
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 13 268 274 "lib/utils.ml" 13 268 277
)
"lib/utils.ml" 24 590 620 "lib/utils.ml" 24 590 623
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 13 268 279 "lib/utils.ml" 13 268 282
)
"lib/utils.ml" 24 590 624 "lib/utils.ml" 24 590 625
type(
  'a
)
ident(
  int_ref v "lib/utils.ml" 12 226 264 "lib/utils.ml" 12 226 265
)
"lib/utils.ml" 24 590 602 "lib/utils.ml" 24 590 625
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 25 629 634 "lib/utils.ml" 25 629 637
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 24 590 596 "lib/utils.ml" 24 590 599
)
"lib/utils.ml" 25 629 638 "lib/utils.ml" 25 629 639
type(
  Common.pos -> Common.pos -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 25 629 640 "lib/utils.ml" 25 629 647
type(
  Common.pos
)
ident(
  int_ref pos_len "lib/utils.ml" 13 268 284 "lib/utils.ml" 13 268 291
)
"lib/utils.ml" 25 629 634 "lib/utils.ml" 25 629 647
type(
  bool
)
"lib/utils.ml" 25 629 653 "lib/utils.ml" 25 629 656
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 13 268 274 "lib/utils.ml" 13 268 277
)
"lib/utils.ml" 26 657 664 "lib/utils.ml" 26 657 672
type(
  string -> Common.buf
)
ident(
  ext_ref Pervasives.failwith
)
"lib/utils.ml" 26 657 673 "lib/utils.ml" 26 657 727
type(
  string
)
"lib/utils.ml" 26 657 664 "lib/utils.ml" 26 657 727
call(
  tail
)
type(
  Common.buf
)
"lib/utils.ml" 25 629 631 "lib/utils.ml" 26 657 727
type(
  Common.buf
)
"lib/utils.ml" 24 590 592 "lib/utils.ml" 26 657 727
type(
  Common.buf
)
"lib/utils.ml" 13 268 270 "lib/utils.ml" 26 657 727
type(
  Common.buf
)
"lib/utils.ml" 31 758 762 "lib/utils.ml" 31 758 777
type(
  ?max_size:int ->
  read:(Common.buf -> pos:int -> len:int -> 'a) -> 'b Type_class.reader -> 'b
)
ident(
  def bin_read_stream "lib/utils.ml" 60 1614 1614 "lib/utils.ml" 1 0 -1
)
"lib/utils.ml" 31 758 779 "lib/utils.ml" 31 758 787
type(
  int option
)
ident(
  def max_size "lib/utils.ml" 31 758 788 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 31 758 789 "lib/utils.ml" 31 758 793
type(
  Common.buf -> pos:int -> len:int -> 'a
)
ident(
  def read "lib/utils.ml" 31 758 794 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 31 758 794 "lib/utils.ml" 31 758 800
type(
  'b Type_class.reader
)
ident(
  def reader "lib/utils.ml" 32 803 805 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 32 803 809 "lib/utils.ml" 32 803 812
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 33 848 850 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 32 803 815 "lib/utils.ml" 32 803 825
type(
  int -> Common.buf
)
ident(
  ext_ref Common.create_buf
)
"lib/utils.ml" 32 803 826 "lib/utils.ml" 32 803 844
type(
  int
)
ident(
  int_ref size_header_length "lib/utils.ml" 7 92 96 "lib/utils.ml" 7 92 114
)
"lib/utils.ml" 32 803 815 "lib/utils.ml" 32 803 844
call(
  stack
)
type(
  Common.buf
)
"lib/utils.ml" 33 848 850 "lib/utils.ml" 33 848 854
type(
  Common.buf -> pos:int -> len:int -> 'a
)
ident(
  int_ref read "lib/utils.ml" 31 758 789 "lib/utils.ml" 31 758 793
)
"lib/utils.ml" 33 848 855 "lib/utils.ml" 33 848 858
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 32 803 809 "lib/utils.ml" 32 803 812
)
"lib/utils.ml" 33 848 864 "lib/utils.ml" 33 848 865
type(
  int
)
"lib/utils.ml" 33 848 871 "lib/utils.ml" 33 848 889
type(
  int
)
ident(
  int_ref size_header_length "lib/utils.ml" 7 92 96 "lib/utils.ml" 7 92 114
)
"lib/utils.ml" 33 848 850 "lib/utils.ml" 33 848 889
call(
  stack
)
type(
  'a
)
"lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 35 916 918 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 34 891 907 "lib/utils.ml" 34 891 910
type(
  Common.pos -> Common.pos ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 34 891 911 "lib/utils.ml" 34 891 912
type(
  Common.pos
)
"lib/utils.ml" 34 891 907 "lib/utils.ml" 34 891 912
type(
  Common.pos ref
)
"lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
type(
  int
)
ident(
  def len "lib/utils.ml" 36 965 967 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 35 916 928 "lib/utils.ml" 35 916 948
type(
  int Read.reader
)
ident(
  int_ref bin_read_size_header "lib/utils.ml" 10 174 178 "lib/utils.ml" 10 174 198
)
"lib/utils.ml" 35 916 949 "lib/utils.ml" 35 916 952
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 32 803 809 "lib/utils.ml" 32 803 812
)
"lib/utils.ml" 35 916 954 "lib/utils.ml" 35 916 961
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
)
"lib/utils.ml" 35 916 928 "lib/utils.ml" 35 916 961
call(
  stack
)
type(
  int
)
"lib/utils.ml" 36 965 973 "lib/utils.ml" 36 965 981
type(
  int option
)
ident(
  int_ref max_size "lib/utils.ml" 31 758 779 "lib/utils.ml" 31 758 787
)
"lib/utils.ml" 37 987 996 "lib/utils.ml" 37 987 1004
type(
  int
)
ident(
  def max_size "lib/utils.ml" 37 987 1010 "lib/utils.ml" 41 1137 1158
)
"lib/utils.ml" 37 987 991 "lib/utils.ml" 37 987 1004
type(
  int option
)
"lib/utils.ml" 37 987 1010 "lib/utils.ml" 37 987 1013
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 37 987 1014 "lib/utils.ml" 37 987 1015
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"lib/utils.ml" 37 987 1016 "lib/utils.ml" 37 987 1024
type(
  int
)
ident(
  int_ref max_size "lib/utils.ml" 37 987 996 "lib/utils.ml" 37 987 1004
)
"lib/utils.ml" 37 987 1010 "lib/utils.ml" 37 987 1024
type(
  bool
)
"lib/utils.ml" 38 1028 1032 "lib/utils.ml" 38 1028 1040
type(
  string -> 'b
)
ident(
  ext_ref Pervasives.failwith
)
"lib/utils.ml" 39 1043 1049 "lib/utils.ml" 39 1043 1063
type(
  (int -> int -> string, unit, string) format -> int -> int -> string
)
ident(
  ext_ref Printf.sprintf
)
"lib/utils.ml" 40 1064 1072 "lib/utils.ml" 40 1064 1136
type(
  (int -> int -> string, unit, string) format
)
"lib/utils.ml" 41 1137 1145 "lib/utils.ml" 41 1137 1148
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 41 1137 1149 "lib/utils.ml" 41 1137 1157
type(
  int
)
ident(
  int_ref max_size "lib/utils.ml" 37 987 996 "lib/utils.ml" 37 987 1004
)
"lib/utils.ml" 38 1028 1041 "lib/utils.ml" 41 1137 1158
call(
  stack
)
type(
  string
)
"lib/utils.ml" 38 1028 1032 "lib/utils.ml" 41 1137 1158
call(
  tail
)
type(
  'b
)
"lib/utils.ml" 42 1159 1163 "lib/utils.ml" 42 1159 1164
type(
  int option
)
"lib/utils.ml" 43 1168 1176 "lib/utils.ml" 43 1168 1179
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 44 1242 1246 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 43 1168 1185 "lib/utils.ml" 43 1168 1188
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 43 1168 1189 "lib/utils.ml" 43 1168 1190
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"lib/utils.ml" 43 1168 1191 "lib/utils.ml" 43 1168 1209
type(
  int
)
ident(
  int_ref size_header_length "lib/utils.ml" 7 92 96 "lib/utils.ml" 7 92 114
)
"lib/utils.ml" 43 1168 1185 "lib/utils.ml" 43 1168 1209
type(
  bool
)
"lib/utils.ml" 43 1168 1215 "lib/utils.ml" 43 1168 1225
type(
  int -> Common.buf
)
ident(
  ext_ref Common.create_buf
)
"lib/utils.ml" 43 1168 1226 "lib/utils.ml" 43 1168 1229
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 43 1168 1215 "lib/utils.ml" 43 1168 1229
call(
  stack
)
type(
  Common.buf
)
"lib/utils.ml" 43 1168 1235 "lib/utils.ml" 43 1168 1238
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 32 803 809 "lib/utils.ml" 32 803 812
)
"lib/utils.ml" 43 1168 1182 "lib/utils.ml" 43 1168 1238
type(
  Common.buf
)
"lib/utils.ml" 44 1242 1246 "lib/utils.ml" 44 1242 1250
type(
  Common.buf -> pos:int -> len:int -> 'a
)
ident(
  int_ref read "lib/utils.ml" 31 758 789 "lib/utils.ml" 31 758 793
)
"lib/utils.ml" 44 1242 1251 "lib/utils.ml" 44 1242 1254
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 43 1168 1176 "lib/utils.ml" 43 1168 1179
)
"lib/utils.ml" 44 1242 1260 "lib/utils.ml" 44 1242 1261
type(
  int
)
"lib/utils.ml" 44 1242 1263 "lib/utils.ml" 44 1242 1266
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 44 1242 1246 "lib/utils.ml" 44 1242 1266
call(
  stack
)
type(
  'a
)
"lib/utils.ml" 45 1268 1272 "lib/utils.ml" 45 1268 1279
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
)
"lib/utils.ml" 45 1268 1280 "lib/utils.ml" 45 1268 1282
type(
  Common.pos ref -> Common.pos -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 45 1268 1283 "lib/utils.ml" 45 1268 1284
type(
  Common.pos
)
"lib/utils.ml" 45 1268 1272 "lib/utils.ml" 45 1268 1284
type(
  unit
)
"lib/utils.ml" 46 1286 1294 "lib/utils.ml" 46 1286 1297
type(
  'b
)
ident(
  def res "lib/utils.ml" 47 1328 1332 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 46 1286 1300 "lib/utils.ml" 46 1286 1306
type(
  'b Type_class.reader
)
ident(
  int_ref reader "lib/utils.ml" 31 758 794 "lib/utils.ml" 31 758 800
)
"lib/utils.ml" 46 1286 1300 "lib/utils.ml" 46 1286 1311
type(
  'b Read.reader
)
"lib/utils.ml" 46 1286 1312 "lib/utils.ml" 46 1286 1315
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 43 1168 1176 "lib/utils.ml" 43 1168 1179
)
"lib/utils.ml" 46 1286 1317 "lib/utils.ml" 46 1286 1324
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
)
"lib/utils.ml" 46 1286 1300 "lib/utils.ml" 46 1286 1324
call(
  stack
)
type(
  'b
)
"lib/utils.ml" 47 1328 1335 "lib/utils.ml" 47 1328 1336
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 47 1328 1336 "lib/utils.ml" 47 1328 1343
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
)
"lib/utils.ml" 47 1328 1335 "lib/utils.ml" 47 1328 1343
type(
  Common.pos
)
"lib/utils.ml" 47 1328 1344 "lib/utils.ml" 47 1328 1345
type(
  Common.pos -> Common.pos -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 47 1328 1346 "lib/utils.ml" 47 1328 1349
type(
  Common.pos
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 47 1328 1335 "lib/utils.ml" 47 1328 1349
type(
  bool
)
"lib/utils.ml" 47 1328 1355 "lib/utils.ml" 47 1328 1358
type(
  'b
)
ident(
  int_ref res "lib/utils.ml" 46 1286 1294 "lib/utils.ml" 46 1286 1297
)
"lib/utils.ml" 49 1368 1378 "lib/utils.ml" 49 1368 1381
type(
  string
)
ident(
  def msg "lib/utils.ml" 55 1558 1564 "lib/utils.ml" 55 1558 1576
)
"lib/utils.ml" 50 1384 1392 "lib/utils.ml" 50 1384 1406
type(
  (int -> Common.pos -> string, unit, string) format ->
  int -> Common.pos -> string
)
ident(
  ext_ref Printf.sprintf
)
"lib/utils.ml" 51 1407 1417 "lib/utils.ml" 52 1452 1525
type(
  (int -> Common.pos -> string, unit, string) format
)
"lib/utils.ml" 53 1526 1536 "lib/utils.ml" 53 1526 1539
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 35 916 922 "lib/utils.ml" 35 916 925
)
"lib/utils.ml" 53 1526 1540 "lib/utils.ml" 53 1526 1541
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 53 1526 1541 "lib/utils.ml" 53 1526 1548
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 34 891 897 "lib/utils.ml" 34 891 904
)
"lib/utils.ml" 53 1526 1540 "lib/utils.ml" 53 1526 1548
type(
  Common.pos
)
"lib/utils.ml" 50 1384 1392 "lib/utils.ml" 53 1526 1548
call(
  stack
)
type(
  string
)
"lib/utils.ml" 55 1558 1564 "lib/utils.ml" 55 1558 1572
type(
  string -> 'b
)
ident(
  ext_ref Pervasives.failwith
)
"lib/utils.ml" 55 1558 1573 "lib/utils.ml" 55 1558 1576
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 49 1368 1378 "lib/utils.ml" 49 1368 1381
)
"lib/utils.ml" 55 1558 1564 "lib/utils.ml" 55 1558 1576
call(
  tail
)
type(
  'b
)
"lib/utils.ml" 49 1368 1374 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 47 1328 1332 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 46 1286 1290 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 45 1268 1272 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 44 1242 1246 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 43 1168 1172 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 36 965 967 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 35 916 918 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 34 891 893 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 33 848 850 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 32 803 805 "lib/utils.ml" 55 1558 1576
type(
  'b
)
"lib/utils.ml" 72 1840 1846 "lib/utils.ml" 72 1840 1856
type(
  S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 73 1891 1893 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 72 1840 1857 "lib/utils.ml" 72 1840 1858
type(
  S.t
)
ident(
  def t "lib/utils.ml" 72 1840 1861 "lib/utils.ml" 72 1840 1890
)
"lib/utils.ml" 72 1840 1861 "lib/utils.ml" 72 1840 1873
type(
  B.t Size.sizer
)
ident(
  ext_ref B.bin_size_t
)
"lib/utils.ml" 72 1840 1875 "lib/utils.ml" 72 1840 1887
type(
  S.t -> B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 65 1690 1692 "lib/utils.ml" 65 1690 1723
)
"lib/utils.ml" 72 1840 1888 "lib/utils.ml" 72 1840 1889
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 72 1840 1857 "lib/utils.ml" 72 1840 1858
)
"lib/utils.ml" 72 1840 1874 "lib/utils.ml" 72 1840 1890
call(
  stack
)
type(
  B.t
)
"lib/utils.ml" 72 1840 1861 "lib/utils.ml" 72 1840 1890
call(
  tail
)
type(
  int
)
"lib/utils.ml" 73 1891 1897 "lib/utils.ml" 73 1891 1908
type(
  Common.buf -> pos:Common.pos -> S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 74 1962 1964 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 73 1891 1909 "lib/utils.ml" 73 1891 1912
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 73 1891 1913 "lib/utils.ml" 73 1891 1961
)
"lib/utils.ml" 73 1891 1914 "lib/utils.ml" 73 1891 1917
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 73 1891 1918 "lib/utils.ml" 73 1891 1961
)
"lib/utils.ml" 73 1891 1918 "lib/utils.ml" 73 1891 1919
type(
  S.t
)
ident(
  def t "lib/utils.ml" 73 1891 1922 "lib/utils.ml" 73 1891 1961
)
"lib/utils.ml" 73 1891 1922 "lib/utils.ml" 73 1891 1935
type(
  B.t Write.writer
)
ident(
  ext_ref B.bin_write_t
)
"lib/utils.ml" 73 1891 1936 "lib/utils.ml" 73 1891 1939
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 73 1891 1909 "lib/utils.ml" 73 1891 1912
)
"lib/utils.ml" 73 1891 1941 "lib/utils.ml" 73 1891 1944
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 73 1891 1914 "lib/utils.ml" 73 1891 1917
)
"lib/utils.ml" 73 1891 1946 "lib/utils.ml" 73 1891 1958
type(
  S.t -> B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 65 1690 1692 "lib/utils.ml" 65 1690 1723
)
"lib/utils.ml" 73 1891 1959 "lib/utils.ml" 73 1891 1960
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 73 1891 1918 "lib/utils.ml" 73 1891 1919
)
"lib/utils.ml" 73 1891 1945 "lib/utils.ml" 73 1891 1961
call(
  stack
)
type(
  B.t
)
"lib/utils.ml" 73 1891 1922 "lib/utils.ml" 73 1891 1961
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 74 1962 1968 "lib/utils.ml" 74 1962 1978
type(
  Common.buf -> pos_ref:Common.pos_ref -> S.t
)
ident(
  def bin_read_t "lib/utils.ml" 76 2036 2038 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 74 1962 1979 "lib/utils.ml" 74 1962 1982
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 74 1962 1983 "lib/utils.ml" 74 1962 2034
)
"lib/utils.ml" 74 1962 1984 "lib/utils.ml" 74 1962 1991
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 74 1962 1994 "lib/utils.ml" 74 1962 2034
)
"lib/utils.ml" 74 1962 1994 "lib/utils.ml" 74 1962 2006
type(
  B.t -> S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 66 1724 1726 "lib/utils.ml" 66 1724 1757
)
"lib/utils.ml" 74 1962 2008 "lib/utils.ml" 74 1962 2020
type(
  B.t Read.reader
)
ident(
  ext_ref B.bin_read_t
)
"lib/utils.ml" 74 1962 2021 "lib/utils.ml" 74 1962 2024
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 74 1962 1979 "lib/utils.ml" 74 1962 1982
)
"lib/utils.ml" 74 1962 2026 "lib/utils.ml" 74 1962 2033
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 74 1962 1984 "lib/utils.ml" 74 1962 1991
)
"lib/utils.ml" 74 1962 2007 "lib/utils.ml" 74 1962 2034
call(
  stack
)
type(
  B.t
)
"lib/utils.ml" 74 1962 1994 "lib/utils.ml" 74 1962 2034
call(
  tail
)
type(
  S.t
)
"lib/utils.ml" 76 2036 2042 "lib/utils.ml" 76 2036 2056
type(
  Common.buf -> pos_ref:Common.pos_ref -> int -> S.t
)
ident(
  def __bin_read_t__ "lib/utils.ml" 79 2126 2128 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 76 2036 2057 "lib/utils.ml" 76 2036 2060
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 76 2036 2061 "lib/utils.ml" 77 2074 2124
)
"lib/utils.ml" 76 2036 2062 "lib/utils.ml" 76 2036 2069
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 76 2036 2070 "lib/utils.ml" 77 2074 2124
)
"lib/utils.ml" 76 2036 2070 "lib/utils.ml" 76 2036 2071
type(
  int
)
ident(
  def n "lib/utils.ml" 77 2074 2078 "lib/utils.ml" 77 2074 2124
)
"lib/utils.ml" 77 2074 2078 "lib/utils.ml" 77 2074 2090
type(
  B.t -> S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 66 1724 1726 "lib/utils.ml" 66 1724 1757
)
"lib/utils.ml" 77 2074 2092 "lib/utils.ml" 77 2074 2108
type(
  (int -> B.t) Read.reader
)
ident(
  ext_ref B.__bin_read_t__
)
"lib/utils.ml" 77 2074 2109 "lib/utils.ml" 77 2074 2112
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 76 2036 2057 "lib/utils.ml" 76 2036 2060
)
"lib/utils.ml" 77 2074 2114 "lib/utils.ml" 77 2074 2121
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 76 2036 2062 "lib/utils.ml" 76 2036 2069
)
"lib/utils.ml" 77 2074 2122 "lib/utils.ml" 77 2074 2123
type(
  int
)
ident(
  int_ref n "lib/utils.ml" 76 2036 2070 "lib/utils.ml" 76 2036 2071
)
"lib/utils.ml" 77 2074 2091 "lib/utils.ml" 77 2074 2124
call(
  stack
)
type(
  B.t
)
"lib/utils.ml" 77 2074 2078 "lib/utils.ml" 77 2074 2124
call(
  tail
)
type(
  S.t
)
"lib/utils.ml" 79 2126 2132 "lib/utils.ml" 79 2126 2144
type(
  S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 85 2212 2214 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 81 2153 2166 "lib/utils.ml" 81 2153 2176
type(
  S.t Size.sizer
)
ident(
  int_ref bin_size_t "lib/utils.ml" 72 1840 1846 "lib/utils.ml" 72 1840 1856
)
"lib/utils.ml" 82 2178 2192 "lib/utils.ml" 82 2178 2203
type(
  S.t Write.writer
)
ident(
  int_ref bin_write_t "lib/utils.ml" 73 1891 1897 "lib/utils.ml" 73 1891 1908
)
"lib/utils.ml" 80 2147 2151 "lib/utils.ml" 83 2205 2210
type(
  S.t Type_class.writer
)
"lib/utils.ml" 85 2212 2218 "lib/utils.ml" 85 2212 2230
type(
  S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 91 2305 2307 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 87 2239 2252 "lib/utils.ml" 87 2239 2262
type(
  S.t Read.reader
)
ident(
  int_ref bin_read_t "lib/utils.ml" 74 1962 1968 "lib/utils.ml" 74 1962 1978
)
"lib/utils.ml" 88 2264 2282 "lib/utils.ml" 88 2264 2296
type(
  (int -> S.t) Read.reader
)
ident(
  int_ref __bin_read_t__ "lib/utils.ml" 76 2036 2042 "lib/utils.ml" 76 2036 2056
)
"lib/utils.ml" 86 2233 2237 "lib/utils.ml" 89 2298 2303
type(
  S.t Type_class.reader
)
"lib/utils.ml" 91 2305 2311 "lib/utils.ml" 91 2305 2316
type(
  S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 95 2383 2388 "lib/utils.ml" 96 2389 2392
)
"lib/utils.ml" 93 2325 2340 "lib/utils.ml" 93 2325 2352
type(
  S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 79 2126 2132 "lib/utils.ml" 79 2126 2144
)
"lib/utils.ml" 94 2354 2369 "lib/utils.ml" 94 2354 2381
type(
  S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 85 2212 2218 "lib/utils.ml" 85 2212 2230
)
"lib/utils.ml" 92 2319 2323 "lib/utils.ml" 95 2383 2388
type(
  S.t Type_class.t
)
"lib/utils.ml" 110 2639 2645 "lib/utils.ml" 110 2639 2655
type(
  'a Size.sizer -> 'a S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 112 2715 2717 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 110 2639 2656 "lib/utils.ml" 110 2639 2667
type(
  'a Size.sizer
)
ident(
  def bin_size_el "lib/utils.ml" 110 2639 2668 "lib/utils.ml" 110 2639 2713
)
"lib/utils.ml" 110 2639 2668 "lib/utils.ml" 110 2639 2669
type(
  'a S.t
)
ident(
  def t "lib/utils.ml" 110 2639 2672 "lib/utils.ml" 110 2639 2713
)
"lib/utils.ml" 110 2639 2672 "lib/utils.ml" 110 2639 2684
type(
  ('a, 'a B.t) Size.sizer1
)
ident(
  ext_ref B.bin_size_t
)
"lib/utils.ml" 110 2639 2685 "lib/utils.ml" 110 2639 2696
type(
  'a Size.sizer
)
ident(
  int_ref bin_size_el "lib/utils.ml" 110 2639 2656 "lib/utils.ml" 110 2639 2667
)
"lib/utils.ml" 110 2639 2698 "lib/utils.ml" 110 2639 2710
type(
  'a S.t -> 'a B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 103 2475 2477 "lib/utils.ml" 103 2475 2514
)
"lib/utils.ml" 110 2639 2711 "lib/utils.ml" 110 2639 2712
type(
  'a S.t
)
ident(
  int_ref t "lib/utils.ml" 110 2639 2668 "lib/utils.ml" 110 2639 2669
)
"lib/utils.ml" 110 2639 2697 "lib/utils.ml" 110 2639 2713
call(
  stack
)
type(
  'a B.t
)
"lib/utils.ml" 110 2639 2672 "lib/utils.ml" 110 2639 2713
call(
  tail
)
type(
  int
)
"lib/utils.ml" 112 2715 2721 "lib/utils.ml" 112 2715 2732
type(
  'b Write.writer -> Common.buf -> pos:Common.pos -> 'b S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 115 2817 2819 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 112 2715 2733 "lib/utils.ml" 112 2715 2745
type(
  'b Write.writer
)
ident(
  def bin_write_el "lib/utils.ml" 112 2715 2746 "lib/utils.ml" 113 2759 2815
)
"lib/utils.ml" 112 2715 2746 "lib/utils.ml" 112 2715 2749
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 112 2715 2750 "lib/utils.ml" 113 2759 2815
)
"lib/utils.ml" 112 2715 2751 "lib/utils.ml" 112 2715 2754
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 112 2715 2755 "lib/utils.ml" 113 2759 2815
)
"lib/utils.ml" 112 2715 2755 "lib/utils.ml" 112 2715 2756
type(
  'b S.t
)
ident(
  def t "lib/utils.ml" 113 2759 2763 "lib/utils.ml" 113 2759 2815
)
"lib/utils.ml" 113 2759 2763 "lib/utils.ml" 113 2759 2776
type(
  ('b, 'b B.t) Write.writer1
)
ident(
  ext_ref B.bin_write_t
)
"lib/utils.ml" 113 2759 2777 "lib/utils.ml" 113 2759 2789
type(
  'b Write.writer
)
ident(
  int_ref bin_write_el "lib/utils.ml" 112 2715 2733 "lib/utils.ml" 112 2715 2745
)
"lib/utils.ml" 113 2759 2790 "lib/utils.ml" 113 2759 2793
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 112 2715 2746 "lib/utils.ml" 112 2715 2749
)
"lib/utils.ml" 113 2759 2795 "lib/utils.ml" 113 2759 2798
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 112 2715 2751 "lib/utils.ml" 112 2715 2754
)
"lib/utils.ml" 113 2759 2800 "lib/utils.ml" 113 2759 2812
type(
  'b S.t -> 'b B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 103 2475 2477 "lib/utils.ml" 103 2475 2514
)
"lib/utils.ml" 113 2759 2813 "lib/utils.ml" 113 2759 2814
type(
  'b S.t
)
ident(
  int_ref t "lib/utils.ml" 112 2715 2755 "lib/utils.ml" 112 2715 2756
)
"lib/utils.ml" 113 2759 2799 "lib/utils.ml" 113 2759 2815
call(
  stack
)
type(
  'b B.t
)
"lib/utils.ml" 113 2759 2763 "lib/utils.ml" 113 2759 2815
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 115 2817 2823 "lib/utils.ml" 115 2817 2833
type(
  'c Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> 'c S.t
)
ident(
  def bin_read_t "lib/utils.ml" 118 2919 2921 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 115 2817 2834 "lib/utils.ml" 115 2817 2845
type(
  'c Read.reader
)
ident(
  def bin_read_el "lib/utils.ml" 115 2817 2846 "lib/utils.ml" 116 2861 2917
)
"lib/utils.ml" 115 2817 2846 "lib/utils.ml" 115 2817 2849
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 115 2817 2850 "lib/utils.ml" 116 2861 2917
)
"lib/utils.ml" 115 2817 2851 "lib/utils.ml" 115 2817 2858
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 116 2861 2865 "lib/utils.ml" 116 2861 2917
)
"lib/utils.ml" 116 2861 2865 "lib/utils.ml" 116 2861 2877
type(
  'c B.t -> 'c S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 104 2515 2517 "lib/utils.ml" 104 2515 2554
)
"lib/utils.ml" 116 2861 2879 "lib/utils.ml" 116 2861 2891
type(
  ('c, 'c B.t) Read.reader1
)
ident(
  ext_ref B.bin_read_t
)
"lib/utils.ml" 116 2861 2892 "lib/utils.ml" 116 2861 2903
type(
  'c Read.reader
)
ident(
  int_ref bin_read_el "lib/utils.ml" 115 2817 2834 "lib/utils.ml" 115 2817 2845
)
"lib/utils.ml" 116 2861 2904 "lib/utils.ml" 116 2861 2907
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 115 2817 2846 "lib/utils.ml" 115 2817 2849
)
"lib/utils.ml" 116 2861 2909 "lib/utils.ml" 116 2861 2916
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 115 2817 2851 "lib/utils.ml" 115 2817 2858
)
"lib/utils.ml" 116 2861 2878 "lib/utils.ml" 116 2861 2917
call(
  stack
)
type(
  'c B.t
)
"lib/utils.ml" 116 2861 2865 "lib/utils.ml" 116 2861 2917
call(
  tail
)
type(
  'c S.t
)
"lib/utils.ml" 118 2919 2925 "lib/utils.ml" 118 2919 2939
type(
  'd Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> int -> 'd S.t
)
ident(
  def __bin_read_t__ "lib/utils.ml" 121 3033 3035 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 118 2919 2940 "lib/utils.ml" 118 2919 2951
type(
  'd Read.reader
)
ident(
  def bin_read_el "lib/utils.ml" 118 2919 2952 "lib/utils.ml" 119 2969 3031
)
"lib/utils.ml" 118 2919 2952 "lib/utils.ml" 118 2919 2955
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 118 2919 2956 "lib/utils.ml" 119 2969 3031
)
"lib/utils.ml" 118 2919 2957 "lib/utils.ml" 118 2919 2964
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 118 2919 2965 "lib/utils.ml" 119 2969 3031
)
"lib/utils.ml" 118 2919 2965 "lib/utils.ml" 118 2919 2966
type(
  int
)
ident(
  def n "lib/utils.ml" 119 2969 2973 "lib/utils.ml" 119 2969 3031
)
"lib/utils.ml" 119 2969 2973 "lib/utils.ml" 119 2969 2985
type(
  'd B.t -> 'd S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 104 2515 2517 "lib/utils.ml" 104 2515 2554
)
"lib/utils.ml" 119 2969 2987 "lib/utils.ml" 119 2969 3003
type(
  ('d, int -> 'd B.t) Read.reader1
)
ident(
  ext_ref B.__bin_read_t__
)
"lib/utils.ml" 119 2969 3004 "lib/utils.ml" 119 2969 3015
type(
  'd Read.reader
)
ident(
  int_ref bin_read_el "lib/utils.ml" 118 2919 2940 "lib/utils.ml" 118 2919 2951
)
"lib/utils.ml" 119 2969 3016 "lib/utils.ml" 119 2969 3019
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 118 2919 2952 "lib/utils.ml" 118 2919 2955
)
"lib/utils.ml" 119 2969 3021 "lib/utils.ml" 119 2969 3028
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 118 2919 2957 "lib/utils.ml" 118 2919 2964
)
"lib/utils.ml" 119 2969 3029 "lib/utils.ml" 119 2969 3030
type(
  int
)
ident(
  int_ref n "lib/utils.ml" 118 2919 2965 "lib/utils.ml" 118 2919 2966
)
"lib/utils.ml" 119 2969 2986 "lib/utils.ml" 119 2969 3031
call(
  stack
)
type(
  'd B.t
)
"lib/utils.ml" 119 2969 2973 "lib/utils.ml" 119 2969 3031
call(
  tail
)
type(
  'd S.t
)
"lib/utils.ml" 121 3033 3039 "lib/utils.ml" 121 3033 3051
type(
  'e Type_class.writer -> 'e S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 128 3215 3217 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 121 3033 3052 "lib/utils.ml" 121 3033 3062
type(
  'e Type_class.writer
)
ident(
  def bin_writer "lib/utils.ml" 122 3065 3069 "lib/utils.ml" 126 3208 3213
)
"lib/utils.ml" 123 3071 3089 "lib/utils.ml" 123 3071 3090
type(
  'e S.t
)
ident(
  def v "lib/utils.ml" 123 3071 3094 "lib/utils.ml" 123 3071 3122
)
"lib/utils.ml" 123 3071 3094 "lib/utils.ml" 123 3071 3104
type(
  'e Size.sizer -> 'e S.t -> int
)
ident(
  int_ref bin_size_t "lib/utils.ml" 110 2639 2645 "lib/utils.ml" 110 2639 2655
)
"lib/utils.ml" 123 3071 3105 "lib/utils.ml" 123 3071 3115
type(
  'e Type_class.writer
)
ident(
  int_ref bin_writer "lib/utils.ml" 121 3033 3052 "lib/utils.ml" 121 3033 3062
)
"lib/utils.ml" 123 3071 3105 "lib/utils.ml" 123 3071 3120
type(
  'e Size.sizer
)
"lib/utils.ml" 123 3071 3121 "lib/utils.ml" 123 3071 3122
type(
  'e S.t
)
ident(
  int_ref v "lib/utils.ml" 123 3071 3089 "lib/utils.ml" 123 3071 3090
)
"lib/utils.ml" 123 3071 3094 "lib/utils.ml" 123 3071 3122
call(
  tail
)
type(
  int
)
"lib/utils.ml" 123 3071 3084 "lib/utils.ml" 123 3071 3123
type(
  'e S.t Size.sizer
)
"lib/utils.ml" 124 3125 3144 "lib/utils.ml" 124 3125 3147
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 124 3125 3148 "lib/utils.ml" 125 3158 3205
)
"lib/utils.ml" 124 3125 3149 "lib/utils.ml" 124 3125 3152
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 124 3125 3153 "lib/utils.ml" 125 3158 3205
)
"lib/utils.ml" 124 3125 3153 "lib/utils.ml" 124 3125 3154
type(
  'e S.t
)
ident(
  def v "lib/utils.ml" 125 3158 3166 "lib/utils.ml" 125 3158 3205
)
"lib/utils.ml" 125 3158 3166 "lib/utils.ml" 125 3158 3177
type(
  'e Write.writer -> Common.buf -> pos:Common.pos -> 'e S.t -> Common.pos
)
ident(
  int_ref bin_write_t "lib/utils.ml" 112 2715 2721 "lib/utils.ml" 112 2715 2732
)
"lib/utils.ml" 125 3158 3178 "lib/utils.ml" 125 3158 3188
type(
  'e Type_class.writer
)
ident(
  int_ref bin_writer "lib/utils.ml" 121 3033 3052 "lib/utils.ml" 121 3033 3062
)
"lib/utils.ml" 125 3158 3178 "lib/utils.ml" 125 3158 3194
type(
  'e Write.writer
)
"lib/utils.ml" 125 3158 3195 "lib/utils.ml" 125 3158 3198
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 124 3125 3144 "lib/utils.ml" 124 3125 3147
)
"lib/utils.ml" 125 3158 3200 "lib/utils.ml" 125 3158 3203
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 124 3125 3149 "lib/utils.ml" 124 3125 3152
)
"lib/utils.ml" 125 3158 3204 "lib/utils.ml" 125 3158 3205
type(
  'e S.t
)
ident(
  int_ref v "lib/utils.ml" 124 3125 3153 "lib/utils.ml" 124 3125 3154
)
"lib/utils.ml" 125 3158 3166 "lib/utils.ml" 125 3158 3205
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 124 3125 3139 "lib/utils.ml" 125 3158 3206
type(
  'e S.t Write.writer
)
"lib/utils.ml" 122 3065 3069 "lib/utils.ml" 126 3208 3213
type(
  'e S.t Type_class.writer
)
"lib/utils.ml" 128 3215 3221 "lib/utils.ml" 128 3215 3233
type(
  'f Type_class.reader -> 'f S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 138 3495 3497 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 128 3215 3234 "lib/utils.ml" 128 3215 3244
type(
  'f Type_class.reader
)
ident(
  def bin_reader "lib/utils.ml" 129 3247 3251 "lib/utils.ml" 136 3488 3493
)
"lib/utils.ml" 130 3253 3271 "lib/utils.ml" 130 3253 3274
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 130 3253 3275 "lib/utils.ml" 131 3287 3334
)
"lib/utils.ml" 130 3253 3276 "lib/utils.ml" 130 3253 3283
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 131 3287 3295 "lib/utils.ml" 131 3287 3334
)
"lib/utils.ml" 131 3287 3295 "lib/utils.ml" 131 3287 3305
type(
  'f Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> 'f S.t
)
ident(
  int_ref bin_read_t "lib/utils.ml" 115 2817 2823 "lib/utils.ml" 115 2817 2833
)
"lib/utils.ml" 131 3287 3306 "lib/utils.ml" 131 3287 3316
type(
  'f Type_class.reader
)
ident(
  int_ref bin_reader "lib/utils.ml" 128 3215 3234 "lib/utils.ml" 128 3215 3244
)
"lib/utils.ml" 131 3287 3306 "lib/utils.ml" 131 3287 3321
type(
  'f Read.reader
)
"lib/utils.ml" 131 3287 3322 "lib/utils.ml" 131 3287 3325
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 130 3253 3271 "lib/utils.ml" 130 3253 3274
)
"lib/utils.ml" 131 3287 3327 "lib/utils.ml" 131 3287 3334
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 130 3253 3276 "lib/utils.ml" 130 3253 3283
)
"lib/utils.ml" 131 3287 3295 "lib/utils.ml" 131 3287 3334
call(
  tail
)
type(
  'f S.t
)
"lib/utils.ml" 130 3253 3266 "lib/utils.ml" 131 3287 3335
type(
  'f S.t Read.reader
)
"lib/utils.ml" 132 3337 3360 "lib/utils.ml" 132 3337 3364
type(
  Common.buf
)
ident(
  def _buf "lib/utils.ml" 132 3337 3365 "lib/utils.ml" 135 3467 3485
)
"lib/utils.ml" 132 3337 3366 "lib/utils.ml" 132 3337 3373
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 132 3337 3374 "lib/utils.ml" 135 3467 3485
)
"lib/utils.ml" 132 3337 3374 "lib/utils.ml" 132 3337 3376
type(
  int
)
ident(
  def _n "lib/utils.ml" 133 3380 3388 "lib/utils.ml" 135 3467 3485
)
"lib/utils.ml" 133 3380 3388 "lib/utils.ml" 133 3380 3412
type(
  string -> Common.pos -> 'f S.t
)
ident(
  ext_ref Common.raise_variant_wrong_type
)
"lib/utils.ml" 134 3413 3423 "lib/utils.ml" 134 3413 3466
type(
  string
)
"lib/utils.ml" 135 3467 3477 "lib/utils.ml" 135 3467 3478
type(
  Common.pos_ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 135 3467 3478 "lib/utils.ml" 135 3467 3485
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 132 3337 3366 "lib/utils.ml" 132 3337 3373
)
"lib/utils.ml" 135 3467 3477 "lib/utils.ml" 135 3467 3485
type(
  Common.pos
)
"lib/utils.ml" 133 3380 3388 "lib/utils.ml" 135 3467 3485
call(
  tail
)
type(
  'f S.t
)
"lib/utils.ml" 132 3337 3355 "lib/utils.ml" 135 3467 3486
type(
  (int -> 'f S.t) Read.reader
)
"lib/utils.ml" 129 3247 3251 "lib/utils.ml" 136 3488 3493
type(
  'f S.t Type_class.reader
)
"lib/utils.ml" 138 3495 3501 "lib/utils.ml" 138 3495 3506
type(
  'g Type_class.t -> 'g S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 142 3620 3625 "lib/utils.ml" 143 3626 3629
)
"lib/utils.ml" 138 3495 3507 "lib/utils.ml" 138 3495 3517
type(
  'g Type_class.t
)
ident(
  def type_class "lib/utils.ml" 139 3520 3524 "lib/utils.ml" 142 3620 3625
)
"lib/utils.ml" 140 3526 3541 "lib/utils.ml" 140 3526 3553
type(
  'g Type_class.writer -> 'g S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 121 3033 3039 "lib/utils.ml" 121 3033 3051
)
"lib/utils.ml" 140 3526 3554 "lib/utils.ml" 140 3526 3564
type(
  'g Type_class.t
)
ident(
  int_ref type_class "lib/utils.ml" 138 3495 3507 "lib/utils.ml" 138 3495 3517
)
"lib/utils.ml" 140 3526 3554 "lib/utils.ml" 140 3526 3571
type(
  'g Type_class.writer
)
"lib/utils.ml" 140 3526 3541 "lib/utils.ml" 140 3526 3571
call(
  stack
)
type(
  'g S.t Type_class.writer
)
"lib/utils.ml" 141 3573 3588 "lib/utils.ml" 141 3573 3600
type(
  'g Type_class.reader -> 'g S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 128 3215 3221 "lib/utils.ml" 128 3215 3233
)
"lib/utils.ml" 141 3573 3601 "lib/utils.ml" 141 3573 3611
type(
  'g Type_class.t
)
ident(
  int_ref type_class "lib/utils.ml" 138 3495 3507 "lib/utils.ml" 138 3495 3517
)
"lib/utils.ml" 141 3573 3601 "lib/utils.ml" 141 3573 3618
type(
  'g Type_class.reader
)
"lib/utils.ml" 141 3573 3588 "lib/utils.ml" 141 3573 3618
call(
  stack
)
type(
  'g S.t Type_class.reader
)
"lib/utils.ml" 139 3520 3524 "lib/utils.ml" 142 3620 3625
type(
  'g S.t Type_class.t
)
"lib/utils.ml" 157 3906 3912 "lib/utils.ml" 157 3906 3922
type(
  'a Size.sizer -> 'b Size.sizer -> ('a, 'b) S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 160 4014 4016 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 157 3906 3923 "lib/utils.ml" 157 3906 3935
type(
  'a Size.sizer
)
ident(
  def bin_size_el1 "lib/utils.ml" 157 3906 3936 "lib/utils.ml" 158 3953 4012
)
"lib/utils.ml" 157 3906 3936 "lib/utils.ml" 157 3906 3948
type(
  'b Size.sizer
)
ident(
  def bin_size_el2 "lib/utils.ml" 157 3906 3949 "lib/utils.ml" 158 3953 4012
)
"lib/utils.ml" 157 3906 3949 "lib/utils.ml" 157 3906 3950
type(
  ('a, 'b) S.t
)
ident(
  def t "lib/utils.ml" 158 3953 3957 "lib/utils.ml" 158 3953 4012
)
"lib/utils.ml" 158 3953 3957 "lib/utils.ml" 158 3953 3969
type(
  ('a, 'b, ('a, 'b) B.t) Size.sizer2
)
ident(
  ext_ref B.bin_size_t
)
"lib/utils.ml" 158 3953 3970 "lib/utils.ml" 158 3953 3982
type(
  'a Size.sizer
)
ident(
  int_ref bin_size_el1 "lib/utils.ml" 157 3906 3923 "lib/utils.ml" 157 3906 3935
)
"lib/utils.ml" 158 3953 3983 "lib/utils.ml" 158 3953 3995
type(
  'b Size.sizer
)
ident(
  int_ref bin_size_el2 "lib/utils.ml" 157 3906 3936 "lib/utils.ml" 157 3906 3948
)
"lib/utils.ml" 158 3953 3997 "lib/utils.ml" 158 3953 4009
type(
  ('a, 'b) S.t -> ('a, 'b) B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 150 3718 3720 "lib/utils.ml" 150 3718 3769
)
"lib/utils.ml" 158 3953 4010 "lib/utils.ml" 158 3953 4011
type(
  ('a, 'b) S.t
)
ident(
  int_ref t "lib/utils.ml" 157 3906 3949 "lib/utils.ml" 157 3906 3950
)
"lib/utils.ml" 158 3953 3996 "lib/utils.ml" 158 3953 4012
call(
  stack
)
type(
  ('a, 'b) B.t
)
"lib/utils.ml" 158 3953 3957 "lib/utils.ml" 158 3953 4012
call(
  tail
)
type(
  int
)
"lib/utils.ml" 160 4014 4020 "lib/utils.ml" 160 4014 4031
type(
  'c Write.writer ->
  'd Write.writer ->
  Common.buf -> pos:Common.pos -> ('c, 'd) S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 163 4146 4148 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 160 4014 4032 "lib/utils.ml" 160 4014 4045
type(
  'c Write.writer
)
ident(
  def bin_write_el1 "lib/utils.ml" 160 4014 4046 "lib/utils.ml" 161 4073 4144
)
"lib/utils.ml" 160 4014 4046 "lib/utils.ml" 160 4014 4059
type(
  'd Write.writer
)
ident(
  def bin_write_el2 "lib/utils.ml" 160 4014 4060 "lib/utils.ml" 161 4073 4144
)
"lib/utils.ml" 160 4014 4060 "lib/utils.ml" 160 4014 4063
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 160 4014 4064 "lib/utils.ml" 161 4073 4144
)
"lib/utils.ml" 160 4014 4065 "lib/utils.ml" 160 4014 4068
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 160 4014 4069 "lib/utils.ml" 161 4073 4144
)
"lib/utils.ml" 160 4014 4069 "lib/utils.ml" 160 4014 4070
type(
  ('c, 'd) S.t
)
ident(
  def t "lib/utils.ml" 161 4073 4077 "lib/utils.ml" 161 4073 4144
)
"lib/utils.ml" 161 4073 4077 "lib/utils.ml" 161 4073 4090
type(
  ('c, 'd, ('c, 'd) B.t) Write.writer2
)
ident(
  ext_ref B.bin_write_t
)
"lib/utils.ml" 161 4073 4091 "lib/utils.ml" 161 4073 4104
type(
  'c Write.writer
)
ident(
  int_ref bin_write_el1 "lib/utils.ml" 160 4014 4032 "lib/utils.ml" 160 4014 4045
)
"lib/utils.ml" 161 4073 4105 "lib/utils.ml" 161 4073 4118
type(
  'd Write.writer
)
ident(
  int_ref bin_write_el2 "lib/utils.ml" 160 4014 4046 "lib/utils.ml" 160 4014 4059
)
"lib/utils.ml" 161 4073 4119 "lib/utils.ml" 161 4073 4122
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 160 4014 4060 "lib/utils.ml" 160 4014 4063
)
"lib/utils.ml" 161 4073 4124 "lib/utils.ml" 161 4073 4127
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 160 4014 4065 "lib/utils.ml" 160 4014 4068
)
"lib/utils.ml" 161 4073 4129 "lib/utils.ml" 161 4073 4141
type(
  ('c, 'd) S.t -> ('c, 'd) B.t
)
ident(
  int_ref S.to_binable "lib/utils.ml" 150 3718 3720 "lib/utils.ml" 150 3718 3769
)
"lib/utils.ml" 161 4073 4142 "lib/utils.ml" 161 4073 4143
type(
  ('c, 'd) S.t
)
ident(
  int_ref t "lib/utils.ml" 160 4014 4069 "lib/utils.ml" 160 4014 4070
)
"lib/utils.ml" 161 4073 4128 "lib/utils.ml" 161 4073 4144
call(
  stack
)
type(
  ('c, 'd) B.t
)
"lib/utils.ml" 161 4073 4077 "lib/utils.ml" 161 4073 4144
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 163 4146 4152 "lib/utils.ml" 163 4146 4162
type(
  'e Read.reader ->
  'f Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> ('e, 'f) S.t
)
ident(
  def bin_read_t "lib/utils.ml" 166 4276 4278 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 163 4146 4163 "lib/utils.ml" 163 4146 4175
type(
  'e Read.reader
)
ident(
  def bin_read_el1 "lib/utils.ml" 163 4146 4176 "lib/utils.ml" 164 4204 4274
)
"lib/utils.ml" 163 4146 4176 "lib/utils.ml" 163 4146 4188
type(
  'f Read.reader
)
ident(
  def bin_read_el2 "lib/utils.ml" 163 4146 4189 "lib/utils.ml" 164 4204 4274
)
"lib/utils.ml" 163 4146 4189 "lib/utils.ml" 163 4146 4192
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 163 4146 4193 "lib/utils.ml" 164 4204 4274
)
"lib/utils.ml" 163 4146 4194 "lib/utils.ml" 163 4146 4201
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 164 4204 4208 "lib/utils.ml" 164 4204 4274
)
"lib/utils.ml" 164 4204 4208 "lib/utils.ml" 164 4204 4220
type(
  ('e, 'f) B.t -> ('e, 'f) S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 151 3770 3772 "lib/utils.ml" 151 3770 3821
)
"lib/utils.ml" 164 4204 4222 "lib/utils.ml" 164 4204 4234
type(
  ('e, 'f, ('e, 'f) B.t) Read.reader2
)
ident(
  ext_ref B.bin_read_t
)
"lib/utils.ml" 164 4204 4235 "lib/utils.ml" 164 4204 4247
type(
  'e Read.reader
)
ident(
  int_ref bin_read_el1 "lib/utils.ml" 163 4146 4163 "lib/utils.ml" 163 4146 4175
)
"lib/utils.ml" 164 4204 4248 "lib/utils.ml" 164 4204 4260
type(
  'f Read.reader
)
ident(
  int_ref bin_read_el2 "lib/utils.ml" 163 4146 4176 "lib/utils.ml" 163 4146 4188
)
"lib/utils.ml" 164 4204 4261 "lib/utils.ml" 164 4204 4264
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 163 4146 4189 "lib/utils.ml" 163 4146 4192
)
"lib/utils.ml" 164 4204 4266 "lib/utils.ml" 164 4204 4273
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 163 4146 4194 "lib/utils.ml" 163 4146 4201
)
"lib/utils.ml" 164 4204 4221 "lib/utils.ml" 164 4204 4274
call(
  stack
)
type(
  ('e, 'f) B.t
)
"lib/utils.ml" 164 4204 4208 "lib/utils.ml" 164 4204 4274
call(
  tail
)
type(
  ('e, 'f) S.t
)
"lib/utils.ml" 166 4276 4282 "lib/utils.ml" 166 4276 4296
type(
  'g Read.reader ->
  'h Read.reader ->
  Common.buf -> pos_ref:Common.pos_ref -> int -> ('g, 'h) S.t
)
ident(
  def __bin_read_t__ "lib/utils.ml" 169 4418 4420 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 166 4276 4297 "lib/utils.ml" 166 4276 4309
type(
  'g Read.reader
)
ident(
  def bin_read_el1 "lib/utils.ml" 166 4276 4310 "lib/utils.ml" 167 4340 4416
)
"lib/utils.ml" 166 4276 4310 "lib/utils.ml" 166 4276 4322
type(
  'h Read.reader
)
ident(
  def bin_read_el2 "lib/utils.ml" 166 4276 4323 "lib/utils.ml" 167 4340 4416
)
"lib/utils.ml" 166 4276 4323 "lib/utils.ml" 166 4276 4326
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 166 4276 4327 "lib/utils.ml" 167 4340 4416
)
"lib/utils.ml" 166 4276 4328 "lib/utils.ml" 166 4276 4335
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 166 4276 4336 "lib/utils.ml" 167 4340 4416
)
"lib/utils.ml" 166 4276 4336 "lib/utils.ml" 166 4276 4337
type(
  int
)
ident(
  def n "lib/utils.ml" 167 4340 4344 "lib/utils.ml" 167 4340 4416
)
"lib/utils.ml" 167 4340 4344 "lib/utils.ml" 167 4340 4356
type(
  ('g, 'h) B.t -> ('g, 'h) S.t
)
ident(
  int_ref S.of_binable "lib/utils.ml" 151 3770 3772 "lib/utils.ml" 151 3770 3821
)
"lib/utils.ml" 167 4340 4358 "lib/utils.ml" 167 4340 4374
type(
  ('g, 'h, int -> ('g, 'h) B.t) Read.reader2
)
ident(
  ext_ref B.__bin_read_t__
)
"lib/utils.ml" 167 4340 4375 "lib/utils.ml" 167 4340 4387
type(
  'g Read.reader
)
ident(
  int_ref bin_read_el1 "lib/utils.ml" 166 4276 4297 "lib/utils.ml" 166 4276 4309
)
"lib/utils.ml" 167 4340 4388 "lib/utils.ml" 167 4340 4400
type(
  'h Read.reader
)
ident(
  int_ref bin_read_el2 "lib/utils.ml" 166 4276 4310 "lib/utils.ml" 166 4276 4322
)
"lib/utils.ml" 167 4340 4401 "lib/utils.ml" 167 4340 4404
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 166 4276 4323 "lib/utils.ml" 166 4276 4326
)
"lib/utils.ml" 167 4340 4406 "lib/utils.ml" 167 4340 4413
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 166 4276 4328 "lib/utils.ml" 166 4276 4335
)
"lib/utils.ml" 167 4340 4414 "lib/utils.ml" 167 4340 4415
type(
  int
)
ident(
  int_ref n "lib/utils.ml" 166 4276 4336 "lib/utils.ml" 166 4276 4337
)
"lib/utils.ml" 167 4340 4357 "lib/utils.ml" 167 4340 4416
call(
  stack
)
type(
  ('g, 'h) B.t
)
"lib/utils.ml" 167 4340 4344 "lib/utils.ml" 167 4340 4416
call(
  tail
)
type(
  ('g, 'h) S.t
)
"lib/utils.ml" 169 4418 4424 "lib/utils.ml" 169 4418 4436
type(
  'i Type_class.writer ->
  'j Type_class.writer -> ('i, 'j) S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 177 4660 4662 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 169 4418 4437 "lib/utils.ml" 169 4418 4448
type(
  'i Type_class.writer
)
ident(
  def bin_writer1 "lib/utils.ml" 169 4418 4449 "lib/utils.ml" 175 4653 4658
)
"lib/utils.ml" 169 4418 4449 "lib/utils.ml" 169 4418 4460
type(
  'j Type_class.writer
)
ident(
  def bin_writer2 "lib/utils.ml" 170 4463 4467 "lib/utils.ml" 175 4653 4658
)
"lib/utils.ml" 171 4469 4487 "lib/utils.ml" 171 4469 4488
type(
  ('i, 'j) S.t
)
ident(
  def v "lib/utils.ml" 171 4469 4492 "lib/utils.ml" 171 4469 4538
)
"lib/utils.ml" 171 4469 4492 "lib/utils.ml" 171 4469 4502
type(
  'i Size.sizer -> 'j Size.sizer -> ('i, 'j) S.t -> int
)
ident(
  int_ref bin_size_t "lib/utils.ml" 157 3906 3912 "lib/utils.ml" 157 3906 3922
)
"lib/utils.ml" 171 4469 4503 "lib/utils.ml" 171 4469 4514
type(
  'i Type_class.writer
)
ident(
  int_ref bin_writer1 "lib/utils.ml" 169 4418 4437 "lib/utils.ml" 169 4418 4448
)
"lib/utils.ml" 171 4469 4503 "lib/utils.ml" 171 4469 4519
type(
  'i Size.sizer
)
"lib/utils.ml" 171 4469 4520 "lib/utils.ml" 171 4469 4531
type(
  'j Type_class.writer
)
ident(
  int_ref bin_writer2 "lib/utils.ml" 169 4418 4449 "lib/utils.ml" 169 4418 4460
)
"lib/utils.ml" 171 4469 4520 "lib/utils.ml" 171 4469 4536
type(
  'j Size.sizer
)
"lib/utils.ml" 171 4469 4537 "lib/utils.ml" 171 4469 4538
type(
  ('i, 'j) S.t
)
ident(
  int_ref v "lib/utils.ml" 171 4469 4487 "lib/utils.ml" 171 4469 4488
)
"lib/utils.ml" 171 4469 4492 "lib/utils.ml" 171 4469 4538
call(
  tail
)
type(
  int
)
"lib/utils.ml" 171 4469 4482 "lib/utils.ml" 171 4469 4539
type(
  ('i, 'j) S.t Size.sizer
)
"lib/utils.ml" 172 4541 4560 "lib/utils.ml" 172 4541 4563
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 172 4541 4564 "lib/utils.ml" 174 4594 4650
)
"lib/utils.ml" 172 4541 4565 "lib/utils.ml" 172 4541 4568
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 172 4541 4569 "lib/utils.ml" 174 4594 4650
)
"lib/utils.ml" 172 4541 4569 "lib/utils.ml" 172 4541 4570
type(
  ('i, 'j) S.t
)
ident(
  def v "lib/utils.ml" 173 4574 4582 "lib/utils.ml" 174 4594 4650
)
"lib/utils.ml" 173 4574 4582 "lib/utils.ml" 173 4574 4593
type(
  'i Write.writer ->
  'j Write.writer ->
  Common.buf -> pos:Common.pos -> ('i, 'j) S.t -> Common.pos
)
ident(
  int_ref bin_write_t "lib/utils.ml" 160 4014 4020 "lib/utils.ml" 160 4014 4031
)
"lib/utils.ml" 174 4594 4604 "lib/utils.ml" 174 4594 4615
type(
  'i Type_class.writer
)
ident(
  int_ref bin_writer1 "lib/utils.ml" 169 4418 4437 "lib/utils.ml" 169 4418 4448
)
"lib/utils.ml" 174 4594 4604 "lib/utils.ml" 174 4594 4621
type(
  'i Write.writer
)
"lib/utils.ml" 174 4594 4622 "lib/utils.ml" 174 4594 4633
type(
  'j Type_class.writer
)
ident(
  int_ref bin_writer2 "lib/utils.ml" 169 4418 4449 "lib/utils.ml" 169 4418 4460
)
"lib/utils.ml" 174 4594 4622 "lib/utils.ml" 174 4594 4639
type(
  'j Write.writer
)
"lib/utils.ml" 174 4594 4640 "lib/utils.ml" 174 4594 4643
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 172 4541 4560 "lib/utils.ml" 172 4541 4563
)
"lib/utils.ml" 174 4594 4645 "lib/utils.ml" 174 4594 4648
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 172 4541 4565 "lib/utils.ml" 172 4541 4568
)
"lib/utils.ml" 174 4594 4649 "lib/utils.ml" 174 4594 4650
type(
  ('i, 'j) S.t
)
ident(
  int_ref v "lib/utils.ml" 172 4541 4569 "lib/utils.ml" 172 4541 4570
)
"lib/utils.ml" 173 4574 4582 "lib/utils.ml" 174 4594 4650
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 172 4541 4555 "lib/utils.ml" 174 4594 4651
type(
  ('i, 'j) S.t Write.writer
)
"lib/utils.ml" 170 4463 4467 "lib/utils.ml" 175 4653 4658
type(
  ('i, 'j) S.t Type_class.writer
)
"lib/utils.ml" 177 4660 4666 "lib/utils.ml" 177 4660 4678
type(
  'k Type_class.reader ->
  'l Type_class.reader -> ('k, 'l) S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 188 4981 4983 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 177 4660 4679 "lib/utils.ml" 177 4660 4690
type(
  'k Type_class.reader
)
ident(
  def bin_reader1 "lib/utils.ml" 177 4660 4691 "lib/utils.ml" 186 4974 4979
)
"lib/utils.ml" 177 4660 4691 "lib/utils.ml" 177 4660 4702
type(
  'l Type_class.reader
)
ident(
  def bin_reader2 "lib/utils.ml" 178 4705 4709 "lib/utils.ml" 186 4974 4979
)
"lib/utils.ml" 179 4711 4729 "lib/utils.ml" 179 4711 4732
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 179 4711 4733 "lib/utils.ml" 181 4764 4820
)
"lib/utils.ml" 179 4711 4734 "lib/utils.ml" 179 4711 4741
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 180 4745 4753 "lib/utils.ml" 181 4764 4820
)
"lib/utils.ml" 180 4745 4753 "lib/utils.ml" 180 4745 4763
type(
  'k Read.reader ->
  'l Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> ('k, 'l) S.t
)
ident(
  int_ref bin_read_t "lib/utils.ml" 163 4146 4152 "lib/utils.ml" 163 4146 4162
)
"lib/utils.ml" 181 4764 4774 "lib/utils.ml" 181 4764 4785
type(
  'k Type_class.reader
)
ident(
  int_ref bin_reader1 "lib/utils.ml" 177 4660 4679 "lib/utils.ml" 177 4660 4690
)
"lib/utils.ml" 181 4764 4774 "lib/utils.ml" 181 4764 4790
type(
  'k Read.reader
)
"lib/utils.ml" 181 4764 4791 "lib/utils.ml" 181 4764 4802
type(
  'l Type_class.reader
)
ident(
  int_ref bin_reader2 "lib/utils.ml" 177 4660 4691 "lib/utils.ml" 177 4660 4702
)
"lib/utils.ml" 181 4764 4791 "lib/utils.ml" 181 4764 4807
type(
  'l Read.reader
)
"lib/utils.ml" 181 4764 4808 "lib/utils.ml" 181 4764 4811
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 179 4711 4729 "lib/utils.ml" 179 4711 4732
)
"lib/utils.ml" 181 4764 4813 "lib/utils.ml" 181 4764 4820
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 179 4711 4734 "lib/utils.ml" 179 4711 4741
)
"lib/utils.ml" 180 4745 4753 "lib/utils.ml" 181 4764 4820
call(
  tail
)
type(
  ('k, 'l) S.t
)
"lib/utils.ml" 179 4711 4724 "lib/utils.ml" 181 4764 4821
type(
  ('k, 'l) S.t Read.reader
)
"lib/utils.ml" 182 4823 4846 "lib/utils.ml" 182 4823 4850
type(
  Common.buf
)
ident(
  def _buf "lib/utils.ml" 182 4823 4851 "lib/utils.ml" 185 4953 4971
)
"lib/utils.ml" 182 4823 4852 "lib/utils.ml" 182 4823 4859
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 182 4823 4860 "lib/utils.ml" 185 4953 4971
)
"lib/utils.ml" 182 4823 4860 "lib/utils.ml" 182 4823 4862
type(
  int
)
ident(
  def _n "lib/utils.ml" 183 4866 4874 "lib/utils.ml" 185 4953 4971
)
"lib/utils.ml" 183 4866 4874 "lib/utils.ml" 183 4866 4898
type(
  string -> Common.pos -> ('k, 'l) S.t
)
ident(
  ext_ref Common.raise_variant_wrong_type
)
"lib/utils.ml" 184 4899 4909 "lib/utils.ml" 184 4899 4952
type(
  string
)
"lib/utils.ml" 185 4953 4963 "lib/utils.ml" 185 4953 4964
type(
  Common.pos_ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 185 4953 4964 "lib/utils.ml" 185 4953 4971
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 182 4823 4852 "lib/utils.ml" 182 4823 4859
)
"lib/utils.ml" 185 4953 4963 "lib/utils.ml" 185 4953 4971
type(
  Common.pos
)
"lib/utils.ml" 183 4866 4874 "lib/utils.ml" 185 4953 4971
call(
  tail
)
type(
  ('k, 'l) S.t
)
"lib/utils.ml" 182 4823 4841 "lib/utils.ml" 185 4953 4972
type(
  (int -> ('k, 'l) S.t) Read.reader
)
"lib/utils.ml" 178 4705 4709 "lib/utils.ml" 186 4974 4979
type(
  ('k, 'l) S.t Type_class.reader
)
"lib/utils.ml" 188 4981 4987 "lib/utils.ml" 188 4981 4992
type(
  'm Type_class.t -> 'n Type_class.t -> ('m, 'n) S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 192 5159 5164 "lib/utils.ml" 193 5165 5168
)
"lib/utils.ml" 188 4981 4993 "lib/utils.ml" 188 4981 5004
type(
  'm Type_class.t
)
ident(
  def type_class1 "lib/utils.ml" 188 4981 5005 "lib/utils.ml" 192 5159 5164
)
"lib/utils.ml" 188 4981 5005 "lib/utils.ml" 188 4981 5016
type(
  'n Type_class.t
)
ident(
  def type_class2 "lib/utils.ml" 189 5019 5023 "lib/utils.ml" 192 5159 5164
)
"lib/utils.ml" 190 5025 5040 "lib/utils.ml" 190 5025 5052
type(
  'm Type_class.writer ->
  'n Type_class.writer -> ('m, 'n) S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 169 4418 4424 "lib/utils.ml" 169 4418 4436
)
"lib/utils.ml" 190 5025 5053 "lib/utils.ml" 190 5025 5064
type(
  'm Type_class.t
)
ident(
  int_ref type_class1 "lib/utils.ml" 188 4981 4993 "lib/utils.ml" 188 4981 5004
)
"lib/utils.ml" 190 5025 5053 "lib/utils.ml" 190 5025 5071
type(
  'm Type_class.writer
)
"lib/utils.ml" 190 5025 5072 "lib/utils.ml" 190 5025 5083
type(
  'n Type_class.t
)
ident(
  int_ref type_class2 "lib/utils.ml" 188 4981 5005 "lib/utils.ml" 188 4981 5016
)
"lib/utils.ml" 190 5025 5072 "lib/utils.ml" 190 5025 5090
type(
  'n Type_class.writer
)
"lib/utils.ml" 190 5025 5040 "lib/utils.ml" 190 5025 5090
call(
  stack
)
type(
  ('m, 'n) S.t Type_class.writer
)
"lib/utils.ml" 191 5092 5107 "lib/utils.ml" 191 5092 5119
type(
  'm Type_class.reader ->
  'n Type_class.reader -> ('m, 'n) S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 177 4660 4666 "lib/utils.ml" 177 4660 4678
)
"lib/utils.ml" 191 5092 5120 "lib/utils.ml" 191 5092 5131
type(
  'm Type_class.t
)
ident(
  int_ref type_class1 "lib/utils.ml" 188 4981 4993 "lib/utils.ml" 188 4981 5004
)
"lib/utils.ml" 191 5092 5120 "lib/utils.ml" 191 5092 5138
type(
  'm Type_class.reader
)
"lib/utils.ml" 191 5092 5139 "lib/utils.ml" 191 5092 5150
type(
  'n Type_class.t
)
ident(
  int_ref type_class2 "lib/utils.ml" 188 4981 5005 "lib/utils.ml" 188 4981 5016
)
"lib/utils.ml" 191 5092 5139 "lib/utils.ml" 191 5092 5157
type(
  'n Type_class.reader
)
"lib/utils.ml" 191 5092 5107 "lib/utils.ml" 191 5092 5157
call(
  stack
)
type(
  ('m, 'n) S.t Type_class.reader
)
"lib/utils.ml" 189 5019 5023 "lib/utils.ml" 192 5159 5164
type(
  ('m, 'n) S.t Type_class.t
)
"lib/utils.ml" 214 5626 5632 "lib/utils.ml" 214 5626 5661
type(
  string -> 'a
)
ident(
  def raise_concurrent_modification "lib/utils.ml" 222 5889 5891 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 215 5664 5674 "lib/utils.ml" 215 5664 5685
type(
  string option
)
ident(
  int_ref S.module_name "lib/utils.ml" 200 5246 5248 "lib/utils.ml" 200 5246 5279
)
"lib/utils.ml" 216 5691 5697 "lib/utils.ml" 216 5691 5701
type(
  string option
)
"lib/utils.ml" 216 5691 5705 "lib/utils.ml" 216 5691 5734
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 217 5735 5746 "lib/utils.ml" 217 5735 5757
type(
  string
)
ident(
  def module_name "lib/utils.ml" 218 5761 5769 "lib/utils.ml" 220 5843 5887
)
"lib/utils.ml" 217 5735 5741 "lib/utils.ml" 217 5735 5757
type(
  string option
)
"lib/utils.ml" 218 5761 5774 "lib/utils.ml" 218 5761 5777
type(
  string
)
ident(
  def msg "lib/utils.ml" 219 5781 5791 "lib/utils.ml" 220 5843 5886
)
"lib/utils.ml" 219 5781 5795 "lib/utils.ml" 219 5781 5798
type(
  string
)
ident(
  def msg "lib/utils.ml" 220 5843 5853 "lib/utils.ml" 220 5843 5886
)
"lib/utils.ml" 219 5781 5801 "lib/utils.ml" 219 5781 5815
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"lib/utils.ml" 219 5781 5816 "lib/utils.ml" 219 5781 5823
type(
  (string -> string -> string, unit, string) format
)
"lib/utils.ml" 219 5781 5824 "lib/utils.ml" 219 5781 5835
type(
  string
)
ident(
  int_ref module_name "lib/utils.ml" 217 5735 5746 "lib/utils.ml" 217 5735 5757
)
"lib/utils.ml" 219 5781 5836 "lib/utils.ml" 219 5781 5839
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 218 5761 5774 "lib/utils.ml" 218 5761 5777
)
"lib/utils.ml" 219 5781 5801 "lib/utils.ml" 219 5781 5839
call(
  stack
)
type(
  string
)
"lib/utils.ml" 220 5843 5853 "lib/utils.ml" 220 5843 5882
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 220 5843 5883 "lib/utils.ml" 220 5843 5886
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 219 5781 5795 "lib/utils.ml" 219 5781 5798
)
"lib/utils.ml" 220 5843 5853 "lib/utils.ml" 220 5843 5886
call(
  tail
)
type(
  'a
)
"lib/utils.ml" 219 5781 5791 "lib/utils.ml" 220 5843 5886
type(
  'a
)
"lib/utils.ml" 218 5761 5769 "lib/utils.ml" 220 5843 5887
type(
  string -> 'a
)
"lib/utils.ml" 215 5664 5668 "lib/utils.ml" 220 5843 5887
type(
  string -> 'a
)
"lib/utils.ml" 222 5889 5895 "lib/utils.ml" 222 5889 5905
type(
  S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 232 6214 6216 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 222 5889 5906 "lib/utils.ml" 222 5889 5907
type(
  S.t
)
ident(
  def t "lib/utils.ml" 223 5910 5914 "lib/utils.ml" 230 6161 6212
)
"lib/utils.ml" 223 5910 5918 "lib/utils.ml" 223 5910 5926
type(
  int ref
)
ident(
  def size_ref "lib/utils.ml" 224 5938 5942 "lib/utils.ml" 230 6161 6212
)
"lib/utils.ml" 223 5910 5929 "lib/utils.ml" 223 5910 5932
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 223 5910 5933 "lib/utils.ml" 223 5910 5934
type(
  int
)
"lib/utils.ml" 223 5910 5929 "lib/utils.ml" 223 5910 5934
type(
  int ref
)
"lib/utils.ml" 224 5938 5946 "lib/utils.ml" 224 5938 5953
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 225 5965 5969 "lib/utils.ml" 230 6161 6212
)
"lib/utils.ml" 224 5938 5956 "lib/utils.ml" 224 5938 5959
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 224 5938 5960 "lib/utils.ml" 224 5938 5961
type(
  int
)
"lib/utils.ml" 224 5938 5956 "lib/utils.ml" 224 5938 5961
type(
  int ref
)
"lib/utils.ml" 225 5965 5969 "lib/utils.ml" 225 5965 5973
type(
  S.t -> f:(S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 202 5304 5306 "lib/utils.ml" 202 5304 5346
)
"lib/utils.ml" 225 5965 5974 "lib/utils.ml" 225 5965 5975
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 222 5889 5906 "lib/utils.ml" 222 5889 5907
)
"lib/utils.ml" 225 5965 5984 "lib/utils.ml" 225 5965 5986
type(
  S.el
)
ident(
  def el "lib/utils.ml" 226 5990 5996 "lib/utils.ml" 227 6036 6054
)
"lib/utils.ml" 226 5990 5996 "lib/utils.ml" 226 5990 6004
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 223 5910 5918 "lib/utils.ml" 223 5910 5926
)
"lib/utils.ml" 226 5990 6005 "lib/utils.ml" 226 5990 6007
type(
  int ref -> int -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 226 5990 6008 "lib/utils.ml" 226 5990 6009
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 226 5990 6009 "lib/utils.ml" 226 5990 6017
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 223 5910 5918 "lib/utils.ml" 223 5910 5926
)
"lib/utils.ml" 226 5990 6008 "lib/utils.ml" 226 5990 6017
type(
  int
)
"lib/utils.ml" 226 5990 6018 "lib/utils.ml" 226 5990 6019
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 226 5990 6020 "lib/utils.ml" 226 5990 6031
type(
  S.el Size.sizer
)
ident(
  int_ref S.bin_size_el "lib/utils.ml" 206 5434 5436 "lib/utils.ml" 206 5434 5467
)
"lib/utils.ml" 226 5990 6032 "lib/utils.ml" 226 5990 6034
type(
  S.el
)
ident(
  int_ref el "lib/utils.ml" 225 5965 5984 "lib/utils.ml" 225 5965 5986
)
"lib/utils.ml" 226 5990 6020 "lib/utils.ml" 226 5990 6034
call(
  stack
)
type(
  int
)
"lib/utils.ml" 226 5990 6008 "lib/utils.ml" 226 5990 6034
type(
  int
)
"lib/utils.ml" 226 5990 5996 "lib/utils.ml" 226 5990 6034
type(
  unit
)
"lib/utils.ml" 227 6036 6042 "lib/utils.ml" 227 6036 6046
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 227 6036 6047 "lib/utils.ml" 227 6036 6054
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 224 5938 5946 "lib/utils.ml" 224 5938 5953
)
"lib/utils.ml" 227 6036 6042 "lib/utils.ml" 227 6036 6054
type(
  unit
)
"lib/utils.ml" 226 5990 5996 "lib/utils.ml" 227 6036 6054
type(
  unit
)
"lib/utils.ml" 225 5965 5979 "lib/utils.ml" 227 6036 6055
type(
  S.el -> unit
)
"lib/utils.ml" 225 5965 5969 "lib/utils.ml" 227 6036 6055
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 228 6057 6065 "lib/utils.ml" 228 6057 6068
type(
  int
)
ident(
  def len "lib/utils.ml" 229 6083 6087 "lib/utils.ml" 230 6161 6212
)
"lib/utils.ml" 228 6057 6071 "lib/utils.ml" 228 6057 6077
type(
  S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 201 5280 5282 "lib/utils.ml" 201 5280 5303
)
"lib/utils.ml" 228 6057 6078 "lib/utils.ml" 228 6057 6079
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 222 5889 5906 "lib/utils.ml" 222 5889 5907
)
"lib/utils.ml" 228 6057 6071 "lib/utils.ml" 228 6057 6079
call(
  stack
)
type(
  int
)
"lib/utils.ml" 229 6083 6090 "lib/utils.ml" 229 6083 6091
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 229 6083 6091 "lib/utils.ml" 229 6083 6098
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 224 5938 5946 "lib/utils.ml" 224 5938 5953
)
"lib/utils.ml" 229 6083 6090 "lib/utils.ml" 229 6083 6098
type(
  int
)
"lib/utils.ml" 229 6083 6099 "lib/utils.ml" 229 6083 6100
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 229 6083 6101 "lib/utils.ml" 229 6083 6104
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 228 6057 6065 "lib/utils.ml" 228 6057 6068
)
"lib/utils.ml" 229 6083 6090 "lib/utils.ml" 229 6083 6104
type(
  bool
)
"lib/utils.ml" 229 6083 6110 "lib/utils.ml" 229 6083 6123
type(
  Nat0.t Size.sizer
)
ident(
  ext_ref Size.bin_size_nat0
)
"lib/utils.ml" 229 6083 6125 "lib/utils.ml" 229 6083 6143
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 229 6083 6144 "lib/utils.ml" 229 6083 6147
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 228 6057 6065 "lib/utils.ml" 228 6057 6068
)
"lib/utils.ml" 229 6083 6124 "lib/utils.ml" 229 6083 6148
type(
  Nat0.t
)
"lib/utils.ml" 229 6083 6110 "lib/utils.ml" 229 6083 6148
call(
  stack
)
type(
  int
)
"lib/utils.ml" 229 6083 6149 "lib/utils.ml" 229 6083 6150
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 229 6083 6151 "lib/utils.ml" 229 6083 6152
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 229 6083 6152 "lib/utils.ml" 229 6083 6160
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 223 5910 5918 "lib/utils.ml" 223 5910 5926
)
"lib/utils.ml" 229 6083 6151 "lib/utils.ml" 229 6083 6160
type(
  int
)
"lib/utils.ml" 229 6083 6110 "lib/utils.ml" 229 6083 6160
type(
  int
)
"lib/utils.ml" 230 6161 6170 "lib/utils.ml" 230 6161 6199
type(
  string -> int
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 214 5626 5632 "lib/utils.ml" 214 5626 5661
)
"lib/utils.ml" 230 6161 6200 "lib/utils.ml" 230 6161 6212
type(
  string
)
"lib/utils.ml" 230 6161 6170 "lib/utils.ml" 230 6161 6212
call(
  tail
)
type(
  int
)
"lib/utils.ml" 229 6083 6087 "lib/utils.ml" 230 6161 6212
type(
  int
)
"lib/utils.ml" 228 6057 6061 "lib/utils.ml" 230 6161 6212
type(
  int
)
"lib/utils.ml" 225 5965 5969 "lib/utils.ml" 230 6161 6212
type(
  int
)
"lib/utils.ml" 224 5938 5942 "lib/utils.ml" 230 6161 6212
type(
  int
)
"lib/utils.ml" 223 5910 5914 "lib/utils.ml" 230 6161 6212
type(
  int
)
"lib/utils.ml" 232 6214 6220 "lib/utils.ml" 232 6214 6231
type(
  Common.buf -> pos:Common.pos -> S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 245 6601 6603 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 232 6214 6232 "lib/utils.ml" 232 6214 6235
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 232 6214 6236 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 232 6214 6237 "lib/utils.ml" 232 6214 6240
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 232 6214 6241 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 232 6214 6241 "lib/utils.ml" 232 6214 6242
type(
  S.t
)
ident(
  def t "lib/utils.ml" 233 6245 6249 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 233 6245 6253 "lib/utils.ml" 233 6245 6256
type(
  int
)
ident(
  def len "lib/utils.ml" 234 6271 6275 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 233 6245 6259 "lib/utils.ml" 233 6245 6265
type(
  S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 201 5280 5282 "lib/utils.ml" 201 5280 5303
)
"lib/utils.ml" 233 6245 6266 "lib/utils.ml" 233 6245 6267
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 232 6214 6241 "lib/utils.ml" 232 6214 6242
)
"lib/utils.ml" 233 6245 6259 "lib/utils.ml" 233 6245 6267
call(
  stack
)
type(
  int
)
"lib/utils.ml" 234 6271 6279 "lib/utils.ml" 234 6271 6283
type(
  Nat0.t
)
ident(
  def plen "lib/utils.ml" 235 6312 6316 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 234 6271 6286 "lib/utils.ml" 234 6271 6304
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 234 6271 6305 "lib/utils.ml" 234 6271 6308
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 233 6245 6253 "lib/utils.ml" 233 6245 6256
)
"lib/utils.ml" 234 6271 6286 "lib/utils.ml" 234 6271 6308
type(
  Nat0.t
)
"lib/utils.ml" 235 6312 6320 "lib/utils.ml" 235 6312 6327
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 236 6374 6378 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 235 6312 6330 "lib/utils.ml" 235 6312 6333
type(
  Common.pos -> Common.pos ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 235 6312 6335 "lib/utils.ml" 235 6312 6355
type(
  Nat0.t Write.writer
)
ident(
  ext_ref Write.bin_write_nat0
)
"lib/utils.ml" 235 6312 6356 "lib/utils.ml" 235 6312 6359
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 232 6214 6232 "lib/utils.ml" 232 6214 6235
)
"lib/utils.ml" 235 6312 6361 "lib/utils.ml" 235 6312 6364
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 232 6214 6237 "lib/utils.ml" 232 6214 6240
)
"lib/utils.ml" 235 6312 6365 "lib/utils.ml" 235 6312 6369
type(
  Nat0.t
)
ident(
  int_ref plen "lib/utils.ml" 234 6271 6279 "lib/utils.ml" 234 6271 6283
)
"lib/utils.ml" 235 6312 6334 "lib/utils.ml" 235 6312 6370
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 235 6312 6330 "lib/utils.ml" 235 6312 6370
type(
  Common.pos ref
)
"lib/utils.ml" 236 6374 6382 "lib/utils.ml" 236 6374 6389
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 237 6401 6405 "lib/utils.ml" 243 6550 6599
)
"lib/utils.ml" 236 6374 6392 "lib/utils.ml" 236 6374 6395
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 236 6374 6396 "lib/utils.ml" 236 6374 6397
type(
  int
)
"lib/utils.ml" 236 6374 6392 "lib/utils.ml" 236 6374 6397
type(
  int ref
)
"lib/utils.ml" 237 6401 6405 "lib/utils.ml" 237 6401 6409
type(
  S.t -> f:(S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 202 5304 5306 "lib/utils.ml" 202 5304 5346
)
"lib/utils.ml" 237 6401 6410 "lib/utils.ml" 237 6401 6411
type(
  S.t
)
ident(
  int_ref t "lib/utils.ml" 232 6214 6241 "lib/utils.ml" 232 6214 6242
)
"lib/utils.ml" 237 6401 6420 "lib/utils.ml" 237 6401 6422
type(
  S.el
)
ident(
  def el "lib/utils.ml" 238 6426 6432 "lib/utils.ml" 239 6478 6496
)
"lib/utils.ml" 238 6426 6432 "lib/utils.ml" 238 6426 6439
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 235 6312 6320 "lib/utils.ml" 235 6312 6327
)
"lib/utils.ml" 238 6426 6440 "lib/utils.ml" 238 6426 6442
type(
  Common.pos ref -> Common.pos -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 238 6426 6443 "lib/utils.ml" 238 6426 6455
type(
  S.el Write.writer
)
ident(
  int_ref S.bin_write_el "lib/utils.ml" 207 5468 5470 "lib/utils.ml" 207 5468 5504
)
"lib/utils.ml" 238 6426 6456 "lib/utils.ml" 238 6426 6459
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 232 6214 6232 "lib/utils.ml" 232 6214 6235
)
"lib/utils.ml" 238 6426 6465 "lib/utils.ml" 238 6426 6466
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 238 6426 6466 "lib/utils.ml" 238 6426 6473
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 235 6312 6320 "lib/utils.ml" 235 6312 6327
)
"lib/utils.ml" 238 6426 6465 "lib/utils.ml" 238 6426 6473
type(
  Common.pos
)
"lib/utils.ml" 238 6426 6474 "lib/utils.ml" 238 6426 6476
type(
  S.el
)
ident(
  int_ref el "lib/utils.ml" 237 6401 6420 "lib/utils.ml" 237 6401 6422
)
"lib/utils.ml" 238 6426 6443 "lib/utils.ml" 238 6426 6476
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 238 6426 6432 "lib/utils.ml" 238 6426 6476
type(
  unit
)
"lib/utils.ml" 239 6478 6484 "lib/utils.ml" 239 6478 6488
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 239 6478 6489 "lib/utils.ml" 239 6478 6496
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 236 6374 6382 "lib/utils.ml" 236 6374 6389
)
"lib/utils.ml" 239 6478 6484 "lib/utils.ml" 239 6478 6496
type(
  unit
)
"lib/utils.ml" 238 6426 6432 "lib/utils.ml" 239 6478 6496
type(
  unit
)
"lib/utils.ml" 237 6401 6415 "lib/utils.ml" 239 6478 6497
type(
  S.el -> unit
)
"lib/utils.ml" 237 6401 6405 "lib/utils.ml" 239 6478 6497
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 240 6499 6506 "lib/utils.ml" 240 6499 6507
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 240 6499 6507 "lib/utils.ml" 240 6499 6514
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 236 6374 6382 "lib/utils.ml" 236 6374 6389
)
"lib/utils.ml" 240 6499 6506 "lib/utils.ml" 240 6499 6514
type(
  int
)
"lib/utils.ml" 240 6499 6515 "lib/utils.ml" 240 6499 6516
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 240 6499 6517 "lib/utils.ml" 240 6499 6520
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 233 6245 6253 "lib/utils.ml" 233 6245 6256
)
"lib/utils.ml" 240 6499 6506 "lib/utils.ml" 240 6499 6520
type(
  bool
)
"lib/utils.ml" 241 6526 6532 "lib/utils.ml" 241 6526 6533
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 241 6526 6533 "lib/utils.ml" 241 6526 6540
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 235 6312 6320 "lib/utils.ml" 235 6312 6327
)
"lib/utils.ml" 241 6526 6532 "lib/utils.ml" 241 6526 6540
type(
  Common.pos
)
"lib/utils.ml" 243 6550 6556 "lib/utils.ml" 243 6550 6585
type(
  string -> Common.pos
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 214 5626 5632 "lib/utils.ml" 214 5626 5661
)
"lib/utils.ml" 243 6550 6586 "lib/utils.ml" 243 6550 6599
type(
  string
)
"lib/utils.ml" 243 6550 6556 "lib/utils.ml" 243 6550 6599
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 240 6499 6503 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 237 6401 6405 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 236 6374 6378 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 235 6312 6316 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 234 6271 6275 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 233 6245 6249 "lib/utils.ml" 243 6550 6599
type(
  Common.pos
)
"lib/utils.ml" 245 6601 6607 "lib/utils.ml" 245 6601 6617
type(
  Common.buf -> pos_ref:Common.pos_ref -> S.t
)
ident(
  def bin_read_t "lib/utils.ml" 256 6892 6894 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 245 6601 6618 "lib/utils.ml" 245 6601 6621
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 245 6601 6622 "lib/utils.ml" 254 6869 6890
)
"lib/utils.ml" 245 6601 6623 "lib/utils.ml" 245 6601 6630
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 246 6633 6637 "lib/utils.ml" 254 6869 6890
)
"lib/utils.ml" 246 6633 6641 "lib/utils.ml" 246 6633 6644
type(
  int
)
ident(
  def len "lib/utils.ml" 247 6691 6695 "lib/utils.ml" 254 6869 6890
)
"lib/utils.ml" 246 6633 6648 "lib/utils.ml" 246 6633 6666
type(
  Nat0.t Read.reader
)
ident(
  ext_ref Read.bin_read_nat0
)
"lib/utils.ml" 246 6633 6667 "lib/utils.ml" 246 6633 6670
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 245 6601 6618 "lib/utils.ml" 245 6601 6621
)
"lib/utils.ml" 246 6633 6672 "lib/utils.ml" 246 6633 6679
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 245 6601 6623 "lib/utils.ml" 245 6601 6630
)
"lib/utils.ml" 246 6633 6648 "lib/utils.ml" 246 6633 6679
call(
  stack
)
type(
  int
)
type(
  Nat0.t
)
"lib/utils.ml" 247 6691 6703 "lib/utils.ml" 247 6691 6707
type(
  S.acc -> int -> S.t
)
ident(
  def loop "lib/utils.ml" 247 6691 6695 "lib/utils.ml" 254 6869 6890
)
"lib/utils.ml" 247 6691 6708 "lib/utils.ml" 247 6691 6711
type(
  S.acc
)
ident(
  def acc "lib/utils.ml" 247 6691 6712 "lib/utils.ml" 252 6833 6861
)
"lib/utils.ml" 247 6691 6712 "lib/utils.ml" 247 6691 6713
type(
  int
)
ident(
  def i "lib/utils.ml" 248 6716 6722 "lib/utils.ml" 252 6833 6861
)
"lib/utils.ml" 248 6716 6725 "lib/utils.ml" 248 6716 6726
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 247 6691 6712 "lib/utils.ml" 247 6691 6713
)
"lib/utils.ml" 248 6716 6727 "lib/utils.ml" 248 6716 6728
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 248 6716 6729 "lib/utils.ml" 248 6716 6732
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 246 6633 6641 "lib/utils.ml" 246 6633 6644
)
"lib/utils.ml" 248 6716 6725 "lib/utils.ml" 248 6716 6732
type(
  bool
)
"lib/utils.ml" 249 6738 6746 "lib/utils.ml" 249 6738 6752
type(
  S.acc -> S.t
)
ident(
  int_ref S.finish "lib/utils.ml" 205 5410 5412 "lib/utils.ml" 205 5410 5433
)
"lib/utils.ml" 249 6738 6753 "lib/utils.ml" 249 6738 6756
type(
  S.acc
)
ident(
  int_ref acc "lib/utils.ml" 247 6691 6708 "lib/utils.ml" 247 6691 6711
)
"lib/utils.ml" 249 6738 6746 "lib/utils.ml" 249 6738 6756
call(
  tail
)
type(
  S.t
)
"lib/utils.ml" 251 6768 6780 "lib/utils.ml" 251 6768 6787
type(
  S.acc
)
ident(
  def new_acc "lib/utils.ml" 252 6833 6841 "lib/utils.ml" 252 6833 6861
)
"lib/utils.ml" 251 6768 6790 "lib/utils.ml" 251 6768 6796
type(
  S.acc -> S.el -> int -> S.acc
)
ident(
  int_ref S.insert "lib/utils.ml" 204 5371 5373 "lib/utils.ml" 204 5371 5409
)
"lib/utils.ml" 251 6768 6797 "lib/utils.ml" 251 6768 6800
type(
  S.acc
)
ident(
  int_ref acc "lib/utils.ml" 247 6691 6708 "lib/utils.ml" 247 6691 6711
)
"lib/utils.ml" 251 6768 6802 "lib/utils.ml" 251 6768 6813
type(
  S.el Read.reader
)
ident(
  int_ref S.bin_read_el "lib/utils.ml" 208 5505 5507 "lib/utils.ml" 208 5505 5539
)
"lib/utils.ml" 251 6768 6814 "lib/utils.ml" 251 6768 6817
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 245 6601 6618 "lib/utils.ml" 245 6601 6621
)
"lib/utils.ml" 251 6768 6819 "lib/utils.ml" 251 6768 6826
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 245 6601 6623 "lib/utils.ml" 245 6601 6630
)
"lib/utils.ml" 251 6768 6801 "lib/utils.ml" 251 6768 6827
call(
  stack
)
type(
  S.el
)
"lib/utils.ml" 251 6768 6828 "lib/utils.ml" 251 6768 6829
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 247 6691 6712 "lib/utils.ml" 247 6691 6713
)
"lib/utils.ml" 251 6768 6790 "lib/utils.ml" 251 6768 6829
call(
  stack
)
type(
  S.acc
)
"lib/utils.ml" 252 6833 6841 "lib/utils.ml" 252 6833 6845
type(
  S.acc -> int -> S.t
)
ident(
  int_ref loop "lib/utils.ml" 247 6691 6703 "lib/utils.ml" 247 6691 6707
)
"lib/utils.ml" 252 6833 6846 "lib/utils.ml" 252 6833 6853
type(
  S.acc
)
ident(
  int_ref new_acc "lib/utils.ml" 251 6768 6780 "lib/utils.ml" 251 6768 6787
)
"lib/utils.ml" 252 6833 6855 "lib/utils.ml" 252 6833 6856
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 247 6691 6712 "lib/utils.ml" 247 6691 6713
)
"lib/utils.ml" 252 6833 6857 "lib/utils.ml" 252 6833 6858
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 252 6833 6859 "lib/utils.ml" 252 6833 6860
type(
  int
)
"lib/utils.ml" 252 6833 6854 "lib/utils.ml" 252 6833 6861
type(
  int
)
"lib/utils.ml" 252 6833 6841 "lib/utils.ml" 252 6833 6861
call(
  tail
)
type(
  S.t
)
"lib/utils.ml" 251 6768 6776 "lib/utils.ml" 252 6833 6861
type(
  S.t
)
"lib/utils.ml" 248 6716 6722 "lib/utils.ml" 252 6833 6861
type(
  S.t
)
"lib/utils.ml" 254 6869 6873 "lib/utils.ml" 254 6869 6877
type(
  S.acc -> int -> S.t
)
ident(
  int_ref loop "lib/utils.ml" 247 6691 6703 "lib/utils.ml" 247 6691 6707
)
"lib/utils.ml" 254 6869 6879 "lib/utils.ml" 254 6869 6883
type(
  int -> S.acc
)
ident(
  int_ref S.init "lib/utils.ml" 203 5347 5349 "lib/utils.ml" 203 5347 5370
)
"lib/utils.ml" 254 6869 6884 "lib/utils.ml" 254 6869 6887
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 246 6633 6641 "lib/utils.ml" 246 6633 6644
)
"lib/utils.ml" 254 6869 6878 "lib/utils.ml" 254 6869 6888
call(
  stack
)
type(
  S.acc
)
"lib/utils.ml" 254 6869 6889 "lib/utils.ml" 254 6869 6890
type(
  int
)
"lib/utils.ml" 254 6869 6873 "lib/utils.ml" 254 6869 6890
call(
  tail
)
type(
  S.t
)
"lib/utils.ml" 247 6691 6695 "lib/utils.ml" 254 6869 6890
type(
  S.t
)
"lib/utils.ml" 246 6633 6637 "lib/utils.ml" 254 6869 6890
type(
  S.t
)
"lib/utils.ml" 256 6892 6898 "lib/utils.ml" 256 6892 6912
type(
  'b -> pos_ref:Common.pos ref -> 'c -> 'd
)
ident(
  def __bin_read_t__ "lib/utils.ml" 259 6975 6977 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 256 6892 6913 "lib/utils.ml" 256 6892 6917
type(
  'b
)
ident(
  def _buf "lib/utils.ml" 256 6892 6918 "lib/utils.ml" 257 6932 6973
)
"lib/utils.ml" 256 6892 6919 "lib/utils.ml" 256 6892 6926
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 256 6892 6927 "lib/utils.ml" 257 6932 6973
)
"lib/utils.ml" 256 6892 6927 "lib/utils.ml" 256 6892 6929
type(
  'c
)
ident(
  def _n "lib/utils.ml" 257 6932 6936 "lib/utils.ml" 257 6932 6973
)
"lib/utils.ml" 257 6932 6936 "lib/utils.ml" 257 6932 6960
type(
  string -> Common.pos -> 'd
)
ident(
  ext_ref Common.raise_variant_wrong_type
)
"lib/utils.ml" 257 6932 6961 "lib/utils.ml" 257 6932 6964
type(
  string
)
"lib/utils.ml" 257 6932 6965 "lib/utils.ml" 257 6932 6966
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 257 6932 6966 "lib/utils.ml" 257 6932 6973
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 256 6892 6919 "lib/utils.ml" 256 6892 6926
)
"lib/utils.ml" 257 6932 6965 "lib/utils.ml" 257 6932 6973
type(
  Common.pos
)
"lib/utils.ml" 257 6932 6936 "lib/utils.ml" 257 6932 6973
call(
  tail
)
type(
  'd
)
"lib/utils.ml" 259 6975 6981 "lib/utils.ml" 259 6975 6993
type(
  S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 265 7061 7063 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 261 7002 7015 "lib/utils.ml" 261 7002 7025
type(
  S.t Size.sizer
)
ident(
  int_ref bin_size_t "lib/utils.ml" 222 5889 5895 "lib/utils.ml" 222 5889 5905
)
"lib/utils.ml" 262 7027 7041 "lib/utils.ml" 262 7027 7052
type(
  S.t Write.writer
)
ident(
  int_ref bin_write_t "lib/utils.ml" 232 6214 6220 "lib/utils.ml" 232 6214 6231
)
"lib/utils.ml" 260 6996 7000 "lib/utils.ml" 263 7054 7059
type(
  S.t Type_class.writer
)
"lib/utils.ml" 265 7061 7067 "lib/utils.ml" 265 7061 7079
type(
  S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 271 7154 7156 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 267 7088 7101 "lib/utils.ml" 267 7088 7111
type(
  S.t Read.reader
)
ident(
  int_ref bin_read_t "lib/utils.ml" 245 6601 6607 "lib/utils.ml" 245 6601 6617
)
"lib/utils.ml" 268 7113 7131 "lib/utils.ml" 268 7113 7145
type(
  (int -> S.t) Read.reader
)
ident(
  int_ref __bin_read_t__ "lib/utils.ml" 256 6892 6898 "lib/utils.ml" 256 6892 6912
)
"lib/utils.ml" 266 7082 7086 "lib/utils.ml" 269 7147 7152
type(
  S.t Type_class.reader
)
"lib/utils.ml" 271 7154 7160 "lib/utils.ml" 271 7154 7165
type(
  S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 275 7232 7237 "lib/utils.ml" 276 7238 7241
)
"lib/utils.ml" 273 7174 7189 "lib/utils.ml" 273 7174 7201
type(
  S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 259 6975 6981 "lib/utils.ml" 259 6975 6993
)
"lib/utils.ml" 274 7203 7218 "lib/utils.ml" 274 7203 7230
type(
  S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 265 7061 7067 "lib/utils.ml" 265 7061 7079
)
"lib/utils.ml" 272 7168 7172 "lib/utils.ml" 275 7232 7237
type(
  S.t Type_class.t
)
"lib/utils.ml" 297 7768 7774 "lib/utils.ml" 297 7768 7803
type(
  string -> 'a
)
ident(
  def raise_concurrent_modification "lib/utils.ml" 305 8031 8033 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 298 7806 7816 "lib/utils.ml" 298 7806 7827
type(
  string option
)
ident(
  int_ref S.module_name "lib/utils.ml" 283 7329 7331 "lib/utils.ml" 283 7329 7362
)
"lib/utils.ml" 299 7833 7839 "lib/utils.ml" 299 7833 7843
type(
  string option
)
"lib/utils.ml" 299 7833 7847 "lib/utils.ml" 299 7833 7876
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 300 7877 7888 "lib/utils.ml" 300 7877 7899
type(
  string
)
ident(
  def module_name "lib/utils.ml" 301 7903 7911 "lib/utils.ml" 303 7985 8029
)
"lib/utils.ml" 300 7877 7883 "lib/utils.ml" 300 7877 7899
type(
  string option
)
"lib/utils.ml" 301 7903 7916 "lib/utils.ml" 301 7903 7919
type(
  string
)
ident(
  def msg "lib/utils.ml" 302 7923 7933 "lib/utils.ml" 303 7985 8028
)
"lib/utils.ml" 302 7923 7937 "lib/utils.ml" 302 7923 7940
type(
  string
)
ident(
  def msg "lib/utils.ml" 303 7985 7995 "lib/utils.ml" 303 7985 8028
)
"lib/utils.ml" 302 7923 7943 "lib/utils.ml" 302 7923 7957
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"lib/utils.ml" 302 7923 7958 "lib/utils.ml" 302 7923 7965
type(
  (string -> string -> string, unit, string) format
)
"lib/utils.ml" 302 7923 7966 "lib/utils.ml" 302 7923 7977
type(
  string
)
ident(
  int_ref module_name "lib/utils.ml" 300 7877 7888 "lib/utils.ml" 300 7877 7899
)
"lib/utils.ml" 302 7923 7978 "lib/utils.ml" 302 7923 7981
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 301 7903 7916 "lib/utils.ml" 301 7903 7919
)
"lib/utils.ml" 302 7923 7943 "lib/utils.ml" 302 7923 7981
call(
  stack
)
type(
  string
)
"lib/utils.ml" 303 7985 7995 "lib/utils.ml" 303 7985 8024
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 303 7985 8025 "lib/utils.ml" 303 7985 8028
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 302 7923 7937 "lib/utils.ml" 302 7923 7940
)
"lib/utils.ml" 303 7985 7995 "lib/utils.ml" 303 7985 8028
call(
  tail
)
type(
  'a
)
"lib/utils.ml" 302 7923 7933 "lib/utils.ml" 303 7985 8028
type(
  'a
)
"lib/utils.ml" 301 7903 7911 "lib/utils.ml" 303 7985 8029
type(
  string -> 'a
)
"lib/utils.ml" 298 7806 7810 "lib/utils.ml" 303 7985 8029
type(
  string -> 'a
)
"lib/utils.ml" 305 8031 8037 "lib/utils.ml" 305 8031 8047
type(
  'b Size.sizer -> 'b S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 317 8390 8392 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 305 8031 8048 "lib/utils.ml" 305 8031 8058
type(
  'b Size.sizer
)
ident(
  def bin_size_a "lib/utils.ml" 305 8031 8059 "lib/utils.ml" 315 8340 8388
)
"lib/utils.ml" 305 8031 8059 "lib/utils.ml" 305 8031 8060
type(
  'b S.t
)
ident(
  def t "lib/utils.ml" 306 8063 8067 "lib/utils.ml" 315 8340 8388
)
"lib/utils.ml" 306 8063 8071 "lib/utils.ml" 306 8063 8079
type(
  int ref
)
ident(
  def size_ref "lib/utils.ml" 307 8091 8095 "lib/utils.ml" 315 8340 8388
)
"lib/utils.ml" 306 8063 8082 "lib/utils.ml" 306 8063 8085
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 306 8063 8086 "lib/utils.ml" 306 8063 8087
type(
  int
)
"lib/utils.ml" 306 8063 8082 "lib/utils.ml" 306 8063 8087
type(
  int ref
)
"lib/utils.ml" 307 8091 8099 "lib/utils.ml" 307 8091 8106
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 308 8118 8122 "lib/utils.ml" 315 8340 8388
)
"lib/utils.ml" 307 8091 8109 "lib/utils.ml" 307 8091 8112
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 307 8091 8113 "lib/utils.ml" 307 8091 8114
type(
  int
)
"lib/utils.ml" 307 8091 8109 "lib/utils.ml" 307 8091 8114
type(
  int ref
)
"lib/utils.ml" 308 8118 8122 "lib/utils.ml" 308 8118 8126
type(
  'b S.t -> f:('b S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 285 7390 7392 "lib/utils.ml" 285 7390 7438
)
"lib/utils.ml" 308 8118 8127 "lib/utils.ml" 308 8118 8128
type(
  'b S.t
)
ident(
  int_ref t "lib/utils.ml" 305 8031 8059 "lib/utils.ml" 305 8031 8060
)
"lib/utils.ml" 308 8118 8137 "lib/utils.ml" 308 8118 8139
type(
  'b S.el
)
ident(
  def el "lib/utils.ml" 309 8143 8149 "lib/utils.ml" 310 8200 8218
)
"lib/utils.ml" 309 8143 8149 "lib/utils.ml" 309 8143 8157
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 306 8063 8071 "lib/utils.ml" 306 8063 8079
)
"lib/utils.ml" 309 8143 8158 "lib/utils.ml" 309 8143 8160
type(
  int ref -> int -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 309 8143 8161 "lib/utils.ml" 309 8143 8162
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 309 8143 8162 "lib/utils.ml" 309 8143 8170
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 306 8063 8071 "lib/utils.ml" 306 8063 8079
)
"lib/utils.ml" 309 8143 8161 "lib/utils.ml" 309 8143 8170
type(
  int
)
"lib/utils.ml" 309 8143 8171 "lib/utils.ml" 309 8143 8172
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 309 8143 8173 "lib/utils.ml" 309 8143 8184
type(
  ('b, 'b S.el) Size.sizer1
)
ident(
  int_ref S.bin_size_el "lib/utils.ml" 289 7544 7546 "lib/utils.ml" 289 7544 7587
)
"lib/utils.ml" 309 8143 8185 "lib/utils.ml" 309 8143 8195
type(
  'b Size.sizer
)
ident(
  int_ref bin_size_a "lib/utils.ml" 305 8031 8048 "lib/utils.ml" 305 8031 8058
)
"lib/utils.ml" 309 8143 8196 "lib/utils.ml" 309 8143 8198
type(
  'b S.el
)
ident(
  int_ref el "lib/utils.ml" 308 8118 8137 "lib/utils.ml" 308 8118 8139
)
"lib/utils.ml" 309 8143 8173 "lib/utils.ml" 309 8143 8198
call(
  stack
)
type(
  int
)
"lib/utils.ml" 309 8143 8161 "lib/utils.ml" 309 8143 8198
type(
  int
)
"lib/utils.ml" 309 8143 8149 "lib/utils.ml" 309 8143 8198
type(
  unit
)
"lib/utils.ml" 310 8200 8206 "lib/utils.ml" 310 8200 8210
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 310 8200 8211 "lib/utils.ml" 310 8200 8218
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 307 8091 8099 "lib/utils.ml" 307 8091 8106
)
"lib/utils.ml" 310 8200 8206 "lib/utils.ml" 310 8200 8218
type(
  unit
)
"lib/utils.ml" 309 8143 8149 "lib/utils.ml" 310 8200 8218
type(
  unit
)
"lib/utils.ml" 308 8118 8132 "lib/utils.ml" 310 8200 8219
type(
  'b S.el -> unit
)
"lib/utils.ml" 308 8118 8122 "lib/utils.ml" 310 8200 8219
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 311 8221 8229 "lib/utils.ml" 311 8221 8232
type(
  int
)
ident(
  def len "lib/utils.ml" 312 8247 8251 "lib/utils.ml" 315 8340 8388
)
"lib/utils.ml" 311 8221 8235 "lib/utils.ml" 311 8221 8241
type(
  'b S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 284 7363 7365 "lib/utils.ml" 284 7363 7389
)
"lib/utils.ml" 311 8221 8242 "lib/utils.ml" 311 8221 8243
type(
  'b S.t
)
ident(
  int_ref t "lib/utils.ml" 305 8031 8059 "lib/utils.ml" 305 8031 8060
)
"lib/utils.ml" 311 8221 8235 "lib/utils.ml" 311 8221 8243
call(
  stack
)
type(
  int
)
"lib/utils.ml" 312 8247 8254 "lib/utils.ml" 312 8247 8255
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 312 8247 8255 "lib/utils.ml" 312 8247 8262
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 307 8091 8099 "lib/utils.ml" 307 8091 8106
)
"lib/utils.ml" 312 8247 8254 "lib/utils.ml" 312 8247 8262
type(
  int
)
"lib/utils.ml" 312 8247 8263 "lib/utils.ml" 312 8247 8264
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 312 8247 8265 "lib/utils.ml" 312 8247 8268
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 311 8221 8229 "lib/utils.ml" 311 8221 8232
)
"lib/utils.ml" 312 8247 8254 "lib/utils.ml" 312 8247 8268
type(
  bool
)
"lib/utils.ml" 313 8274 8280 "lib/utils.ml" 313 8274 8293
type(
  Nat0.t Size.sizer
)
ident(
  ext_ref Size.bin_size_nat0
)
"lib/utils.ml" 313 8274 8295 "lib/utils.ml" 313 8274 8313
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 313 8274 8314 "lib/utils.ml" 313 8274 8317
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 311 8221 8229 "lib/utils.ml" 311 8221 8232
)
"lib/utils.ml" 313 8274 8294 "lib/utils.ml" 313 8274 8318
type(
  Nat0.t
)
"lib/utils.ml" 313 8274 8280 "lib/utils.ml" 313 8274 8318
call(
  stack
)
type(
  int
)
"lib/utils.ml" 313 8274 8319 "lib/utils.ml" 313 8274 8320
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 313 8274 8321 "lib/utils.ml" 313 8274 8322
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 313 8274 8322 "lib/utils.ml" 313 8274 8330
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 306 8063 8071 "lib/utils.ml" 306 8063 8079
)
"lib/utils.ml" 313 8274 8321 "lib/utils.ml" 313 8274 8330
type(
  int
)
"lib/utils.ml" 313 8274 8280 "lib/utils.ml" 313 8274 8330
type(
  int
)
"lib/utils.ml" 315 8340 8346 "lib/utils.ml" 315 8340 8375
type(
  string -> int
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 297 7768 7774 "lib/utils.ml" 297 7768 7803
)
"lib/utils.ml" 315 8340 8376 "lib/utils.ml" 315 8340 8388
type(
  string
)
"lib/utils.ml" 315 8340 8346 "lib/utils.ml" 315 8340 8388
call(
  tail
)
type(
  int
)
"lib/utils.ml" 312 8247 8251 "lib/utils.ml" 315 8340 8388
type(
  int
)
"lib/utils.ml" 311 8221 8225 "lib/utils.ml" 315 8340 8388
type(
  int
)
"lib/utils.ml" 308 8118 8122 "lib/utils.ml" 315 8340 8388
type(
  int
)
"lib/utils.ml" 307 8091 8095 "lib/utils.ml" 315 8340 8388
type(
  int
)
"lib/utils.ml" 306 8063 8067 "lib/utils.ml" 315 8340 8388
type(
  int
)
"lib/utils.ml" 317 8390 8396 "lib/utils.ml" 317 8390 8407
type(
  'c Write.writer -> Common.buf -> pos:Common.pos -> 'c S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 330 8801 8803 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 317 8390 8408 "lib/utils.ml" 317 8390 8419
type(
  'c Write.writer
)
ident(
  def bin_write_a "lib/utils.ml" 317 8390 8420 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 317 8390 8420 "lib/utils.ml" 317 8390 8423
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 317 8390 8424 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 317 8390 8425 "lib/utils.ml" 317 8390 8428
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 317 8390 8429 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 317 8390 8429 "lib/utils.ml" 317 8390 8430
type(
  'c S.t
)
ident(
  def t "lib/utils.ml" 318 8433 8437 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 318 8433 8441 "lib/utils.ml" 318 8433 8444
type(
  int
)
ident(
  def len "lib/utils.ml" 319 8459 8463 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 318 8433 8447 "lib/utils.ml" 318 8433 8453
type(
  'c S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 284 7363 7365 "lib/utils.ml" 284 7363 7389
)
"lib/utils.ml" 318 8433 8454 "lib/utils.ml" 318 8433 8455
type(
  'c S.t
)
ident(
  int_ref t "lib/utils.ml" 317 8390 8429 "lib/utils.ml" 317 8390 8430
)
"lib/utils.ml" 318 8433 8447 "lib/utils.ml" 318 8433 8455
call(
  stack
)
type(
  int
)
"lib/utils.ml" 319 8459 8467 "lib/utils.ml" 319 8459 8471
type(
  Nat0.t
)
ident(
  def plen "lib/utils.ml" 320 8500 8504 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 319 8459 8474 "lib/utils.ml" 319 8459 8492
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 319 8459 8493 "lib/utils.ml" 319 8459 8496
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 318 8433 8441 "lib/utils.ml" 318 8433 8444
)
"lib/utils.ml" 319 8459 8474 "lib/utils.ml" 319 8459 8496
type(
  Nat0.t
)
"lib/utils.ml" 320 8500 8508 "lib/utils.ml" 320 8500 8515
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 321 8562 8566 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 320 8500 8518 "lib/utils.ml" 320 8500 8521
type(
  Common.pos -> Common.pos ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 320 8500 8523 "lib/utils.ml" 320 8500 8543
type(
  Nat0.t Write.writer
)
ident(
  ext_ref Write.bin_write_nat0
)
"lib/utils.ml" 320 8500 8544 "lib/utils.ml" 320 8500 8547
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 317 8390 8420 "lib/utils.ml" 317 8390 8423
)
"lib/utils.ml" 320 8500 8549 "lib/utils.ml" 320 8500 8552
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 317 8390 8425 "lib/utils.ml" 317 8390 8428
)
"lib/utils.ml" 320 8500 8553 "lib/utils.ml" 320 8500 8557
type(
  Nat0.t
)
ident(
  int_ref plen "lib/utils.ml" 319 8459 8467 "lib/utils.ml" 319 8459 8471
)
"lib/utils.ml" 320 8500 8522 "lib/utils.ml" 320 8500 8558
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 320 8500 8518 "lib/utils.ml" 320 8500 8558
type(
  Common.pos ref
)
"lib/utils.ml" 321 8562 8570 "lib/utils.ml" 321 8562 8577
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 322 8589 8593 "lib/utils.ml" 328 8750 8799
)
"lib/utils.ml" 321 8562 8580 "lib/utils.ml" 321 8562 8583
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 321 8562 8584 "lib/utils.ml" 321 8562 8585
type(
  int
)
"lib/utils.ml" 321 8562 8580 "lib/utils.ml" 321 8562 8585
type(
  int ref
)
"lib/utils.ml" 322 8589 8593 "lib/utils.ml" 322 8589 8597
type(
  'c S.t -> f:('c S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 285 7390 7392 "lib/utils.ml" 285 7390 7438
)
"lib/utils.ml" 322 8589 8598 "lib/utils.ml" 322 8589 8599
type(
  'c S.t
)
ident(
  int_ref t "lib/utils.ml" 317 8390 8429 "lib/utils.ml" 317 8390 8430
)
"lib/utils.ml" 322 8589 8608 "lib/utils.ml" 322 8589 8610
type(
  'c S.el
)
ident(
  def el "lib/utils.ml" 323 8614 8620 "lib/utils.ml" 324 8678 8696
)
"lib/utils.ml" 323 8614 8620 "lib/utils.ml" 323 8614 8627
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 320 8500 8508 "lib/utils.ml" 320 8500 8515
)
"lib/utils.ml" 323 8614 8628 "lib/utils.ml" 323 8614 8630
type(
  Common.pos ref -> Common.pos -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 323 8614 8631 "lib/utils.ml" 323 8614 8643
type(
  ('c, 'c S.el) Write.writer1
)
ident(
  int_ref S.bin_write_el "lib/utils.ml" 290 7588 7590 "lib/utils.ml" 290 7588 7634
)
"lib/utils.ml" 323 8614 8644 "lib/utils.ml" 323 8614 8655
type(
  'c Write.writer
)
ident(
  int_ref bin_write_a "lib/utils.ml" 317 8390 8408 "lib/utils.ml" 317 8390 8419
)
"lib/utils.ml" 323 8614 8656 "lib/utils.ml" 323 8614 8659
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 317 8390 8420 "lib/utils.ml" 317 8390 8423
)
"lib/utils.ml" 323 8614 8665 "lib/utils.ml" 323 8614 8666
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 323 8614 8666 "lib/utils.ml" 323 8614 8673
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 320 8500 8508 "lib/utils.ml" 320 8500 8515
)
"lib/utils.ml" 323 8614 8665 "lib/utils.ml" 323 8614 8673
type(
  Common.pos
)
"lib/utils.ml" 323 8614 8674 "lib/utils.ml" 323 8614 8676
type(
  'c S.el
)
ident(
  int_ref el "lib/utils.ml" 322 8589 8608 "lib/utils.ml" 322 8589 8610
)
"lib/utils.ml" 323 8614 8631 "lib/utils.ml" 323 8614 8676
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 323 8614 8620 "lib/utils.ml" 323 8614 8676
type(
  unit
)
"lib/utils.ml" 324 8678 8684 "lib/utils.ml" 324 8678 8688
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 324 8678 8689 "lib/utils.ml" 324 8678 8696
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 321 8562 8570 "lib/utils.ml" 321 8562 8577
)
"lib/utils.ml" 324 8678 8684 "lib/utils.ml" 324 8678 8696
type(
  unit
)
"lib/utils.ml" 323 8614 8620 "lib/utils.ml" 324 8678 8696
type(
  unit
)
"lib/utils.ml" 322 8589 8603 "lib/utils.ml" 324 8678 8697
type(
  'c S.el -> unit
)
"lib/utils.ml" 322 8589 8593 "lib/utils.ml" 324 8678 8697
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 325 8699 8706 "lib/utils.ml" 325 8699 8707
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 325 8699 8707 "lib/utils.ml" 325 8699 8714
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 321 8562 8570 "lib/utils.ml" 321 8562 8577
)
"lib/utils.ml" 325 8699 8706 "lib/utils.ml" 325 8699 8714
type(
  int
)
"lib/utils.ml" 325 8699 8715 "lib/utils.ml" 325 8699 8716
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 325 8699 8717 "lib/utils.ml" 325 8699 8720
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 318 8433 8441 "lib/utils.ml" 318 8433 8444
)
"lib/utils.ml" 325 8699 8706 "lib/utils.ml" 325 8699 8720
type(
  bool
)
"lib/utils.ml" 326 8726 8732 "lib/utils.ml" 326 8726 8733
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 326 8726 8733 "lib/utils.ml" 326 8726 8740
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 320 8500 8508 "lib/utils.ml" 320 8500 8515
)
"lib/utils.ml" 326 8726 8732 "lib/utils.ml" 326 8726 8740
type(
  Common.pos
)
"lib/utils.ml" 328 8750 8756 "lib/utils.ml" 328 8750 8785
type(
  string -> Common.pos
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 297 7768 7774 "lib/utils.ml" 297 7768 7803
)
"lib/utils.ml" 328 8750 8786 "lib/utils.ml" 328 8750 8799
type(
  string
)
"lib/utils.ml" 328 8750 8756 "lib/utils.ml" 328 8750 8799
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 325 8699 8703 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 322 8589 8593 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 321 8562 8566 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 320 8500 8504 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 319 8459 8463 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 318 8433 8437 "lib/utils.ml" 328 8750 8799
type(
  Common.pos
)
"lib/utils.ml" 330 8801 8807 "lib/utils.ml" 330 8801 8817
type(
  'd Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> 'd S.t
)
ident(
  def bin_read_t "lib/utils.ml" 341 9114 9116 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 330 8801 8818 "lib/utils.ml" 330 8801 8828
type(
  'd Read.reader
)
ident(
  def bin_read_a "lib/utils.ml" 330 8801 8829 "lib/utils.ml" 339 9091 9112
)
"lib/utils.ml" 330 8801 8829 "lib/utils.ml" 330 8801 8832
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 330 8801 8833 "lib/utils.ml" 339 9091 9112
)
"lib/utils.ml" 330 8801 8834 "lib/utils.ml" 330 8801 8841
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 331 8844 8848 "lib/utils.ml" 339 9091 9112
)
"lib/utils.ml" 331 8844 8852 "lib/utils.ml" 331 8844 8855
type(
  int
)
ident(
  def len "lib/utils.ml" 332 8902 8906 "lib/utils.ml" 339 9091 9112
)
"lib/utils.ml" 331 8844 8859 "lib/utils.ml" 331 8844 8877
type(
  Nat0.t Read.reader
)
ident(
  ext_ref Read.bin_read_nat0
)
"lib/utils.ml" 331 8844 8878 "lib/utils.ml" 331 8844 8881
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 330 8801 8829 "lib/utils.ml" 330 8801 8832
)
"lib/utils.ml" 331 8844 8883 "lib/utils.ml" 331 8844 8890
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 330 8801 8834 "lib/utils.ml" 330 8801 8841
)
"lib/utils.ml" 331 8844 8859 "lib/utils.ml" 331 8844 8890
call(
  stack
)
type(
  int
)
type(
  Nat0.t
)
"lib/utils.ml" 332 8902 8914 "lib/utils.ml" 332 8902 8918
type(
  'd S.acc -> int -> 'd S.t
)
ident(
  def loop "lib/utils.ml" 332 8902 8906 "lib/utils.ml" 339 9091 9112
)
"lib/utils.ml" 332 8902 8919 "lib/utils.ml" 332 8902 8922
type(
  'd S.acc
)
ident(
  def acc "lib/utils.ml" 332 8902 8923 "lib/utils.ml" 337 9055 9083
)
"lib/utils.ml" 332 8902 8923 "lib/utils.ml" 332 8902 8924
type(
  int
)
ident(
  def i "lib/utils.ml" 333 8927 8933 "lib/utils.ml" 337 9055 9083
)
"lib/utils.ml" 333 8927 8936 "lib/utils.ml" 333 8927 8937
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 332 8902 8923 "lib/utils.ml" 332 8902 8924
)
"lib/utils.ml" 333 8927 8938 "lib/utils.ml" 333 8927 8939
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 333 8927 8940 "lib/utils.ml" 333 8927 8943
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 331 8844 8852 "lib/utils.ml" 331 8844 8855
)
"lib/utils.ml" 333 8927 8936 "lib/utils.ml" 333 8927 8943
type(
  bool
)
"lib/utils.ml" 334 8949 8957 "lib/utils.ml" 334 8949 8963
type(
  'd S.acc -> 'd S.t
)
ident(
  int_ref S.finish "lib/utils.ml" 288 7514 7516 "lib/utils.ml" 288 7514 7543
)
"lib/utils.ml" 334 8949 8964 "lib/utils.ml" 334 8949 8967
type(
  'd S.acc
)
ident(
  int_ref acc "lib/utils.ml" 332 8902 8919 "lib/utils.ml" 332 8902 8922
)
"lib/utils.ml" 334 8949 8957 "lib/utils.ml" 334 8949 8967
call(
  tail
)
type(
  'd S.t
)
"lib/utils.ml" 336 8979 8991 "lib/utils.ml" 336 8979 8998
type(
  'd S.acc
)
ident(
  def new_acc "lib/utils.ml" 337 9055 9063 "lib/utils.ml" 337 9055 9083
)
"lib/utils.ml" 336 8979 9001 "lib/utils.ml" 336 8979 9007
type(
  'd S.acc -> 'd S.el -> int -> 'd S.acc
)
ident(
  int_ref S.insert "lib/utils.ml" 287 7466 7468 "lib/utils.ml" 287 7466 7513
)
"lib/utils.ml" 336 8979 9008 "lib/utils.ml" 336 8979 9011
type(
  'd S.acc
)
ident(
  int_ref acc "lib/utils.ml" 332 8902 8919 "lib/utils.ml" 332 8902 8922
)
"lib/utils.ml" 336 8979 9013 "lib/utils.ml" 336 8979 9024
type(
  ('d, 'd S.el) Read.reader1
)
ident(
  int_ref S.bin_read_el "lib/utils.ml" 291 7635 7637 "lib/utils.ml" 291 7635 7679
)
"lib/utils.ml" 336 8979 9025 "lib/utils.ml" 336 8979 9035
type(
  'd Read.reader
)
ident(
  int_ref bin_read_a "lib/utils.ml" 330 8801 8818 "lib/utils.ml" 330 8801 8828
)
"lib/utils.ml" 336 8979 9036 "lib/utils.ml" 336 8979 9039
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 330 8801 8829 "lib/utils.ml" 330 8801 8832
)
"lib/utils.ml" 336 8979 9041 "lib/utils.ml" 336 8979 9048
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 330 8801 8834 "lib/utils.ml" 330 8801 8841
)
"lib/utils.ml" 336 8979 9012 "lib/utils.ml" 336 8979 9049
call(
  stack
)
type(
  'd S.el
)
"lib/utils.ml" 336 8979 9050 "lib/utils.ml" 336 8979 9051
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 332 8902 8923 "lib/utils.ml" 332 8902 8924
)
"lib/utils.ml" 336 8979 9001 "lib/utils.ml" 336 8979 9051
call(
  stack
)
type(
  'd S.acc
)
"lib/utils.ml" 337 9055 9063 "lib/utils.ml" 337 9055 9067
type(
  'd S.acc -> int -> 'd S.t
)
ident(
  int_ref loop "lib/utils.ml" 332 8902 8914 "lib/utils.ml" 332 8902 8918
)
"lib/utils.ml" 337 9055 9068 "lib/utils.ml" 337 9055 9075
type(
  'd S.acc
)
ident(
  int_ref new_acc "lib/utils.ml" 336 8979 8991 "lib/utils.ml" 336 8979 8998
)
"lib/utils.ml" 337 9055 9077 "lib/utils.ml" 337 9055 9078
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 332 8902 8923 "lib/utils.ml" 332 8902 8924
)
"lib/utils.ml" 337 9055 9079 "lib/utils.ml" 337 9055 9080
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 337 9055 9081 "lib/utils.ml" 337 9055 9082
type(
  int
)
"lib/utils.ml" 337 9055 9076 "lib/utils.ml" 337 9055 9083
type(
  int
)
"lib/utils.ml" 337 9055 9063 "lib/utils.ml" 337 9055 9083
call(
  tail
)
type(
  'd S.t
)
"lib/utils.ml" 336 8979 8987 "lib/utils.ml" 337 9055 9083
type(
  'd S.t
)
"lib/utils.ml" 333 8927 8933 "lib/utils.ml" 337 9055 9083
type(
  'd S.t
)
"lib/utils.ml" 339 9091 9095 "lib/utils.ml" 339 9091 9099
type(
  'd S.acc -> int -> 'd S.t
)
ident(
  int_ref loop "lib/utils.ml" 332 8902 8914 "lib/utils.ml" 332 8902 8918
)
"lib/utils.ml" 339 9091 9101 "lib/utils.ml" 339 9091 9105
type(
  int -> 'd S.acc
)
ident(
  int_ref S.init "lib/utils.ml" 286 7439 7441 "lib/utils.ml" 286 7439 7465
)
"lib/utils.ml" 339 9091 9106 "lib/utils.ml" 339 9091 9109
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 331 8844 8852 "lib/utils.ml" 331 8844 8855
)
"lib/utils.ml" 339 9091 9100 "lib/utils.ml" 339 9091 9110
call(
  stack
)
type(
  'd S.acc
)
"lib/utils.ml" 339 9091 9111 "lib/utils.ml" 339 9091 9112
type(
  int
)
"lib/utils.ml" 339 9091 9095 "lib/utils.ml" 339 9091 9112
call(
  tail
)
type(
  'd S.t
)
"lib/utils.ml" 332 8902 8906 "lib/utils.ml" 339 9091 9112
type(
  'd S.t
)
"lib/utils.ml" 331 8844 8848 "lib/utils.ml" 339 9091 9112
type(
  'd S.t
)
"lib/utils.ml" 341 9114 9120 "lib/utils.ml" 341 9114 9134
type(
  'e -> 'f -> pos_ref:Common.pos ref -> 'g -> 'h
)
ident(
  def __bin_read_t__ "lib/utils.ml" 344 9209 9211 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 341 9114 9135 "lib/utils.ml" 341 9114 9146
type(
  'e
)
ident(
  def _bin_read_a "lib/utils.ml" 341 9114 9147 "lib/utils.ml" 342 9166 9207
)
"lib/utils.ml" 341 9114 9147 "lib/utils.ml" 341 9114 9151
type(
  'f
)
ident(
  def _buf "lib/utils.ml" 341 9114 9152 "lib/utils.ml" 342 9166 9207
)
"lib/utils.ml" 341 9114 9153 "lib/utils.ml" 341 9114 9160
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 341 9114 9161 "lib/utils.ml" 342 9166 9207
)
"lib/utils.ml" 341 9114 9161 "lib/utils.ml" 341 9114 9163
type(
  'g
)
ident(
  def _n "lib/utils.ml" 342 9166 9170 "lib/utils.ml" 342 9166 9207
)
"lib/utils.ml" 342 9166 9170 "lib/utils.ml" 342 9166 9194
type(
  string -> Common.pos -> 'h
)
ident(
  ext_ref Common.raise_variant_wrong_type
)
"lib/utils.ml" 342 9166 9195 "lib/utils.ml" 342 9166 9198
type(
  string
)
"lib/utils.ml" 342 9166 9199 "lib/utils.ml" 342 9166 9200
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 342 9166 9200 "lib/utils.ml" 342 9166 9207
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 341 9114 9153 "lib/utils.ml" 341 9114 9160
)
"lib/utils.ml" 342 9166 9199 "lib/utils.ml" 342 9166 9207
type(
  Common.pos
)
"lib/utils.ml" 342 9166 9170 "lib/utils.ml" 342 9166 9207
call(
  tail
)
type(
  'h
)
"lib/utils.ml" 344 9209 9215 "lib/utils.ml" 344 9209 9227
type(
  'i Type_class.writer -> 'i S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 351 9391 9393 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 344 9209 9228 "lib/utils.ml" 344 9209 9238
type(
  'i Type_class.writer
)
ident(
  def bin_writer "lib/utils.ml" 345 9241 9245 "lib/utils.ml" 349 9384 9389
)
"lib/utils.ml" 346 9247 9265 "lib/utils.ml" 346 9247 9266
type(
  'i S.t
)
ident(
  def v "lib/utils.ml" 346 9247 9270 "lib/utils.ml" 346 9247 9298
)
"lib/utils.ml" 346 9247 9270 "lib/utils.ml" 346 9247 9280
type(
  'i Size.sizer -> 'i S.t -> int
)
ident(
  int_ref bin_size_t "lib/utils.ml" 305 8031 8037 "lib/utils.ml" 305 8031 8047
)
"lib/utils.ml" 346 9247 9281 "lib/utils.ml" 346 9247 9291
type(
  'i Type_class.writer
)
ident(
  int_ref bin_writer "lib/utils.ml" 344 9209 9228 "lib/utils.ml" 344 9209 9238
)
"lib/utils.ml" 346 9247 9281 "lib/utils.ml" 346 9247 9296
type(
  'i Size.sizer
)
"lib/utils.ml" 346 9247 9297 "lib/utils.ml" 346 9247 9298
type(
  'i S.t
)
ident(
  int_ref v "lib/utils.ml" 346 9247 9265 "lib/utils.ml" 346 9247 9266
)
"lib/utils.ml" 346 9247 9270 "lib/utils.ml" 346 9247 9298
call(
  tail
)
type(
  int
)
"lib/utils.ml" 346 9247 9260 "lib/utils.ml" 346 9247 9299
type(
  'i S.t Size.sizer
)
"lib/utils.ml" 347 9301 9320 "lib/utils.ml" 347 9301 9323
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 347 9301 9324 "lib/utils.ml" 348 9334 9381
)
"lib/utils.ml" 347 9301 9325 "lib/utils.ml" 347 9301 9328
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 347 9301 9329 "lib/utils.ml" 348 9334 9381
)
"lib/utils.ml" 347 9301 9329 "lib/utils.ml" 347 9301 9330
type(
  'i S.t
)
ident(
  def v "lib/utils.ml" 348 9334 9342 "lib/utils.ml" 348 9334 9381
)
"lib/utils.ml" 348 9334 9342 "lib/utils.ml" 348 9334 9353
type(
  'i Write.writer -> Common.buf -> pos:Common.pos -> 'i S.t -> Common.pos
)
ident(
  int_ref bin_write_t "lib/utils.ml" 317 8390 8396 "lib/utils.ml" 317 8390 8407
)
"lib/utils.ml" 348 9334 9354 "lib/utils.ml" 348 9334 9364
type(
  'i Type_class.writer
)
ident(
  int_ref bin_writer "lib/utils.ml" 344 9209 9228 "lib/utils.ml" 344 9209 9238
)
"lib/utils.ml" 348 9334 9354 "lib/utils.ml" 348 9334 9370
type(
  'i Write.writer
)
"lib/utils.ml" 348 9334 9371 "lib/utils.ml" 348 9334 9374
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 347 9301 9320 "lib/utils.ml" 347 9301 9323
)
"lib/utils.ml" 348 9334 9376 "lib/utils.ml" 348 9334 9379
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 347 9301 9325 "lib/utils.ml" 347 9301 9328
)
"lib/utils.ml" 348 9334 9380 "lib/utils.ml" 348 9334 9381
type(
  'i S.t
)
ident(
  int_ref v "lib/utils.ml" 347 9301 9329 "lib/utils.ml" 347 9301 9330
)
"lib/utils.ml" 348 9334 9342 "lib/utils.ml" 348 9334 9381
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 347 9301 9315 "lib/utils.ml" 348 9334 9382
type(
  'i S.t Write.writer
)
"lib/utils.ml" 345 9241 9245 "lib/utils.ml" 349 9384 9389
type(
  'i S.t Type_class.writer
)
"lib/utils.ml" 351 9391 9397 "lib/utils.ml" 351 9391 9409
type(
  'j Type_class.reader -> 'j S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 359 9619 9621 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 351 9391 9410 "lib/utils.ml" 351 9391 9420
type(
  'j Type_class.reader
)
ident(
  def bin_reader "lib/utils.ml" 352 9423 9427 "lib/utils.ml" 357 9612 9617
)
"lib/utils.ml" 353 9429 9447 "lib/utils.ml" 353 9429 9450
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 353 9429 9451 "lib/utils.ml" 354 9463 9510
)
"lib/utils.ml" 353 9429 9452 "lib/utils.ml" 353 9429 9459
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 354 9463 9471 "lib/utils.ml" 354 9463 9510
)
"lib/utils.ml" 354 9463 9471 "lib/utils.ml" 354 9463 9481
type(
  'j Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> 'j S.t
)
ident(
  int_ref bin_read_t "lib/utils.ml" 330 8801 8807 "lib/utils.ml" 330 8801 8817
)
"lib/utils.ml" 354 9463 9482 "lib/utils.ml" 354 9463 9492
type(
  'j Type_class.reader
)
ident(
  int_ref bin_reader "lib/utils.ml" 351 9391 9410 "lib/utils.ml" 351 9391 9420
)
"lib/utils.ml" 354 9463 9482 "lib/utils.ml" 354 9463 9497
type(
  'j Read.reader
)
"lib/utils.ml" 354 9463 9498 "lib/utils.ml" 354 9463 9501
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 353 9429 9447 "lib/utils.ml" 353 9429 9450
)
"lib/utils.ml" 354 9463 9503 "lib/utils.ml" 354 9463 9510
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 353 9429 9452 "lib/utils.ml" 353 9429 9459
)
"lib/utils.ml" 354 9463 9471 "lib/utils.ml" 354 9463 9510
call(
  tail
)
type(
  'j S.t
)
"lib/utils.ml" 353 9429 9442 "lib/utils.ml" 354 9463 9511
type(
  'j S.t Read.reader
)
"lib/utils.ml" 355 9513 9536 "lib/utils.ml" 355 9513 9539
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 355 9513 9540 "lib/utils.ml" 356 9555 9609
)
"lib/utils.ml" 355 9513 9541 "lib/utils.ml" 355 9513 9548
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 355 9513 9549 "lib/utils.ml" 356 9555 9609
)
"lib/utils.ml" 355 9513 9549 "lib/utils.ml" 355 9513 9551
type(
  int
)
ident(
  def _n "lib/utils.ml" 356 9555 9563 "lib/utils.ml" 356 9555 9609
)
"lib/utils.ml" 356 9555 9563 "lib/utils.ml" 356 9555 9577
type(
  'j Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> int -> 'j S.t
)
ident(
  int_ref __bin_read_t__ "lib/utils.ml" 341 9114 9120 "lib/utils.ml" 341 9114 9134
)
"lib/utils.ml" 356 9555 9578 "lib/utils.ml" 356 9555 9588
type(
  'j Type_class.reader
)
ident(
  int_ref bin_reader "lib/utils.ml" 351 9391 9410 "lib/utils.ml" 351 9391 9420
)
"lib/utils.ml" 356 9555 9578 "lib/utils.ml" 356 9555 9593
type(
  'j Read.reader
)
"lib/utils.ml" 356 9555 9594 "lib/utils.ml" 356 9555 9597
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 355 9513 9536 "lib/utils.ml" 355 9513 9539
)
"lib/utils.ml" 356 9555 9599 "lib/utils.ml" 356 9555 9606
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 355 9513 9541 "lib/utils.ml" 355 9513 9548
)
"lib/utils.ml" 356 9555 9607 "lib/utils.ml" 356 9555 9609
type(
  int
)
ident(
  int_ref _n "lib/utils.ml" 355 9513 9549 "lib/utils.ml" 355 9513 9551
)
"lib/utils.ml" 356 9555 9563 "lib/utils.ml" 356 9555 9609
call(
  tail
)
type(
  'j S.t
)
"lib/utils.ml" 355 9513 9531 "lib/utils.ml" 356 9555 9610
type(
  (int -> 'j S.t) Read.reader
)
"lib/utils.ml" 352 9423 9427 "lib/utils.ml" 357 9612 9617
type(
  'j S.t Type_class.reader
)
"lib/utils.ml" 359 9619 9625 "lib/utils.ml" 359 9619 9630
type(
  'k Type_class.t -> 'k S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 363 9744 9749 "lib/utils.ml" 364 9750 9753
)
"lib/utils.ml" 359 9619 9631 "lib/utils.ml" 359 9619 9641
type(
  'k Type_class.t
)
ident(
  def type_class "lib/utils.ml" 360 9644 9648 "lib/utils.ml" 363 9744 9749
)
"lib/utils.ml" 361 9650 9665 "lib/utils.ml" 361 9650 9677
type(
  'k Type_class.writer -> 'k S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 344 9209 9215 "lib/utils.ml" 344 9209 9227
)
"lib/utils.ml" 361 9650 9678 "lib/utils.ml" 361 9650 9688
type(
  'k Type_class.t
)
ident(
  int_ref type_class "lib/utils.ml" 359 9619 9631 "lib/utils.ml" 359 9619 9641
)
"lib/utils.ml" 361 9650 9678 "lib/utils.ml" 361 9650 9695
type(
  'k Type_class.writer
)
"lib/utils.ml" 361 9650 9665 "lib/utils.ml" 361 9650 9695
call(
  stack
)
type(
  'k S.t Type_class.writer
)
"lib/utils.ml" 362 9697 9712 "lib/utils.ml" 362 9697 9724
type(
  'k Type_class.reader -> 'k S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 351 9391 9397 "lib/utils.ml" 351 9391 9409
)
"lib/utils.ml" 362 9697 9725 "lib/utils.ml" 362 9697 9735
type(
  'k Type_class.t
)
ident(
  int_ref type_class "lib/utils.ml" 359 9619 9631 "lib/utils.ml" 359 9619 9641
)
"lib/utils.ml" 362 9697 9725 "lib/utils.ml" 362 9697 9742
type(
  'k Type_class.reader
)
"lib/utils.ml" 362 9697 9712 "lib/utils.ml" 362 9697 9742
call(
  stack
)
type(
  'k S.t Type_class.reader
)
"lib/utils.ml" 360 9644 9648 "lib/utils.ml" 363 9744 9749
type(
  'k S.t Type_class.t
)
"lib/utils.ml" 385 10382 10388 "lib/utils.ml" 385 10382 10417
type(
  string -> 'a
)
ident(
  def raise_concurrent_modification "lib/utils.ml" 393 10645 10647 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 386 10420 10430 "lib/utils.ml" 386 10420 10441
type(
  string option
)
ident(
  int_ref S.module_name "lib/utils.ml" 371 9859 9861 "lib/utils.ml" 371 9859 9892
)
"lib/utils.ml" 387 10447 10453 "lib/utils.ml" 387 10447 10457
type(
  string option
)
"lib/utils.ml" 387 10447 10461 "lib/utils.ml" 387 10447 10490
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 388 10491 10502 "lib/utils.ml" 388 10491 10513
type(
  string
)
ident(
  def module_name "lib/utils.ml" 389 10517 10525 "lib/utils.ml" 391 10599 10643
)
"lib/utils.ml" 388 10491 10497 "lib/utils.ml" 388 10491 10513
type(
  string option
)
"lib/utils.ml" 389 10517 10530 "lib/utils.ml" 389 10517 10533
type(
  string
)
ident(
  def msg "lib/utils.ml" 390 10537 10547 "lib/utils.ml" 391 10599 10642
)
"lib/utils.ml" 390 10537 10551 "lib/utils.ml" 390 10537 10554
type(
  string
)
ident(
  def msg "lib/utils.ml" 391 10599 10609 "lib/utils.ml" 391 10599 10642
)
"lib/utils.ml" 390 10537 10557 "lib/utils.ml" 390 10537 10571
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"lib/utils.ml" 390 10537 10572 "lib/utils.ml" 390 10537 10579
type(
  (string -> string -> string, unit, string) format
)
"lib/utils.ml" 390 10537 10580 "lib/utils.ml" 390 10537 10591
type(
  string
)
ident(
  int_ref module_name "lib/utils.ml" 388 10491 10502 "lib/utils.ml" 388 10491 10513
)
"lib/utils.ml" 390 10537 10592 "lib/utils.ml" 390 10537 10595
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 389 10517 10530 "lib/utils.ml" 389 10517 10533
)
"lib/utils.ml" 390 10537 10557 "lib/utils.ml" 390 10537 10595
call(
  stack
)
type(
  string
)
"lib/utils.ml" 391 10599 10609 "lib/utils.ml" 391 10599 10638
type(
  string -> 'a
)
ident(
  ext_ref Common.raise_concurrent_modification
)
"lib/utils.ml" 391 10599 10639 "lib/utils.ml" 391 10599 10642
type(
  string
)
ident(
  int_ref msg "lib/utils.ml" 390 10537 10551 "lib/utils.ml" 390 10537 10554
)
"lib/utils.ml" 391 10599 10609 "lib/utils.ml" 391 10599 10642
call(
  tail
)
type(
  'a
)
"lib/utils.ml" 390 10537 10547 "lib/utils.ml" 391 10599 10642
type(
  'a
)
"lib/utils.ml" 389 10517 10525 "lib/utils.ml" 391 10599 10643
type(
  string -> 'a
)
"lib/utils.ml" 386 10420 10424 "lib/utils.ml" 391 10599 10643
type(
  string -> 'a
)
"lib/utils.ml" 393 10645 10651 "lib/utils.ml" 393 10645 10661
type(
  'b Size.sizer -> 'c Size.sizer -> ('b, 'c) S.t -> int
)
ident(
  def bin_size_t "lib/utils.ml" 403 11014 11016 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 393 10645 10662 "lib/utils.ml" 393 10645 10672
type(
  'b Size.sizer
)
ident(
  def bin_size_a "lib/utils.ml" 393 10645 10673 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 393 10645 10673 "lib/utils.ml" 393 10645 10683
type(
  'c Size.sizer
)
ident(
  def bin_size_b "lib/utils.ml" 393 10645 10684 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 393 10645 10684 "lib/utils.ml" 393 10645 10685
type(
  ('b, 'c) S.t
)
ident(
  def t "lib/utils.ml" 394 10688 10692 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 394 10688 10696 "lib/utils.ml" 394 10688 10704
type(
  int ref
)
ident(
  def size_ref "lib/utils.ml" 395 10716 10720 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 394 10688 10707 "lib/utils.ml" 394 10688 10710
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 394 10688 10711 "lib/utils.ml" 394 10688 10712
type(
  int
)
"lib/utils.ml" 394 10688 10707 "lib/utils.ml" 394 10688 10712
type(
  int ref
)
"lib/utils.ml" 395 10716 10724 "lib/utils.ml" 395 10716 10731
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 396 10743 10747 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 395 10716 10734 "lib/utils.ml" 395 10716 10737
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 395 10716 10738 "lib/utils.ml" 395 10716 10739
type(
  int
)
"lib/utils.ml" 395 10716 10734 "lib/utils.ml" 395 10716 10739
type(
  int ref
)
"lib/utils.ml" 396 10743 10747 "lib/utils.ml" 396 10743 10751
type(
  ('b, 'c) S.t -> f:(('b, 'c) S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 373 9926 9928 "lib/utils.ml" 373 9926 9986
)
"lib/utils.ml" 396 10743 10752 "lib/utils.ml" 396 10743 10753
type(
  ('b, 'c) S.t
)
ident(
  int_ref t "lib/utils.ml" 393 10645 10684 "lib/utils.ml" 393 10645 10685
)
"lib/utils.ml" 396 10743 10762 "lib/utils.ml" 396 10743 10764
type(
  ('b, 'c) S.el
)
ident(
  def el "lib/utils.ml" 397 10768 10774 "lib/utils.ml" 398 10836 10854
)
"lib/utils.ml" 397 10768 10774 "lib/utils.ml" 397 10768 10782
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 394 10688 10696 "lib/utils.ml" 394 10688 10704
)
"lib/utils.ml" 397 10768 10783 "lib/utils.ml" 397 10768 10785
type(
  int ref -> int -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 397 10768 10786 "lib/utils.ml" 397 10768 10787
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 397 10768 10787 "lib/utils.ml" 397 10768 10795
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 394 10688 10696 "lib/utils.ml" 394 10688 10704
)
"lib/utils.ml" 397 10768 10786 "lib/utils.ml" 397 10768 10795
type(
  int
)
"lib/utils.ml" 397 10768 10796 "lib/utils.ml" 397 10768 10797
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 397 10768 10798 "lib/utils.ml" 397 10768 10809
type(
  ('b, 'c, ('b, 'c) S.el) Size.sizer2
)
ident(
  int_ref S.bin_size_el "lib/utils.ml" 377 10128 10130 "lib/utils.ml" 377 10128 10181
)
"lib/utils.ml" 397 10768 10810 "lib/utils.ml" 397 10768 10820
type(
  'b Size.sizer
)
ident(
  int_ref bin_size_a "lib/utils.ml" 393 10645 10662 "lib/utils.ml" 393 10645 10672
)
"lib/utils.ml" 397 10768 10821 "lib/utils.ml" 397 10768 10831
type(
  'c Size.sizer
)
ident(
  int_ref bin_size_b "lib/utils.ml" 393 10645 10673 "lib/utils.ml" 393 10645 10683
)
"lib/utils.ml" 397 10768 10832 "lib/utils.ml" 397 10768 10834
type(
  ('b, 'c) S.el
)
ident(
  int_ref el "lib/utils.ml" 396 10743 10762 "lib/utils.ml" 396 10743 10764
)
"lib/utils.ml" 397 10768 10798 "lib/utils.ml" 397 10768 10834
call(
  stack
)
type(
  int
)
"lib/utils.ml" 397 10768 10786 "lib/utils.ml" 397 10768 10834
type(
  int
)
"lib/utils.ml" 397 10768 10774 "lib/utils.ml" 397 10768 10834
type(
  unit
)
"lib/utils.ml" 398 10836 10842 "lib/utils.ml" 398 10836 10846
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 398 10836 10847 "lib/utils.ml" 398 10836 10854
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 395 10716 10724 "lib/utils.ml" 395 10716 10731
)
"lib/utils.ml" 398 10836 10842 "lib/utils.ml" 398 10836 10854
type(
  unit
)
"lib/utils.ml" 397 10768 10774 "lib/utils.ml" 398 10836 10854
type(
  unit
)
"lib/utils.ml" 396 10743 10757 "lib/utils.ml" 398 10836 10855
type(
  ('b, 'c) S.el -> unit
)
"lib/utils.ml" 396 10743 10747 "lib/utils.ml" 398 10836 10855
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 399 10857 10865 "lib/utils.ml" 399 10857 10868
type(
  int
)
ident(
  def len "lib/utils.ml" 400 10883 10887 "lib/utils.ml" 401 10961 11012
)
"lib/utils.ml" 399 10857 10871 "lib/utils.ml" 399 10857 10877
type(
  ('b, 'c) S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 372 9893 9895 "lib/utils.ml" 372 9893 9925
)
"lib/utils.ml" 399 10857 10878 "lib/utils.ml" 399 10857 10879
type(
  ('b, 'c) S.t
)
ident(
  int_ref t "lib/utils.ml" 393 10645 10684 "lib/utils.ml" 393 10645 10685
)
"lib/utils.ml" 399 10857 10871 "lib/utils.ml" 399 10857 10879
call(
  stack
)
type(
  int
)
"lib/utils.ml" 400 10883 10890 "lib/utils.ml" 400 10883 10891
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 400 10883 10891 "lib/utils.ml" 400 10883 10898
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 395 10716 10724 "lib/utils.ml" 395 10716 10731
)
"lib/utils.ml" 400 10883 10890 "lib/utils.ml" 400 10883 10898
type(
  int
)
"lib/utils.ml" 400 10883 10899 "lib/utils.ml" 400 10883 10900
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 400 10883 10901 "lib/utils.ml" 400 10883 10904
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 399 10857 10865 "lib/utils.ml" 399 10857 10868
)
"lib/utils.ml" 400 10883 10890 "lib/utils.ml" 400 10883 10904
type(
  bool
)
"lib/utils.ml" 400 10883 10910 "lib/utils.ml" 400 10883 10923
type(
  Nat0.t Size.sizer
)
ident(
  ext_ref Size.bin_size_nat0
)
"lib/utils.ml" 400 10883 10925 "lib/utils.ml" 400 10883 10943
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 400 10883 10944 "lib/utils.ml" 400 10883 10947
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 399 10857 10865 "lib/utils.ml" 399 10857 10868
)
"lib/utils.ml" 400 10883 10924 "lib/utils.ml" 400 10883 10948
type(
  Nat0.t
)
"lib/utils.ml" 400 10883 10910 "lib/utils.ml" 400 10883 10948
call(
  stack
)
type(
  int
)
"lib/utils.ml" 400 10883 10949 "lib/utils.ml" 400 10883 10950
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 400 10883 10951 "lib/utils.ml" 400 10883 10952
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 400 10883 10952 "lib/utils.ml" 400 10883 10960
type(
  int ref
)
ident(
  int_ref size_ref "lib/utils.ml" 394 10688 10696 "lib/utils.ml" 394 10688 10704
)
"lib/utils.ml" 400 10883 10951 "lib/utils.ml" 400 10883 10960
type(
  int
)
"lib/utils.ml" 400 10883 10910 "lib/utils.ml" 400 10883 10960
type(
  int
)
"lib/utils.ml" 401 10961 10970 "lib/utils.ml" 401 10961 10999
type(
  string -> int
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 385 10382 10388 "lib/utils.ml" 385 10382 10417
)
"lib/utils.ml" 401 10961 11000 "lib/utils.ml" 401 10961 11012
type(
  string
)
"lib/utils.ml" 401 10961 10970 "lib/utils.ml" 401 10961 11012
call(
  tail
)
type(
  int
)
"lib/utils.ml" 400 10883 10887 "lib/utils.ml" 401 10961 11012
type(
  int
)
"lib/utils.ml" 399 10857 10861 "lib/utils.ml" 401 10961 11012
type(
  int
)
"lib/utils.ml" 396 10743 10747 "lib/utils.ml" 401 10961 11012
type(
  int
)
"lib/utils.ml" 395 10716 10720 "lib/utils.ml" 401 10961 11012
type(
  int
)
"lib/utils.ml" 394 10688 10692 "lib/utils.ml" 401 10961 11012
type(
  int
)
"lib/utils.ml" 403 11014 11020 "lib/utils.ml" 403 11014 11031
type(
  'd Write.writer ->
  'e Write.writer ->
  Common.buf -> pos:Common.pos -> ('d, 'e) S.t -> Common.pos
)
ident(
  def bin_write_t "lib/utils.ml" 416 11449 11451 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 403 11014 11032 "lib/utils.ml" 403 11014 11043
type(
  'd Write.writer
)
ident(
  def bin_write_a "lib/utils.ml" 403 11014 11044 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 403 11014 11044 "lib/utils.ml" 403 11014 11055
type(
  'e Write.writer
)
ident(
  def bin_write_b "lib/utils.ml" 403 11014 11056 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 403 11014 11056 "lib/utils.ml" 403 11014 11059
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 403 11014 11060 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 403 11014 11061 "lib/utils.ml" 403 11014 11064
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 403 11014 11065 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 403 11014 11065 "lib/utils.ml" 403 11014 11066
type(
  ('d, 'e) S.t
)
ident(
  def t "lib/utils.ml" 404 11069 11073 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 404 11069 11077 "lib/utils.ml" 404 11069 11080
type(
  int
)
ident(
  def len "lib/utils.ml" 405 11095 11099 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 404 11069 11083 "lib/utils.ml" 404 11069 11089
type(
  ('d, 'e) S.t -> int
)
ident(
  int_ref S.length "lib/utils.ml" 372 9893 9895 "lib/utils.ml" 372 9893 9925
)
"lib/utils.ml" 404 11069 11090 "lib/utils.ml" 404 11069 11091
type(
  ('d, 'e) S.t
)
ident(
  int_ref t "lib/utils.ml" 403 11014 11065 "lib/utils.ml" 403 11014 11066
)
"lib/utils.ml" 404 11069 11083 "lib/utils.ml" 404 11069 11091
call(
  stack
)
type(
  int
)
"lib/utils.ml" 405 11095 11103 "lib/utils.ml" 405 11095 11107
type(
  Nat0.t
)
ident(
  def plen "lib/utils.ml" 406 11136 11140 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 405 11095 11110 "lib/utils.ml" 405 11095 11128
type(
  int -> Nat0.t
)
ident(
  ext_ref Nat0.unsafe_of_int
)
"lib/utils.ml" 405 11095 11129 "lib/utils.ml" 405 11095 11132
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 404 11069 11077 "lib/utils.ml" 404 11069 11080
)
"lib/utils.ml" 405 11095 11110 "lib/utils.ml" 405 11095 11132
type(
  Nat0.t
)
"lib/utils.ml" 406 11136 11144 "lib/utils.ml" 406 11136 11151
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 407 11198 11202 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 406 11136 11154 "lib/utils.ml" 406 11136 11157
type(
  Common.pos -> Common.pos ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 406 11136 11159 "lib/utils.ml" 406 11136 11179
type(
  Nat0.t Write.writer
)
ident(
  ext_ref Write.bin_write_nat0
)
"lib/utils.ml" 406 11136 11180 "lib/utils.ml" 406 11136 11183
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 403 11014 11056 "lib/utils.ml" 403 11014 11059
)
"lib/utils.ml" 406 11136 11185 "lib/utils.ml" 406 11136 11188
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 403 11014 11061 "lib/utils.ml" 403 11014 11064
)
"lib/utils.ml" 406 11136 11189 "lib/utils.ml" 406 11136 11193
type(
  Nat0.t
)
ident(
  int_ref plen "lib/utils.ml" 405 11095 11103 "lib/utils.ml" 405 11095 11107
)
"lib/utils.ml" 406 11136 11158 "lib/utils.ml" 406 11136 11194
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 406 11136 11154 "lib/utils.ml" 406 11136 11194
type(
  Common.pos ref
)
"lib/utils.ml" 407 11198 11206 "lib/utils.ml" 407 11198 11213
type(
  int ref
)
ident(
  def cnt_ref "lib/utils.ml" 408 11225 11229 "lib/utils.ml" 414 11398 11447
)
"lib/utils.ml" 407 11198 11216 "lib/utils.ml" 407 11198 11219
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/utils.ml" 407 11198 11220 "lib/utils.ml" 407 11198 11221
type(
  int
)
"lib/utils.ml" 407 11198 11216 "lib/utils.ml" 407 11198 11221
type(
  int ref
)
"lib/utils.ml" 408 11225 11229 "lib/utils.ml" 408 11225 11233
type(
  ('d, 'e) S.t -> f:(('d, 'e) S.el -> unit) -> unit
)
ident(
  int_ref S.iter "lib/utils.ml" 373 9926 9928 "lib/utils.ml" 373 9926 9986
)
"lib/utils.ml" 408 11225 11234 "lib/utils.ml" 408 11225 11235
type(
  ('d, 'e) S.t
)
ident(
  int_ref t "lib/utils.ml" 403 11014 11065 "lib/utils.ml" 403 11014 11066
)
"lib/utils.ml" 408 11225 11244 "lib/utils.ml" 408 11225 11246
type(
  ('d, 'e) S.el
)
ident(
  def el "lib/utils.ml" 409 11250 11256 "lib/utils.ml" 410 11326 11344
)
"lib/utils.ml" 409 11250 11256 "lib/utils.ml" 409 11250 11263
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 406 11136 11144 "lib/utils.ml" 406 11136 11151
)
"lib/utils.ml" 409 11250 11264 "lib/utils.ml" 409 11250 11266
type(
  Common.pos ref -> Common.pos -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/utils.ml" 409 11250 11267 "lib/utils.ml" 409 11250 11279
type(
  ('d, 'e, ('d, 'e) S.el) Write.writer2
)
ident(
  int_ref S.bin_write_el "lib/utils.ml" 378 10182 10184 "lib/utils.ml" 378 10182 10238
)
"lib/utils.ml" 409 11250 11280 "lib/utils.ml" 409 11250 11291
type(
  'd Write.writer
)
ident(
  int_ref bin_write_a "lib/utils.ml" 403 11014 11032 "lib/utils.ml" 403 11014 11043
)
"lib/utils.ml" 409 11250 11292 "lib/utils.ml" 409 11250 11303
type(
  'e Write.writer
)
ident(
  int_ref bin_write_b "lib/utils.ml" 403 11014 11044 "lib/utils.ml" 403 11014 11055
)
"lib/utils.ml" 409 11250 11304 "lib/utils.ml" 409 11250 11307
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 403 11014 11056 "lib/utils.ml" 403 11014 11059
)
"lib/utils.ml" 409 11250 11313 "lib/utils.ml" 409 11250 11314
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 409 11250 11314 "lib/utils.ml" 409 11250 11321
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 406 11136 11144 "lib/utils.ml" 406 11136 11151
)
"lib/utils.ml" 409 11250 11313 "lib/utils.ml" 409 11250 11321
type(
  Common.pos
)
"lib/utils.ml" 409 11250 11322 "lib/utils.ml" 409 11250 11324
type(
  ('d, 'e) S.el
)
ident(
  int_ref el "lib/utils.ml" 408 11225 11244 "lib/utils.ml" 408 11225 11246
)
"lib/utils.ml" 409 11250 11267 "lib/utils.ml" 409 11250 11324
call(
  stack
)
type(
  Common.pos
)
"lib/utils.ml" 409 11250 11256 "lib/utils.ml" 409 11250 11324
type(
  unit
)
"lib/utils.ml" 410 11326 11332 "lib/utils.ml" 410 11326 11336
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/utils.ml" 410 11326 11337 "lib/utils.ml" 410 11326 11344
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 407 11198 11206 "lib/utils.ml" 407 11198 11213
)
"lib/utils.ml" 410 11326 11332 "lib/utils.ml" 410 11326 11344
type(
  unit
)
"lib/utils.ml" 409 11250 11256 "lib/utils.ml" 410 11326 11344
type(
  unit
)
"lib/utils.ml" 408 11225 11239 "lib/utils.ml" 410 11326 11345
type(
  ('d, 'e) S.el -> unit
)
"lib/utils.ml" 408 11225 11229 "lib/utils.ml" 410 11326 11345
call(
  stack
)
type(
  unit
)
"lib/utils.ml" 411 11347 11354 "lib/utils.ml" 411 11347 11355
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 411 11347 11355 "lib/utils.ml" 411 11347 11362
type(
  int ref
)
ident(
  int_ref cnt_ref "lib/utils.ml" 407 11198 11206 "lib/utils.ml" 407 11198 11213
)
"lib/utils.ml" 411 11347 11354 "lib/utils.ml" 411 11347 11362
type(
  int
)
"lib/utils.ml" 411 11347 11363 "lib/utils.ml" 411 11347 11364
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 411 11347 11365 "lib/utils.ml" 411 11347 11368
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 404 11069 11077 "lib/utils.ml" 404 11069 11080
)
"lib/utils.ml" 411 11347 11354 "lib/utils.ml" 411 11347 11368
type(
  bool
)
"lib/utils.ml" 412 11374 11380 "lib/utils.ml" 412 11374 11381
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 412 11374 11381 "lib/utils.ml" 412 11374 11388
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 406 11136 11144 "lib/utils.ml" 406 11136 11151
)
"lib/utils.ml" 412 11374 11380 "lib/utils.ml" 412 11374 11388
type(
  Common.pos
)
"lib/utils.ml" 414 11398 11404 "lib/utils.ml" 414 11398 11433
type(
  string -> Common.pos
)
ident(
  int_ref raise_concurrent_modification "lib/utils.ml" 385 10382 10388 "lib/utils.ml" 385 10382 10417
)
"lib/utils.ml" 414 11398 11434 "lib/utils.ml" 414 11398 11447
type(
  string
)
"lib/utils.ml" 414 11398 11404 "lib/utils.ml" 414 11398 11447
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 411 11347 11351 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 408 11225 11229 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 407 11198 11202 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 406 11136 11140 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 405 11095 11099 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 404 11069 11073 "lib/utils.ml" 414 11398 11447
type(
  Common.pos
)
"lib/utils.ml" 416 11449 11455 "lib/utils.ml" 416 11449 11465
type(
  'f Read.reader ->
  'g Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> ('f, 'g) S.t
)
ident(
  def bin_read_t "lib/utils.ml" 429 11802 11804 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 416 11449 11466 "lib/utils.ml" 416 11449 11476
type(
  'f Read.reader
)
ident(
  def bin_read_a "lib/utils.ml" 416 11449 11477 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 416 11449 11477 "lib/utils.ml" 416 11449 11487
type(
  'g Read.reader
)
ident(
  def bin_read_b "lib/utils.ml" 416 11449 11488 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 416 11449 11488 "lib/utils.ml" 416 11449 11491
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 416 11449 11492 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 416 11449 11493 "lib/utils.ml" 416 11449 11500
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 417 11503 11507 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 417 11503 11511 "lib/utils.ml" 417 11503 11514
type(
  int
)
ident(
  def len "lib/utils.ml" 418 11561 11565 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 417 11503 11518 "lib/utils.ml" 417 11503 11536
type(
  Nat0.t Read.reader
)
ident(
  ext_ref Read.bin_read_nat0
)
"lib/utils.ml" 417 11503 11537 "lib/utils.ml" 417 11503 11540
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 416 11449 11488 "lib/utils.ml" 416 11449 11491
)
"lib/utils.ml" 417 11503 11542 "lib/utils.ml" 417 11503 11549
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 416 11449 11493 "lib/utils.ml" 416 11449 11500
)
"lib/utils.ml" 417 11503 11518 "lib/utils.ml" 417 11503 11549
call(
  stack
)
type(
  int
)
type(
  Nat0.t
)
"lib/utils.ml" 418 11561 11573 "lib/utils.ml" 418 11561 11577
type(
  ('f, 'g) S.acc -> int -> ('f, 'g) S.t
)
ident(
  def loop "lib/utils.ml" 418 11561 11565 "lib/utils.ml" 427 11779 11800
)
"lib/utils.ml" 418 11561 11578 "lib/utils.ml" 418 11561 11581
type(
  ('f, 'g) S.acc
)
ident(
  def acc "lib/utils.ml" 418 11561 11582 "lib/utils.ml" 425 11743 11771
)
"lib/utils.ml" 418 11561 11582 "lib/utils.ml" 418 11561 11583
type(
  int
)
ident(
  def i "lib/utils.ml" 419 11586 11592 "lib/utils.ml" 425 11743 11771
)
"lib/utils.ml" 419 11586 11595 "lib/utils.ml" 419 11586 11596
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 418 11561 11582 "lib/utils.ml" 418 11561 11583
)
"lib/utils.ml" 419 11586 11597 "lib/utils.ml" 419 11586 11598
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/utils.ml" 419 11586 11599 "lib/utils.ml" 419 11586 11602
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 417 11503 11511 "lib/utils.ml" 417 11503 11514
)
"lib/utils.ml" 419 11586 11595 "lib/utils.ml" 419 11586 11602
type(
  bool
)
"lib/utils.ml" 420 11608 11616 "lib/utils.ml" 420 11608 11622
type(
  ('f, 'g) S.acc -> ('f, 'g) S.t
)
ident(
  int_ref S.finish "lib/utils.ml" 376 10086 10088 "lib/utils.ml" 376 10086 10127
)
"lib/utils.ml" 420 11608 11623 "lib/utils.ml" 420 11608 11626
type(
  ('f, 'g) S.acc
)
ident(
  int_ref acc "lib/utils.ml" 418 11561 11578 "lib/utils.ml" 418 11561 11581
)
"lib/utils.ml" 420 11608 11616 "lib/utils.ml" 420 11608 11626
call(
  tail
)
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 422 11638 11650 "lib/utils.ml" 422 11638 11657
type(
  ('f, 'g) S.acc
)
ident(
  def new_acc "lib/utils.ml" 425 11743 11751 "lib/utils.ml" 425 11743 11771
)
"lib/utils.ml" 423 11660 11670 "lib/utils.ml" 423 11660 11676
type(
  ('f, 'g) S.acc -> ('f, 'g) S.el -> int -> ('f, 'g) S.acc
)
ident(
  int_ref S.insert "lib/utils.ml" 375 10020 10022 "lib/utils.ml" 375 10020 10085
)
"lib/utils.ml" 423 11660 11677 "lib/utils.ml" 423 11660 11680
type(
  ('f, 'g) S.acc
)
ident(
  int_ref acc "lib/utils.ml" 418 11561 11578 "lib/utils.ml" 418 11561 11581
)
"lib/utils.ml" 423 11660 11682 "lib/utils.ml" 423 11660 11693
type(
  ('f, 'g, ('f, 'g) S.el) Read.reader2
)
ident(
  int_ref S.bin_read_el "lib/utils.ml" 379 10239 10241 "lib/utils.ml" 379 10239 10293
)
"lib/utils.ml" 423 11660 11694 "lib/utils.ml" 423 11660 11704
type(
  'f Read.reader
)
ident(
  int_ref bin_read_a "lib/utils.ml" 416 11449 11466 "lib/utils.ml" 416 11449 11476
)
"lib/utils.ml" 423 11660 11705 "lib/utils.ml" 423 11660 11715
type(
  'g Read.reader
)
ident(
  int_ref bin_read_b "lib/utils.ml" 416 11449 11477 "lib/utils.ml" 416 11449 11487
)
"lib/utils.ml" 423 11660 11716 "lib/utils.ml" 423 11660 11719
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 416 11449 11488 "lib/utils.ml" 416 11449 11491
)
"lib/utils.ml" 423 11660 11721 "lib/utils.ml" 423 11660 11728
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 416 11449 11493 "lib/utils.ml" 416 11449 11500
)
"lib/utils.ml" 423 11660 11681 "lib/utils.ml" 423 11660 11729
call(
  stack
)
type(
  ('f, 'g) S.el
)
"lib/utils.ml" 423 11660 11730 "lib/utils.ml" 423 11660 11731
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 418 11561 11582 "lib/utils.ml" 418 11561 11583
)
"lib/utils.ml" 423 11660 11670 "lib/utils.ml" 423 11660 11731
call(
  stack
)
type(
  ('f, 'g) S.acc
)
"lib/utils.ml" 425 11743 11751 "lib/utils.ml" 425 11743 11755
type(
  ('f, 'g) S.acc -> int -> ('f, 'g) S.t
)
ident(
  int_ref loop "lib/utils.ml" 418 11561 11573 "lib/utils.ml" 418 11561 11577
)
"lib/utils.ml" 425 11743 11756 "lib/utils.ml" 425 11743 11763
type(
  ('f, 'g) S.acc
)
ident(
  int_ref new_acc "lib/utils.ml" 422 11638 11650 "lib/utils.ml" 422 11638 11657
)
"lib/utils.ml" 425 11743 11765 "lib/utils.ml" 425 11743 11766
type(
  int
)
ident(
  int_ref i "lib/utils.ml" 418 11561 11582 "lib/utils.ml" 418 11561 11583
)
"lib/utils.ml" 425 11743 11767 "lib/utils.ml" 425 11743 11768
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/utils.ml" 425 11743 11769 "lib/utils.ml" 425 11743 11770
type(
  int
)
"lib/utils.ml" 425 11743 11764 "lib/utils.ml" 425 11743 11771
type(
  int
)
"lib/utils.ml" 425 11743 11751 "lib/utils.ml" 425 11743 11771
call(
  tail
)
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 422 11638 11646 "lib/utils.ml" 425 11743 11771
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 419 11586 11592 "lib/utils.ml" 425 11743 11771
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 427 11779 11783 "lib/utils.ml" 427 11779 11787
type(
  ('f, 'g) S.acc -> int -> ('f, 'g) S.t
)
ident(
  int_ref loop "lib/utils.ml" 418 11561 11573 "lib/utils.ml" 418 11561 11577
)
"lib/utils.ml" 427 11779 11789 "lib/utils.ml" 427 11779 11793
type(
  int -> ('f, 'g) S.acc
)
ident(
  int_ref S.init "lib/utils.ml" 374 9987 9989 "lib/utils.ml" 374 9987 10019
)
"lib/utils.ml" 427 11779 11794 "lib/utils.ml" 427 11779 11797
type(
  int
)
ident(
  int_ref len "lib/utils.ml" 417 11503 11511 "lib/utils.ml" 417 11503 11514
)
"lib/utils.ml" 427 11779 11788 "lib/utils.ml" 427 11779 11798
call(
  stack
)
type(
  ('f, 'g) S.acc
)
"lib/utils.ml" 427 11779 11799 "lib/utils.ml" 427 11779 11800
type(
  int
)
"lib/utils.ml" 427 11779 11783 "lib/utils.ml" 427 11779 11800
call(
  tail
)
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 418 11561 11565 "lib/utils.ml" 427 11779 11800
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 417 11503 11507 "lib/utils.ml" 427 11779 11800
type(
  ('f, 'g) S.t
)
"lib/utils.ml" 429 11802 11808 "lib/utils.ml" 429 11802 11822
type(
  'h -> 'i -> 'j -> pos_ref:Common.pos ref -> 'k -> 'l
)
ident(
  def __bin_read_t__ "lib/utils.ml" 432 11909 11911 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 429 11802 11823 "lib/utils.ml" 429 11802 11834
type(
  'h
)
ident(
  def _bin_read_a "lib/utils.ml" 429 11802 11835 "lib/utils.ml" 430 11866 11907
)
"lib/utils.ml" 429 11802 11835 "lib/utils.ml" 429 11802 11846
type(
  'i
)
ident(
  def _bin_read_b "lib/utils.ml" 429 11802 11847 "lib/utils.ml" 430 11866 11907
)
"lib/utils.ml" 429 11802 11847 "lib/utils.ml" 429 11802 11851
type(
  'j
)
ident(
  def _buf "lib/utils.ml" 429 11802 11852 "lib/utils.ml" 430 11866 11907
)
"lib/utils.ml" 429 11802 11853 "lib/utils.ml" 429 11802 11860
type(
  Common.pos ref
)
ident(
  def pos_ref "lib/utils.ml" 429 11802 11861 "lib/utils.ml" 430 11866 11907
)
"lib/utils.ml" 429 11802 11861 "lib/utils.ml" 429 11802 11863
type(
  'k
)
ident(
  def _n "lib/utils.ml" 430 11866 11870 "lib/utils.ml" 430 11866 11907
)
"lib/utils.ml" 430 11866 11870 "lib/utils.ml" 430 11866 11894
type(
  string -> Common.pos -> 'l
)
ident(
  ext_ref Common.raise_variant_wrong_type
)
"lib/utils.ml" 430 11866 11895 "lib/utils.ml" 430 11866 11898
type(
  string
)
"lib/utils.ml" 430 11866 11899 "lib/utils.ml" 430 11866 11900
type(
  Common.pos ref -> Common.pos
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/utils.ml" 430 11866 11900 "lib/utils.ml" 430 11866 11907
type(
  Common.pos ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 429 11802 11853 "lib/utils.ml" 429 11802 11860
)
"lib/utils.ml" 430 11866 11899 "lib/utils.ml" 430 11866 11907
type(
  Common.pos
)
"lib/utils.ml" 430 11866 11870 "lib/utils.ml" 430 11866 11907
call(
  tail
)
type(
  'l
)
"lib/utils.ml" 432 11909 11915 "lib/utils.ml" 432 11909 11927
type(
  'm Type_class.writer ->
  'n Type_class.writer -> ('m, 'n) S.t Type_class.writer
)
ident(
  def bin_writer_t "lib/utils.ml" 440 12151 12153 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 432 11909 11928 "lib/utils.ml" 432 11909 11939
type(
  'm Type_class.writer
)
ident(
  def bin_writer1 "lib/utils.ml" 432 11909 11940 "lib/utils.ml" 438 12144 12149
)
"lib/utils.ml" 432 11909 11940 "lib/utils.ml" 432 11909 11951
type(
  'n Type_class.writer
)
ident(
  def bin_writer2 "lib/utils.ml" 433 11954 11958 "lib/utils.ml" 438 12144 12149
)
"lib/utils.ml" 434 11960 11978 "lib/utils.ml" 434 11960 11979
type(
  ('m, 'n) S.t
)
ident(
  def v "lib/utils.ml" 434 11960 11983 "lib/utils.ml" 434 11960 12029
)
"lib/utils.ml" 434 11960 11983 "lib/utils.ml" 434 11960 11993
type(
  'm Size.sizer -> 'n Size.sizer -> ('m, 'n) S.t -> int
)
ident(
  int_ref bin_size_t "lib/utils.ml" 393 10645 10651 "lib/utils.ml" 393 10645 10661
)
"lib/utils.ml" 434 11960 11994 "lib/utils.ml" 434 11960 12005
type(
  'm Type_class.writer
)
ident(
  int_ref bin_writer1 "lib/utils.ml" 432 11909 11928 "lib/utils.ml" 432 11909 11939
)
"lib/utils.ml" 434 11960 11994 "lib/utils.ml" 434 11960 12010
type(
  'm Size.sizer
)
"lib/utils.ml" 434 11960 12011 "lib/utils.ml" 434 11960 12022
type(
  'n Type_class.writer
)
ident(
  int_ref bin_writer2 "lib/utils.ml" 432 11909 11940 "lib/utils.ml" 432 11909 11951
)
"lib/utils.ml" 434 11960 12011 "lib/utils.ml" 434 11960 12027
type(
  'n Size.sizer
)
"lib/utils.ml" 434 11960 12028 "lib/utils.ml" 434 11960 12029
type(
  ('m, 'n) S.t
)
ident(
  int_ref v "lib/utils.ml" 434 11960 11978 "lib/utils.ml" 434 11960 11979
)
"lib/utils.ml" 434 11960 11983 "lib/utils.ml" 434 11960 12029
call(
  tail
)
type(
  int
)
"lib/utils.ml" 434 11960 11973 "lib/utils.ml" 434 11960 12030
type(
  ('m, 'n) S.t Size.sizer
)
"lib/utils.ml" 435 12032 12051 "lib/utils.ml" 435 12032 12054
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 435 12032 12055 "lib/utils.ml" 437 12085 12141
)
"lib/utils.ml" 435 12032 12056 "lib/utils.ml" 435 12032 12059
type(
  Common.pos
)
ident(
  def pos "lib/utils.ml" 435 12032 12060 "lib/utils.ml" 437 12085 12141
)
"lib/utils.ml" 435 12032 12060 "lib/utils.ml" 435 12032 12061
type(
  ('m, 'n) S.t
)
ident(
  def v "lib/utils.ml" 436 12065 12073 "lib/utils.ml" 437 12085 12141
)
"lib/utils.ml" 436 12065 12073 "lib/utils.ml" 436 12065 12084
type(
  'm Write.writer ->
  'n Write.writer ->
  Common.buf -> pos:Common.pos -> ('m, 'n) S.t -> Common.pos
)
ident(
  int_ref bin_write_t "lib/utils.ml" 403 11014 11020 "lib/utils.ml" 403 11014 11031
)
"lib/utils.ml" 437 12085 12095 "lib/utils.ml" 437 12085 12106
type(
  'm Type_class.writer
)
ident(
  int_ref bin_writer1 "lib/utils.ml" 432 11909 11928 "lib/utils.ml" 432 11909 11939
)
"lib/utils.ml" 437 12085 12095 "lib/utils.ml" 437 12085 12112
type(
  'm Write.writer
)
"lib/utils.ml" 437 12085 12113 "lib/utils.ml" 437 12085 12124
type(
  'n Type_class.writer
)
ident(
  int_ref bin_writer2 "lib/utils.ml" 432 11909 11940 "lib/utils.ml" 432 11909 11951
)
"lib/utils.ml" 437 12085 12113 "lib/utils.ml" 437 12085 12130
type(
  'n Write.writer
)
"lib/utils.ml" 437 12085 12131 "lib/utils.ml" 437 12085 12134
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 435 12032 12051 "lib/utils.ml" 435 12032 12054
)
"lib/utils.ml" 437 12085 12136 "lib/utils.ml" 437 12085 12139
type(
  Common.pos
)
ident(
  int_ref pos "lib/utils.ml" 435 12032 12056 "lib/utils.ml" 435 12032 12059
)
"lib/utils.ml" 437 12085 12140 "lib/utils.ml" 437 12085 12141
type(
  ('m, 'n) S.t
)
ident(
  int_ref v "lib/utils.ml" 435 12032 12060 "lib/utils.ml" 435 12032 12061
)
"lib/utils.ml" 436 12065 12073 "lib/utils.ml" 437 12085 12141
call(
  tail
)
type(
  Common.pos
)
"lib/utils.ml" 435 12032 12046 "lib/utils.ml" 437 12085 12142
type(
  ('m, 'n) S.t Write.writer
)
"lib/utils.ml" 433 11954 11958 "lib/utils.ml" 438 12144 12149
type(
  ('m, 'n) S.t Type_class.writer
)
"lib/utils.ml" 440 12151 12157 "lib/utils.ml" 440 12151 12169
type(
  'o Type_class.reader ->
  'p Type_class.reader -> ('o, 'p) S.t Type_class.reader
)
ident(
  def bin_reader_t "lib/utils.ml" 449 12436 12438 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 440 12151 12170 "lib/utils.ml" 440 12151 12181
type(
  'o Type_class.reader
)
ident(
  def bin_reader1 "lib/utils.ml" 440 12151 12182 "lib/utils.ml" 447 12429 12434
)
"lib/utils.ml" 440 12151 12182 "lib/utils.ml" 440 12151 12193
type(
  'p Type_class.reader
)
ident(
  def bin_reader2 "lib/utils.ml" 441 12196 12200 "lib/utils.ml" 447 12429 12434
)
"lib/utils.ml" 442 12202 12220 "lib/utils.ml" 442 12202 12223
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 442 12202 12224 "lib/utils.ml" 444 12255 12311
)
"lib/utils.ml" 442 12202 12225 "lib/utils.ml" 442 12202 12232
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 443 12236 12244 "lib/utils.ml" 444 12255 12311
)
"lib/utils.ml" 443 12236 12244 "lib/utils.ml" 443 12236 12254
type(
  'o Read.reader ->
  'p Read.reader -> Common.buf -> pos_ref:Common.pos_ref -> ('o, 'p) S.t
)
ident(
  int_ref bin_read_t "lib/utils.ml" 416 11449 11455 "lib/utils.ml" 416 11449 11465
)
"lib/utils.ml" 444 12255 12265 "lib/utils.ml" 444 12255 12276
type(
  'o Type_class.reader
)
ident(
  int_ref bin_reader1 "lib/utils.ml" 440 12151 12170 "lib/utils.ml" 440 12151 12181
)
"lib/utils.ml" 444 12255 12265 "lib/utils.ml" 444 12255 12281
type(
  'o Read.reader
)
"lib/utils.ml" 444 12255 12282 "lib/utils.ml" 444 12255 12293
type(
  'p Type_class.reader
)
ident(
  int_ref bin_reader2 "lib/utils.ml" 440 12151 12182 "lib/utils.ml" 440 12151 12193
)
"lib/utils.ml" 444 12255 12282 "lib/utils.ml" 444 12255 12298
type(
  'p Read.reader
)
"lib/utils.ml" 444 12255 12299 "lib/utils.ml" 444 12255 12302
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 442 12202 12220 "lib/utils.ml" 442 12202 12223
)
"lib/utils.ml" 444 12255 12304 "lib/utils.ml" 444 12255 12311
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 442 12202 12225 "lib/utils.ml" 442 12202 12232
)
"lib/utils.ml" 443 12236 12244 "lib/utils.ml" 444 12255 12311
call(
  tail
)
type(
  ('o, 'p) S.t
)
"lib/utils.ml" 442 12202 12215 "lib/utils.ml" 444 12255 12312
type(
  ('o, 'p) S.t Read.reader
)
"lib/utils.ml" 445 12314 12337 "lib/utils.ml" 445 12314 12340
type(
  Common.buf
)
ident(
  def buf "lib/utils.ml" 445 12314 12341 "lib/utils.ml" 446 12355 12426
)
"lib/utils.ml" 445 12314 12342 "lib/utils.ml" 445 12314 12349
type(
  Common.pos_ref
)
ident(
  def pos_ref "lib/utils.ml" 445 12314 12350 "lib/utils.ml" 446 12355 12426
)
"lib/utils.ml" 445 12314 12350 "lib/utils.ml" 445 12314 12351
type(
  int
)
ident(
  def n "lib/utils.ml" 446 12355 12363 "lib/utils.ml" 446 12355 12426
)
"lib/utils.ml" 446 12355 12363 "lib/utils.ml" 446 12355 12377
type(
  'o Read.reader ->
  'p Read.reader ->
  Common.buf -> pos_ref:Common.pos_ref -> int -> ('o, 'p) S.t
)
ident(
  int_ref __bin_read_t__ "lib/utils.ml" 429 11802 11808 "lib/utils.ml" 429 11802 11822
)
"lib/utils.ml" 446 12355 12378 "lib/utils.ml" 446 12355 12389
type(
  'o Type_class.reader
)
ident(
  int_ref bin_reader1 "lib/utils.ml" 440 12151 12170 "lib/utils.ml" 440 12151 12181
)
"lib/utils.ml" 446 12355 12378 "lib/utils.ml" 446 12355 12394
type(
  'o Read.reader
)
"lib/utils.ml" 446 12355 12395 "lib/utils.ml" 446 12355 12406
type(
  'p Type_class.reader
)
ident(
  int_ref bin_reader2 "lib/utils.ml" 440 12151 12182 "lib/utils.ml" 440 12151 12193
)
"lib/utils.ml" 446 12355 12395 "lib/utils.ml" 446 12355 12411
type(
  'p Read.reader
)
"lib/utils.ml" 446 12355 12412 "lib/utils.ml" 446 12355 12415
type(
  Common.buf
)
ident(
  int_ref buf "lib/utils.ml" 445 12314 12337 "lib/utils.ml" 445 12314 12340
)
"lib/utils.ml" 446 12355 12417 "lib/utils.ml" 446 12355 12424
type(
  Common.pos_ref
)
ident(
  int_ref pos_ref "lib/utils.ml" 445 12314 12342 "lib/utils.ml" 445 12314 12349
)
"lib/utils.ml" 446 12355 12425 "lib/utils.ml" 446 12355 12426
type(
  int
)
ident(
  int_ref n "lib/utils.ml" 445 12314 12350 "lib/utils.ml" 445 12314 12351
)
"lib/utils.ml" 446 12355 12363 "lib/utils.ml" 446 12355 12426
call(
  tail
)
type(
  ('o, 'p) S.t
)
"lib/utils.ml" 445 12314 12332 "lib/utils.ml" 446 12355 12427
type(
  (int -> ('o, 'p) S.t) Read.reader
)
"lib/utils.ml" 441 12196 12200 "lib/utils.ml" 447 12429 12434
type(
  ('o, 'p) S.t Type_class.reader
)
"lib/utils.ml" 449 12436 12442 "lib/utils.ml" 449 12436 12447
type(
  'q Type_class.t -> 'r Type_class.t -> ('q, 'r) S.t Type_class.t
)
ident(
  def bin_t "lib/utils.ml" 453 12614 12619 "lib/utils.ml" 454 12620 12623
)
"lib/utils.ml" 449 12436 12448 "lib/utils.ml" 449 12436 12459
type(
  'q Type_class.t
)
ident(
  def type_class1 "lib/utils.ml" 449 12436 12460 "lib/utils.ml" 453 12614 12619
)
"lib/utils.ml" 449 12436 12460 "lib/utils.ml" 449 12436 12471
type(
  'r Type_class.t
)
ident(
  def type_class2 "lib/utils.ml" 450 12474 12478 "lib/utils.ml" 453 12614 12619
)
"lib/utils.ml" 451 12480 12495 "lib/utils.ml" 451 12480 12507
type(
  'q Type_class.writer ->
  'r Type_class.writer -> ('q, 'r) S.t Type_class.writer
)
ident(
  int_ref bin_writer_t "lib/utils.ml" 432 11909 11915 "lib/utils.ml" 432 11909 11927
)
"lib/utils.ml" 451 12480 12508 "lib/utils.ml" 451 12480 12519
type(
  'q Type_class.t
)
ident(
  int_ref type_class1 "lib/utils.ml" 449 12436 12448 "lib/utils.ml" 449 12436 12459
)
"lib/utils.ml" 451 12480 12508 "lib/utils.ml" 451 12480 12526
type(
  'q Type_class.writer
)
"lib/utils.ml" 451 12480 12527 "lib/utils.ml" 451 12480 12538
type(
  'r Type_class.t
)
ident(
  int_ref type_class2 "lib/utils.ml" 449 12436 12460 "lib/utils.ml" 449 12436 12471
)
"lib/utils.ml" 451 12480 12527 "lib/utils.ml" 451 12480 12545
type(
  'r Type_class.writer
)
"lib/utils.ml" 451 12480 12495 "lib/utils.ml" 451 12480 12545
call(
  stack
)
type(
  ('q, 'r) S.t Type_class.writer
)
"lib/utils.ml" 452 12547 12562 "lib/utils.ml" 452 12547 12574
type(
  'q Type_class.reader ->
  'r Type_class.reader -> ('q, 'r) S.t Type_class.reader
)
ident(
  int_ref bin_reader_t "lib/utils.ml" 440 12151 12157 "lib/utils.ml" 440 12151 12169
)
"lib/utils.ml" 452 12547 12575 "lib/utils.ml" 452 12547 12586
type(
  'q Type_class.t
)
ident(
  int_ref type_class1 "lib/utils.ml" 449 12436 12448 "lib/utils.ml" 449 12436 12459
)
"lib/utils.ml" 452 12547 12575 "lib/utils.ml" 452 12547 12593
type(
  'q Type_class.reader
)
"lib/utils.ml" 452 12547 12594 "lib/utils.ml" 452 12547 12605
type(
  'r Type_class.t
)
ident(
  int_ref type_class2 "lib/utils.ml" 449 12436 12460 "lib/utils.ml" 449 12436 12471
)
"lib/utils.ml" 452 12547 12594 "lib/utils.ml" 452 12547 12612
type(
  'r Type_class.reader
)
"lib/utils.ml" 452 12547 12562 "lib/utils.ml" 452 12547 12612
call(
  stack
)
type(
  ('q, 'r) S.t Type_class.reader
)
"lib/utils.ml" 450 12474 12478 "lib/utils.ml" 453 12614 12619
type(
  ('q, 'r) S.t Type_class.t
)