libtyperep-camlp4-dev 113.00.00-1 / usr / lib / ocaml / typerep_lib / variant_and_record_intf.annot

"lib/variant_and_record_intf.ml" 156 5650 5658 "lib/variant_and_record_intf.ml" 156 5650 5663
type(
  ('a, 'b) t -> string
)
ident(
  def label "lib/variant_and_record_intf.ml" 157 5676 5680 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 156 5650 5664 "lib/variant_and_record_intf.ml" 156 5650 5665
type(
  ('a, 'b) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 156 5650 5668 "lib/variant_and_record_intf.ml" 156 5650 5675
)
"lib/variant_and_record_intf.ml" 156 5650 5668 "lib/variant_and_record_intf.ml" 156 5650 5669
type(
  ('a, 'b) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 156 5650 5664 "lib/variant_and_record_intf.ml" 156 5650 5665
)
"lib/variant_and_record_intf.ml" 156 5650 5668 "lib/variant_and_record_intf.ml" 156 5650 5675
type(
  string
)
"lib/variant_and_record_intf.ml" 157 5676 5684 "lib/variant_and_record_intf.ml" 157 5676 5689
type(
  ('c, 'd) t -> int
)
ident(
  def arity "lib/variant_and_record_intf.ml" 158 5702 5706 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 157 5676 5690 "lib/variant_and_record_intf.ml" 157 5676 5691
type(
  ('c, 'd) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 157 5676 5694 "lib/variant_and_record_intf.ml" 157 5676 5701
)
"lib/variant_and_record_intf.ml" 157 5676 5694 "lib/variant_and_record_intf.ml" 157 5676 5695
type(
  ('c, 'd) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 157 5676 5690 "lib/variant_and_record_intf.ml" 157 5676 5691
)
"lib/variant_and_record_intf.ml" 157 5676 5694 "lib/variant_and_record_intf.ml" 157 5676 5701
type(
  int
)
"lib/variant_and_record_intf.ml" 158 5702 5710 "lib/variant_and_record_intf.ml" 158 5702 5715
type(
  ('e, 'f) t -> int
)
ident(
  def index "lib/variant_and_record_intf.ml" 159 5728 5732 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 158 5702 5716 "lib/variant_and_record_intf.ml" 158 5702 5717
type(
  ('e, 'f) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 158 5702 5720 "lib/variant_and_record_intf.ml" 158 5702 5727
)
"lib/variant_and_record_intf.ml" 158 5702 5720 "lib/variant_and_record_intf.ml" 158 5702 5721
type(
  ('e, 'f) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 158 5702 5716 "lib/variant_and_record_intf.ml" 158 5702 5717
)
"lib/variant_and_record_intf.ml" 158 5702 5720 "lib/variant_and_record_intf.ml" 158 5702 5727
type(
  int
)
"lib/variant_and_record_intf.ml" 159 5728 5736 "lib/variant_and_record_intf.ml" 159 5728 5746
type(
  ('g, 'h) t -> int
)
ident(
  def ocaml_repr "lib/variant_and_record_intf.ml" 160 5764 5768 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 159 5728 5747 "lib/variant_and_record_intf.ml" 159 5728 5748
type(
  ('g, 'h) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 159 5728 5751 "lib/variant_and_record_intf.ml" 159 5728 5763
)
"lib/variant_and_record_intf.ml" 159 5728 5751 "lib/variant_and_record_intf.ml" 159 5728 5752
type(
  ('g, 'h) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 159 5728 5747 "lib/variant_and_record_intf.ml" 159 5728 5748
)
"lib/variant_and_record_intf.ml" 159 5728 5751 "lib/variant_and_record_intf.ml" 159 5728 5763
type(
  int
)
"lib/variant_and_record_intf.ml" 160 5764 5772 "lib/variant_and_record_intf.ml" 160 5764 5778
type(
  ('i, 'j) t -> ('i, 'j) create
)
ident(
  def create "lib/variant_and_record_intf.ml" 161 5792 5796 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 160 5764 5779 "lib/variant_and_record_intf.ml" 160 5764 5780
type(
  ('i, 'j) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 160 5764 5783 "lib/variant_and_record_intf.ml" 160 5764 5791
)
"lib/variant_and_record_intf.ml" 160 5764 5783 "lib/variant_and_record_intf.ml" 160 5764 5784
type(
  ('i, 'j) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 160 5764 5779 "lib/variant_and_record_intf.ml" 160 5764 5780
)
"lib/variant_and_record_intf.ml" 160 5764 5783 "lib/variant_and_record_intf.ml" 160 5764 5791
type(
  ('i, 'j) create
)
"lib/variant_and_record_intf.ml" 161 5792 5800 "lib/variant_and_record_intf.ml" 161 5792 5804
type(
  ('k, 'l) t -> 'l Typename.t
)
ident(
  def tyid "lib/variant_and_record_intf.ml" 162 5816 5820 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 161 5792 5805 "lib/variant_and_record_intf.ml" 161 5792 5806
type(
  ('k, 'l) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 161 5792 5809 "lib/variant_and_record_intf.ml" 161 5792 5815
)
"lib/variant_and_record_intf.ml" 161 5792 5809 "lib/variant_and_record_intf.ml" 161 5792 5810
type(
  ('k, 'l) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 161 5792 5805 "lib/variant_and_record_intf.ml" 161 5792 5806
)
"lib/variant_and_record_intf.ml" 161 5792 5809 "lib/variant_and_record_intf.ml" 161 5792 5815
type(
  'l Typename.t
)
"lib/variant_and_record_intf.ml" 162 5816 5824 "lib/variant_and_record_intf.ml" 162 5816 5832
type(
  ('m, 'n) t -> 'n X.t
)
ident(
  def traverse "lib/variant_and_record_intf.ml" 164 5844 5848 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 162 5816 5833 "lib/variant_and_record_intf.ml" 162 5816 5834
type(
  ('m, 'n) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 162 5816 5837 "lib/variant_and_record_intf.ml" 162 5816 5842
)
"lib/variant_and_record_intf.ml" 162 5816 5837 "lib/variant_and_record_intf.ml" 162 5816 5838
type(
  ('m, 'n) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 162 5816 5833 "lib/variant_and_record_intf.ml" 162 5816 5834
)
"lib/variant_and_record_intf.ml" 162 5816 5837 "lib/variant_and_record_intf.ml" 162 5816 5842
type(
  'n X.t
)
"lib/variant_and_record_intf.ml" 164 5844 5852 "lib/variant_and_record_intf.ml" 164 5844 5869
type(
  'o -> 'o
)
ident(
  def internal_use_only "lib/variant_and_record_intf.ml" 164 5844 5875 "lib/variant_and_record_intf.ml" 165 5876 5881
)
"lib/variant_and_record_intf.ml" 164 5844 5870 "lib/variant_and_record_intf.ml" 164 5844 5871
type(
  'o
)
ident(
  def t "lib/variant_and_record_intf.ml" 164 5844 5874 "lib/variant_and_record_intf.ml" 164 5844 5875
)
"lib/variant_and_record_intf.ml" 164 5844 5874 "lib/variant_and_record_intf.ml" 164 5844 5875
type(
  'o
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 164 5844 5870 "lib/variant_and_record_intf.ml" 164 5844 5871
)
"lib/variant_and_record_intf.ml" 237 8206 8214 "lib/variant_and_record_intf.ml" 237 8206 8227
type(
  'p t -> 'p Typename.t
)
ident(
  def typename_of_t "lib/variant_and_record_intf.ml" 238 8243 8247 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 237 8206 8228 "lib/variant_and_record_intf.ml" 237 8206 8229
type(
  'p t
)
ident(
  def t "lib/variant_and_record_intf.ml" 237 8206 8232 "lib/variant_and_record_intf.ml" 237 8206 8242
)
"lib/variant_and_record_intf.ml" 237 8206 8232 "lib/variant_and_record_intf.ml" 237 8206 8233
type(
  'p t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 237 8206 8228 "lib/variant_and_record_intf.ml" 237 8206 8229
)
"lib/variant_and_record_intf.ml" 237 8206 8232 "lib/variant_and_record_intf.ml" 237 8206 8242
type(
  'p Typename.t
)
"lib/variant_and_record_intf.ml" 238 8243 8251 "lib/variant_and_record_intf.ml" 238 8243 8257
type(
  'q t -> int
)
ident(
  def length "lib/variant_and_record_intf.ml" 239 8282 8286 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 238 8243 8258 "lib/variant_and_record_intf.ml" 238 8243 8259
type(
  'q t
)
ident(
  def t "lib/variant_and_record_intf.ml" 238 8243 8262 "lib/variant_and_record_intf.ml" 238 8243 8281
)
"lib/variant_and_record_intf.ml" 238 8243 8262 "lib/variant_and_record_intf.ml" 238 8243 8274
type(
  'q tag array -> int
)
ident(
  ext_ref Array.length
)
"lib/variant_and_record_intf.ml" 238 8243 8275 "lib/variant_and_record_intf.ml" 238 8243 8276
type(
  'q t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 238 8243 8258 "lib/variant_and_record_intf.ml" 238 8243 8259
)
"lib/variant_and_record_intf.ml" 238 8243 8275 "lib/variant_and_record_intf.ml" 238 8243 8281
type(
  'q tag array
)
"lib/variant_and_record_intf.ml" 238 8243 8262 "lib/variant_and_record_intf.ml" 238 8243 8281
type(
  int
)
"lib/variant_and_record_intf.ml" 239 8282 8290 "lib/variant_and_record_intf.ml" 239 8282 8293
type(
  'r t -> int -> 'r tag
)
ident(
  def tag "lib/variant_and_record_intf.ml" 240 8319 8323 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 239 8282 8294 "lib/variant_and_record_intf.ml" 239 8282 8295
type(
  'r t
)
ident(
  def t "lib/variant_and_record_intf.ml" 239 8282 8296 "lib/variant_and_record_intf.ml" 239 8282 8318
)
"lib/variant_and_record_intf.ml" 239 8282 8296 "lib/variant_and_record_intf.ml" 239 8282 8301
type(
  int
)
ident(
  def index "lib/variant_and_record_intf.ml" 239 8282 8304 "lib/variant_and_record_intf.ml" 239 8282 8318
)
"lib/variant_and_record_intf.ml" 239 8282 8304 "lib/variant_and_record_intf.ml" 239 8282 8305
type(
  'r t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 239 8282 8294 "lib/variant_and_record_intf.ml" 239 8282 8295
)
"lib/variant_and_record_intf.ml" 239 8282 8304 "lib/variant_and_record_intf.ml" 239 8282 8310
type(
  'r tag array
)
"lib/variant_and_record_intf.ml" 239 8282 8312 "lib/variant_and_record_intf.ml" 239 8282 8317
type(
  int
)
ident(
  int_ref index "lib/variant_and_record_intf.ml" 239 8282 8296 "lib/variant_and_record_intf.ml" 239 8282 8301
)
"lib/variant_and_record_intf.ml" 239 8282 8304 "lib/variant_and_record_intf.ml" 239 8282 8318
type(
  'r tag
)
"lib/variant_and_record_intf.ml" 240 8319 8327 "lib/variant_and_record_intf.ml" 240 8319 8341
type(
  's t -> bool
)
ident(
  def is_polymorphic "lib/variant_and_record_intf.ml" 241 8360 8364 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 240 8319 8342 "lib/variant_and_record_intf.ml" 240 8319 8343
type(
  's t
)
ident(
  def t "lib/variant_and_record_intf.ml" 240 8319 8346 "lib/variant_and_record_intf.ml" 240 8319 8359
)
"lib/variant_and_record_intf.ml" 240 8319 8346 "lib/variant_and_record_intf.ml" 240 8319 8347
type(
  's t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 240 8319 8342 "lib/variant_and_record_intf.ml" 240 8319 8343
)
"lib/variant_and_record_intf.ml" 240 8319 8346 "lib/variant_and_record_intf.ml" 240 8319 8359
type(
  bool
)
"lib/variant_and_record_intf.ml" 241 8360 8368 "lib/variant_and_record_intf.ml" 241 8360 8373
type(
  't t -> 't -> 't value
)
ident(
  def value "lib/variant_and_record_intf.ml" 243 8387 8391 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 241 8360 8374 "lib/variant_and_record_intf.ml" 241 8360 8375
type(
  't t
)
ident(
  def t "lib/variant_and_record_intf.ml" 241 8360 8378 "lib/variant_and_record_intf.ml" 241 8360 8385
)
"lib/variant_and_record_intf.ml" 241 8360 8378 "lib/variant_and_record_intf.ml" 241 8360 8379
type(
  't t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 241 8360 8374 "lib/variant_and_record_intf.ml" 241 8360 8375
)
"lib/variant_and_record_intf.ml" 241 8360 8378 "lib/variant_and_record_intf.ml" 241 8360 8385
type(
  't -> 't value
)
"lib/variant_and_record_intf.ml" 243 8387 8395 "lib/variant_and_record_intf.ml" 243 8387 8399
type(
  'u t -> init:'v -> f:('v -> 'u tag -> 'v) -> 'v
)
ident(
  def fold "lib/variant_and_record_intf.ml" 245 8444 8448 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 243 8387 8400 "lib/variant_and_record_intf.ml" 243 8387 8401
type(
  'u t
)
ident(
  def t "lib/variant_and_record_intf.ml" 243 8387 8402 "lib/variant_and_record_intf.ml" 243 8387 8442
)
"lib/variant_and_record_intf.ml" 243 8387 8403 "lib/variant_and_record_intf.ml" 243 8387 8407
type(
  'v
)
ident(
  def init "lib/variant_and_record_intf.ml" 243 8387 8408 "lib/variant_and_record_intf.ml" 243 8387 8442
)
"lib/variant_and_record_intf.ml" 243 8387 8409 "lib/variant_and_record_intf.ml" 243 8387 8410
type(
  'v -> 'u tag -> 'v
)
ident(
  def f "lib/variant_and_record_intf.ml" 243 8387 8413 "lib/variant_and_record_intf.ml" 243 8387 8442
)
"lib/variant_and_record_intf.ml" 243 8387 8413 "lib/variant_and_record_intf.ml" 243 8387 8428
type(
  ('v -> 'u tag -> 'v) -> 'v -> 'u tag array -> 'v
)
ident(
  ext_ref Array.fold_left
)
"lib/variant_and_record_intf.ml" 243 8387 8429 "lib/variant_and_record_intf.ml" 243 8387 8430
type(
  'v -> 'u tag -> 'v
)
ident(
  int_ref f "lib/variant_and_record_intf.ml" 243 8387 8409 "lib/variant_and_record_intf.ml" 243 8387 8410
)
"lib/variant_and_record_intf.ml" 243 8387 8431 "lib/variant_and_record_intf.ml" 243 8387 8435
type(
  'v
)
ident(
  int_ref init "lib/variant_and_record_intf.ml" 243 8387 8403 "lib/variant_and_record_intf.ml" 243 8387 8407
)
"lib/variant_and_record_intf.ml" 243 8387 8436 "lib/variant_and_record_intf.ml" 243 8387 8437
type(
  'u t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 243 8387 8400 "lib/variant_and_record_intf.ml" 243 8387 8401
)
"lib/variant_and_record_intf.ml" 243 8387 8436 "lib/variant_and_record_intf.ml" 243 8387 8442
type(
  'u tag array
)
"lib/variant_and_record_intf.ml" 243 8387 8413 "lib/variant_and_record_intf.ml" 243 8387 8442
call(
  tail
)
type(
  'v
)
"lib/variant_and_record_intf.ml" 245 8444 8452 "lib/variant_and_record_intf.ml" 245 8444 8469
type(
  'w -> 'w
)
ident(
  def internal_use_only "lib/variant_and_record_intf.ml" 245 8444 8475 "lib/variant_and_record_intf.ml" 246 8476 8481
)
"lib/variant_and_record_intf.ml" 245 8444 8470 "lib/variant_and_record_intf.ml" 245 8444 8471
type(
  'w
)
ident(
  def t "lib/variant_and_record_intf.ml" 245 8444 8474 "lib/variant_and_record_intf.ml" 245 8444 8475
)
"lib/variant_and_record_intf.ml" 245 8444 8474 "lib/variant_and_record_intf.ml" 245 8444 8475
type(
  'w
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 245 8444 8470 "lib/variant_and_record_intf.ml" 245 8444 8471
)
"lib/variant_and_record_intf.ml" 314 10496 10504 "lib/variant_and_record_intf.ml" 314 10496 10509
type(
  ('x, 'y) t -> string
)
ident(
  def label "lib/variant_and_record_intf.ml" 315 10522 10526 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 314 10496 10510 "lib/variant_and_record_intf.ml" 314 10496 10511
type(
  ('x, 'y) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 314 10496 10514 "lib/variant_and_record_intf.ml" 314 10496 10521
)
"lib/variant_and_record_intf.ml" 314 10496 10514 "lib/variant_and_record_intf.ml" 314 10496 10515
type(
  ('x, 'y) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 314 10496 10510 "lib/variant_and_record_intf.ml" 314 10496 10511
)
"lib/variant_and_record_intf.ml" 314 10496 10514 "lib/variant_and_record_intf.ml" 314 10496 10521
type(
  string
)
"lib/variant_and_record_intf.ml" 315 10522 10530 "lib/variant_and_record_intf.ml" 315 10522 10535
type(
  ('z, 'a1) t -> int
)
ident(
  def index "lib/variant_and_record_intf.ml" 316 10548 10552 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 315 10522 10536 "lib/variant_and_record_intf.ml" 315 10522 10537
type(
  ('z, 'a1) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 315 10522 10540 "lib/variant_and_record_intf.ml" 315 10522 10547
)
"lib/variant_and_record_intf.ml" 315 10522 10540 "lib/variant_and_record_intf.ml" 315 10522 10541
type(
  ('z, 'a1) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 315 10522 10536 "lib/variant_and_record_intf.ml" 315 10522 10537
)
"lib/variant_and_record_intf.ml" 315 10522 10540 "lib/variant_and_record_intf.ml" 315 10522 10547
type(
  int
)
"lib/variant_and_record_intf.ml" 316 10548 10556 "lib/variant_and_record_intf.ml" 316 10548 10559
type(
  ('b1, 'c1) t -> 'b1 -> 'c1
)
ident(
  def get "lib/variant_and_record_intf.ml" 317 10570 10574 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 316 10548 10560 "lib/variant_and_record_intf.ml" 316 10548 10561
type(
  ('b1, 'c1) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 316 10548 10564 "lib/variant_and_record_intf.ml" 316 10548 10569
)
"lib/variant_and_record_intf.ml" 316 10548 10564 "lib/variant_and_record_intf.ml" 316 10548 10565
type(
  ('b1, 'c1) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 316 10548 10560 "lib/variant_and_record_intf.ml" 316 10548 10561
)
"lib/variant_and_record_intf.ml" 316 10548 10564 "lib/variant_and_record_intf.ml" 316 10548 10569
type(
  'b1 -> 'c1
)
"lib/variant_and_record_intf.ml" 317 10570 10578 "lib/variant_and_record_intf.ml" 317 10570 10582
type(
  ('d1, 'e1) t -> 'e1 Typename.t
)
ident(
  def tyid "lib/variant_and_record_intf.ml" 318 10594 10598 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 317 10570 10583 "lib/variant_and_record_intf.ml" 317 10570 10584
type(
  ('d1, 'e1) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 317 10570 10587 "lib/variant_and_record_intf.ml" 317 10570 10593
)
"lib/variant_and_record_intf.ml" 317 10570 10587 "lib/variant_and_record_intf.ml" 317 10570 10588
type(
  ('d1, 'e1) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 317 10570 10583 "lib/variant_and_record_intf.ml" 317 10570 10584
)
"lib/variant_and_record_intf.ml" 317 10570 10587 "lib/variant_and_record_intf.ml" 317 10570 10593
type(
  'e1 Typename.t
)
"lib/variant_and_record_intf.ml" 318 10594 10602 "lib/variant_and_record_intf.ml" 318 10594 10610
type(
  ('f1, 'g1) t -> 'g1 X.t
)
ident(
  def traverse "lib/variant_and_record_intf.ml" 320 10622 10626 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 318 10594 10611 "lib/variant_and_record_intf.ml" 318 10594 10612
type(
  ('f1, 'g1) t
)
ident(
  def t "lib/variant_and_record_intf.ml" 318 10594 10615 "lib/variant_and_record_intf.ml" 318 10594 10620
)
"lib/variant_and_record_intf.ml" 318 10594 10615 "lib/variant_and_record_intf.ml" 318 10594 10616
type(
  ('f1, 'g1) t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 318 10594 10611 "lib/variant_and_record_intf.ml" 318 10594 10612
)
"lib/variant_and_record_intf.ml" 318 10594 10615 "lib/variant_and_record_intf.ml" 318 10594 10620
type(
  'g1 X.t
)
"lib/variant_and_record_intf.ml" 320 10622 10630 "lib/variant_and_record_intf.ml" 320 10622 10647
type(
  'h1 -> 'h1
)
ident(
  def internal_use_only "lib/variant_and_record_intf.ml" 320 10622 10653 "lib/variant_and_record_intf.ml" 321 10654 10659
)
"lib/variant_and_record_intf.ml" 320 10622 10648 "lib/variant_and_record_intf.ml" 320 10622 10649
type(
  'h1
)
ident(
  def t "lib/variant_and_record_intf.ml" 320 10622 10652 "lib/variant_and_record_intf.ml" 320 10622 10653
)
"lib/variant_and_record_intf.ml" 320 10622 10652 "lib/variant_and_record_intf.ml" 320 10622 10653
type(
  'h1
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 320 10622 10648 "lib/variant_and_record_intf.ml" 320 10622 10649
)
"lib/variant_and_record_intf.ml" 399 13576 13584 "lib/variant_and_record_intf.ml" 399 13576 13597
type(
  'i1 t -> 'i1 Typename.t
)
ident(
  def typename_of_t "lib/variant_and_record_intf.ml" 400 13613 13617 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 399 13576 13598 "lib/variant_and_record_intf.ml" 399 13576 13599
type(
  'i1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 399 13576 13602 "lib/variant_and_record_intf.ml" 399 13576 13612
)
"lib/variant_and_record_intf.ml" 399 13576 13602 "lib/variant_and_record_intf.ml" 399 13576 13603
type(
  'i1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 399 13576 13598 "lib/variant_and_record_intf.ml" 399 13576 13599
)
"lib/variant_and_record_intf.ml" 399 13576 13602 "lib/variant_and_record_intf.ml" 399 13576 13612
type(
  'i1 Typename.t
)
"lib/variant_and_record_intf.ml" 400 13613 13621 "lib/variant_and_record_intf.ml" 400 13613 13627
type(
  'j1 t -> int
)
ident(
  def length "lib/variant_and_record_intf.ml" 401 13654 13658 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 400 13613 13628 "lib/variant_and_record_intf.ml" 400 13613 13629
type(
  'j1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 400 13613 13632 "lib/variant_and_record_intf.ml" 400 13613 13653
)
"lib/variant_and_record_intf.ml" 400 13613 13632 "lib/variant_and_record_intf.ml" 400 13613 13644
type(
  'j1 field array -> int
)
ident(
  ext_ref Array.length
)
"lib/variant_and_record_intf.ml" 400 13613 13645 "lib/variant_and_record_intf.ml" 400 13613 13646
type(
  'j1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 400 13613 13628 "lib/variant_and_record_intf.ml" 400 13613 13629
)
"lib/variant_and_record_intf.ml" 400 13613 13645 "lib/variant_and_record_intf.ml" 400 13613 13653
type(
  'j1 field array
)
"lib/variant_and_record_intf.ml" 400 13613 13632 "lib/variant_and_record_intf.ml" 400 13613 13653
type(
  int
)
"lib/variant_and_record_intf.ml" 401 13654 13662 "lib/variant_and_record_intf.ml" 401 13654 13667
type(
  'k1 t -> int -> 'k1 field
)
ident(
  def field "lib/variant_and_record_intf.ml" 402 13695 13699 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 401 13654 13668 "lib/variant_and_record_intf.ml" 401 13654 13669
type(
  'k1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 401 13654 13670 "lib/variant_and_record_intf.ml" 401 13654 13694
)
"lib/variant_and_record_intf.ml" 401 13654 13670 "lib/variant_and_record_intf.ml" 401 13654 13675
type(
  int
)
ident(
  def index "lib/variant_and_record_intf.ml" 401 13654 13678 "lib/variant_and_record_intf.ml" 401 13654 13694
)
"lib/variant_and_record_intf.ml" 401 13654 13678 "lib/variant_and_record_intf.ml" 401 13654 13679
type(
  'k1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 401 13654 13668 "lib/variant_and_record_intf.ml" 401 13654 13669
)
"lib/variant_and_record_intf.ml" 401 13654 13678 "lib/variant_and_record_intf.ml" 401 13654 13686
type(
  'k1 field array
)
"lib/variant_and_record_intf.ml" 401 13654 13688 "lib/variant_and_record_intf.ml" 401 13654 13693
type(
  int
)
ident(
  int_ref index "lib/variant_and_record_intf.ml" 401 13654 13670 "lib/variant_and_record_intf.ml" 401 13654 13675
)
"lib/variant_and_record_intf.ml" 401 13654 13678 "lib/variant_and_record_intf.ml" 401 13654 13694
type(
  'k1 field
)
"lib/variant_and_record_intf.ml" 402 13695 13703 "lib/variant_and_record_intf.ml" 402 13695 13723
type(
  'l1 t -> bool
)
ident(
  def has_double_array_tag "lib/variant_and_record_intf.ml" 403 13751 13755 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 402 13695 13724 "lib/variant_and_record_intf.ml" 402 13695 13725
type(
  'l1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 402 13695 13728 "lib/variant_and_record_intf.ml" 402 13695 13750
)
"lib/variant_and_record_intf.ml" 402 13695 13728 "lib/variant_and_record_intf.ml" 402 13695 13729
type(
  'l1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 402 13695 13724 "lib/variant_and_record_intf.ml" 402 13695 13725
)
"lib/variant_and_record_intf.ml" 402 13695 13728 "lib/variant_and_record_intf.ml" 402 13695 13750
type(
  bool
)
"lib/variant_and_record_intf.ml" 403 13751 13759 "lib/variant_and_record_intf.ml" 403 13751 13765
type(
  'm1 t -> 'm1 fields -> 'm1
)
ident(
  def create "lib/variant_and_record_intf.ml" 404 13779 13783 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 403 13751 13766 "lib/variant_and_record_intf.ml" 403 13751 13767
type(
  'm1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 403 13751 13770 "lib/variant_and_record_intf.ml" 403 13751 13778
)
"lib/variant_and_record_intf.ml" 403 13751 13770 "lib/variant_and_record_intf.ml" 403 13751 13771
type(
  'm1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 403 13751 13766 "lib/variant_and_record_intf.ml" 403 13751 13767
)
"lib/variant_and_record_intf.ml" 403 13751 13770 "lib/variant_and_record_intf.ml" 403 13751 13778
type(
  'm1 fields -> 'm1
)
"lib/variant_and_record_intf.ml" 404 13779 13787 "lib/variant_and_record_intf.ml" 404 13779 13791
type(
  'n1 t -> init:'o1 -> f:('o1 -> 'n1 field -> 'o1) -> 'o1
)
ident(
  def fold "lib/variant_and_record_intf.ml" 406 13838 13842 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 404 13779 13792 "lib/variant_and_record_intf.ml" 404 13779 13793
type(
  'n1 t
)
ident(
  def t "lib/variant_and_record_intf.ml" 404 13779 13794 "lib/variant_and_record_intf.ml" 404 13779 13836
)
"lib/variant_and_record_intf.ml" 404 13779 13795 "lib/variant_and_record_intf.ml" 404 13779 13799
type(
  'o1
)
ident(
  def init "lib/variant_and_record_intf.ml" 404 13779 13800 "lib/variant_and_record_intf.ml" 404 13779 13836
)
"lib/variant_and_record_intf.ml" 404 13779 13801 "lib/variant_and_record_intf.ml" 404 13779 13802
type(
  'o1 -> 'n1 field -> 'o1
)
ident(
  def f "lib/variant_and_record_intf.ml" 404 13779 13805 "lib/variant_and_record_intf.ml" 404 13779 13836
)
"lib/variant_and_record_intf.ml" 404 13779 13805 "lib/variant_and_record_intf.ml" 404 13779 13820
type(
  ('o1 -> 'n1 field -> 'o1) -> 'o1 -> 'n1 field array -> 'o1
)
ident(
  ext_ref Array.fold_left
)
"lib/variant_and_record_intf.ml" 404 13779 13821 "lib/variant_and_record_intf.ml" 404 13779 13822
type(
  'o1 -> 'n1 field -> 'o1
)
ident(
  int_ref f "lib/variant_and_record_intf.ml" 404 13779 13801 "lib/variant_and_record_intf.ml" 404 13779 13802
)
"lib/variant_and_record_intf.ml" 404 13779 13823 "lib/variant_and_record_intf.ml" 404 13779 13827
type(
  'o1
)
ident(
  int_ref init "lib/variant_and_record_intf.ml" 404 13779 13795 "lib/variant_and_record_intf.ml" 404 13779 13799
)
"lib/variant_and_record_intf.ml" 404 13779 13828 "lib/variant_and_record_intf.ml" 404 13779 13829
type(
  'n1 t
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 404 13779 13792 "lib/variant_and_record_intf.ml" 404 13779 13793
)
"lib/variant_and_record_intf.ml" 404 13779 13828 "lib/variant_and_record_intf.ml" 404 13779 13836
type(
  'n1 field array
)
"lib/variant_and_record_intf.ml" 404 13779 13805 "lib/variant_and_record_intf.ml" 404 13779 13836
call(
  tail
)
type(
  'o1
)
"lib/variant_and_record_intf.ml" 406 13838 13846 "lib/variant_and_record_intf.ml" 406 13838 13863
type(
  'p1 -> 'p1
)
ident(
  def internal_use_only "lib/variant_and_record_intf.ml" 406 13838 13869 "lib/variant_and_record_intf.ml" 407 13870 13875
)
"lib/variant_and_record_intf.ml" 406 13838 13864 "lib/variant_and_record_intf.ml" 406 13838 13865
type(
  'p1
)
ident(
  def t "lib/variant_and_record_intf.ml" 406 13838 13868 "lib/variant_and_record_intf.ml" 406 13838 13869
)
"lib/variant_and_record_intf.ml" 406 13838 13868 "lib/variant_and_record_intf.ml" 406 13838 13869
type(
  'p1
)
ident(
  int_ref t "lib/variant_and_record_intf.ml" 406 13838 13864 "lib/variant_and_record_intf.ml" 406 13838 13865
)