"src/base/BaseCompat.ml" 37 2326 2333 "src/base/BaseCompat.ml" 37 2326 2343
ident(
  def Compat_0_4 "src/base/BaseCompat.ml" 146 6452 6455 "src/base/BaseCompat.ml" 0 0 -1
)
"src/base/BaseCompat.ml" 39 2353 2359 "src/base/BaseCompat.ml" 39 2353 2364
type(
  OASISContext.t ref
)
ident(
  def rctxt "src/base/BaseCompat.ml" 41 2393 2395 "src/base/BaseCompat.ml" 146 6452 6455
)
"src/base/BaseCompat.ml" 39 2353 2367 "src/base/BaseCompat.ml" 39 2353 2370
type(
  OASISContext.t -> OASISContext.t ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/base/BaseCompat.ml" 39 2353 2371 "src/base/BaseCompat.ml" 39 2353 2372
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseCompat.ml" 39 2353 2372 "src/base/BaseCompat.ml" 39 2353 2391
type(
  OASISContext.t ref
)
ident(
  int_ref BaseContext.default "src/base/BaseContext.mli" 39 1969 1969 "src/base/BaseContext.mli" 39 1969 2000
)
"src/base/BaseCompat.ml" 39 2353 2371 "src/base/BaseCompat.ml" 39 2353 2391
type(
  OASISContext.t
)
"src/base/BaseCompat.ml" 39 2353 2367 "src/base/BaseCompat.ml" 39 2353 2391
type(
  OASISContext.t ref
)
"src/base/BaseCompat.ml" 41 2393 2402 "src/base/BaseCompat.ml" 41 2393 2411
ident(
  def BaseSetup "src/base/BaseCompat.ml" 113 5018 5023 "src/base/BaseCompat.ml" 146 6452 6455
)
"src/base/BaseCompat.ml" 43 2423 2434 "src/base/BaseCompat.ml" 43 2423 2442
ident(
  def Original "src/base/BaseCompat.ml" 43 2423 2454 "src/base/BaseCompat.ml" 113 5018 5023
)
"src/base/BaseCompat.ml" 73 3560 3568 "src/base/BaseCompat.ml" 73 3560 3573
type(
  t -> unit
)
ident(
  def setup "src/base/BaseCompat.ml" 111 4993 5016 "src/base/BaseCompat.ml" 113 5018 5023
)
"src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
type(
  t
)
ident(
  def t "src/base/BaseCompat.ml" 74 3578 3584 "src/base/BaseCompat.ml" 111 4993 5016
)
"src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
type(
  ('a -> 'b -> 'c) -> ctxt:OASISContext.t -> 'a -> 'b -> 'c
)
ident(
  def mk_std_args_fun "src/base/BaseCompat.ml" 77 3673 3679 "src/base/BaseCompat.ml" 111 4993 5016
)
"src/base/BaseCompat.ml" 74 3578 3604 "src/base/BaseCompat.ml" 74 3578 3605
type(
  'a -> 'b -> 'c
)
ident(
  def f "src/base/BaseCompat.ml" 75 3608 3616 "src/base/BaseCompat.ml" 75 3608 3663
)
"src/base/BaseCompat.ml" 75 3608 3621 "src/base/BaseCompat.ml" 75 3608 3625
type(
  OASISContext.t
)
ident(
  def ctxt "src/base/BaseCompat.ml" 75 3608 3626 "src/base/BaseCompat.ml" 75 3608 3663
)
"src/base/BaseCompat.ml" 75 3608 3626 "src/base/BaseCompat.ml" 75 3608 3629
type(
  'a
)
ident(
  def pkg "src/base/BaseCompat.ml" 75 3608 3630 "src/base/BaseCompat.ml" 75 3608 3663
)
"src/base/BaseCompat.ml" 75 3608 3630 "src/base/BaseCompat.ml" 75 3608 3634
type(
  'b
)
ident(
  def args "src/base/BaseCompat.ml" 75 3608 3638 "src/base/BaseCompat.ml" 75 3608 3663
)
"src/base/BaseCompat.ml" 75 3608 3638 "src/base/BaseCompat.ml" 75 3608 3643
type(
  OASISContext.t ref
)
ident(
  int_ref rctxt "src/base/BaseCompat.ml" 39 2353 2359 "src/base/BaseCompat.ml" 39 2353 2364
)
"src/base/BaseCompat.ml" 75 3608 3644 "src/base/BaseCompat.ml" 75 3608 3646
type(
  OASISContext.t ref -> OASISContext.t -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/base/BaseCompat.ml" 75 3608 3647 "src/base/BaseCompat.ml" 75 3608 3651
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseCompat.ml" 75 3608 3621 "src/base/BaseCompat.ml" 75 3608 3625
)
"src/base/BaseCompat.ml" 75 3608 3638 "src/base/BaseCompat.ml" 75 3608 3651
type(
  unit
)
"src/base/BaseCompat.ml" 75 3608 3653 "src/base/BaseCompat.ml" 75 3608 3654
type(
  'a -> 'b -> 'c
)
ident(
  int_ref f "src/base/BaseCompat.ml" 74 3578 3604 "src/base/BaseCompat.ml" 74 3578 3605
)
"src/base/BaseCompat.ml" 75 3608 3655 "src/base/BaseCompat.ml" 75 3608 3658
type(
  'a
)
ident(
  int_ref pkg "src/base/BaseCompat.ml" 75 3608 3626 "src/base/BaseCompat.ml" 75 3608 3629
)
"src/base/BaseCompat.ml" 75 3608 3659 "src/base/BaseCompat.ml" 75 3608 3663
type(
  'b
)
ident(
  int_ref args "src/base/BaseCompat.ml" 75 3608 3630 "src/base/BaseCompat.ml" 75 3608 3634
)
"src/base/BaseCompat.ml" 75 3608 3653 "src/base/BaseCompat.ml" 75 3608 3663
type(
  'c
)
"src/base/BaseCompat.ml" 75 3608 3638 "src/base/BaseCompat.ml" 75 3608 3663
type(
  'c
)
"src/base/BaseCompat.ml" 75 3608 3616 "src/base/BaseCompat.ml" 75 3608 3663
type(
  ctxt:OASISContext.t -> 'a -> 'b -> 'c
)
"src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
type(
  ('d * ('e -> 'f -> 'g -> 'h)) list ->
  ('d * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)) list
)
ident(
  def mk_section_args_fun "src/base/BaseCompat.ml" 86 3892 3898 "src/base/BaseCompat.ml" 111 4993 5016
)
"src/base/BaseCompat.ml" 77 3673 3703 "src/base/BaseCompat.ml" 77 3673 3704
type(
  ('d * ('e -> 'f -> 'g -> 'h)) list
)
ident(
  def l "src/base/BaseCompat.ml" 78 3707 3715 "src/base/BaseCompat.ml" 84 3871 3882
)
"src/base/BaseCompat.ml" 78 3707 3715 "src/base/BaseCompat.ml" 78 3707 3723
type(
  ('d * ('e -> 'f -> 'g -> 'h) ->
   'd * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)) ->
  ('d * ('e -> 'f -> 'g -> 'h)) list ->
  ('d * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 79 3724 3740 "src/base/BaseCompat.ml" 79 3724 3742
type(
  'd
)
ident(
  def nm "src/base/BaseCompat.ml" 80 3750 3763 "src/base/BaseCompat.ml" 83 3838 3869
)
"src/base/BaseCompat.ml" 79 3724 3744 "src/base/BaseCompat.ml" 79 3724 3745
type(
  'e -> 'f -> 'g -> 'h
)
ident(
  def f "src/base/BaseCompat.ml" 80 3750 3763 "src/base/BaseCompat.ml" 83 3838 3869
)
"src/base/BaseCompat.ml" 79 3724 3739 "src/base/BaseCompat.ml" 79 3724 3746
type(
  'd * ('e -> 'f -> 'g -> 'h)
)
"src/base/BaseCompat.ml" 80 3750 3763 "src/base/BaseCompat.ml" 80 3750 3765
type(
  'd
)
ident(
  int_ref nm "src/base/BaseCompat.ml" 79 3724 3740 "src/base/BaseCompat.ml" 79 3724 3742
)
"src/base/BaseCompat.ml" 81 3767 3786 "src/base/BaseCompat.ml" 81 3767 3790
type(
  OASISContext.t
)
ident(
  def ctxt "src/base/BaseCompat.ml" 81 3767 3791 "src/base/BaseCompat.ml" 83 3838 3868
)
"src/base/BaseCompat.ml" 81 3767 3791 "src/base/BaseCompat.ml" 81 3767 3794
type(
  'e
)
ident(
  def pkg "src/base/BaseCompat.ml" 81 3767 3795 "src/base/BaseCompat.ml" 83 3838 3868
)
"src/base/BaseCompat.ml" 81 3767 3795 "src/base/BaseCompat.ml" 81 3767 3798
type(
  'f
)
ident(
  def sct "src/base/BaseCompat.ml" 81 3767 3799 "src/base/BaseCompat.ml" 83 3838 3868
)
"src/base/BaseCompat.ml" 81 3767 3799 "src/base/BaseCompat.ml" 81 3767 3803
type(
  'g
)
ident(
  def args "src/base/BaseCompat.ml" 82 3807 3823 "src/base/BaseCompat.ml" 83 3838 3868
)
"src/base/BaseCompat.ml" 82 3807 3823 "src/base/BaseCompat.ml" 82 3807 3828
type(
  OASISContext.t ref
)
ident(
  int_ref rctxt "src/base/BaseCompat.ml" 39 2353 2359 "src/base/BaseCompat.ml" 39 2353 2364
)
"src/base/BaseCompat.ml" 82 3807 3829 "src/base/BaseCompat.ml" 82 3807 3831
type(
  OASISContext.t ref -> OASISContext.t -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/base/BaseCompat.ml" 82 3807 3832 "src/base/BaseCompat.ml" 82 3807 3836
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseCompat.ml" 81 3767 3786 "src/base/BaseCompat.ml" 81 3767 3790
)
"src/base/BaseCompat.ml" 82 3807 3823 "src/base/BaseCompat.ml" 82 3807 3836
type(
  unit
)
"src/base/BaseCompat.ml" 83 3838 3854 "src/base/BaseCompat.ml" 83 3838 3855
type(
  'e -> 'f -> 'g -> 'h
)
ident(
  int_ref f "src/base/BaseCompat.ml" 79 3724 3744 "src/base/BaseCompat.ml" 79 3724 3745
)
"src/base/BaseCompat.ml" 83 3838 3856 "src/base/BaseCompat.ml" 83 3838 3859
type(
  'e
)
ident(
  int_ref pkg "src/base/BaseCompat.ml" 81 3767 3791 "src/base/BaseCompat.ml" 81 3767 3794
)
"src/base/BaseCompat.ml" 83 3838 3860 "src/base/BaseCompat.ml" 83 3838 3863
type(
  'f
)
ident(
  int_ref sct "src/base/BaseCompat.ml" 81 3767 3795 "src/base/BaseCompat.ml" 81 3767 3798
)
"src/base/BaseCompat.ml" 83 3838 3864 "src/base/BaseCompat.ml" 83 3838 3868
type(
  'g
)
ident(
  int_ref args "src/base/BaseCompat.ml" 81 3767 3799 "src/base/BaseCompat.ml" 81 3767 3803
)
"src/base/BaseCompat.ml" 83 3838 3854 "src/base/BaseCompat.ml" 83 3838 3868
type(
  'h
)
"src/base/BaseCompat.ml" 82 3807 3823 "src/base/BaseCompat.ml" 83 3838 3868
type(
  'h
)
"src/base/BaseCompat.ml" 81 3767 3780 "src/base/BaseCompat.ml" 83 3838 3869
type(
  ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h
)
"src/base/BaseCompat.ml" 80 3750 3763 "src/base/BaseCompat.ml" 83 3838 3869
type(
  'd * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)
)
"src/base/BaseCompat.ml" 79 3724 3734 "src/base/BaseCompat.ml" 83 3838 3870
type(
  'd * ('e -> 'f -> 'g -> 'h) ->
  'd * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)
)
"src/base/BaseCompat.ml" 84 3871 3881 "src/base/BaseCompat.ml" 84 3871 3882
type(
  ('d * ('e -> 'f -> 'g -> 'h)) list
)
ident(
  int_ref l "src/base/BaseCompat.ml" 77 3673 3703 "src/base/BaseCompat.ml" 77 3673 3704
)
"src/base/BaseCompat.ml" 78 3707 3715 "src/base/BaseCompat.ml" 84 3871 3882
type(
  ('d * (ctxt:OASISContext.t -> 'e -> 'f -> 'g -> 'h)) list
)
"src/base/BaseCompat.ml" 86 3892 3902 "src/base/BaseCompat.ml" 86 3892 3904
type(
  Original.t
)
ident(
  def t' "src/base/BaseCompat.ml" 111 4993 4999 "src/base/BaseCompat.ml" 111 4993 5016
)
"src/base/BaseCompat.ml" 89 3937 3966 "src/base/BaseCompat.ml" 89 3937 3981
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 89 3937 3982 "src/base/BaseCompat.ml" 89 3937 3983
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 89 3937 3982 "src/base/BaseCompat.ml" 89 3937 3993
type(
  std_args_fun
)
"src/base/BaseCompat.ml" 89 3937 3966 "src/base/BaseCompat.ml" 89 3937 3993
type(
  Original.std_args_fun
)
"src/base/BaseCompat.ml" 90 3995 4024 "src/base/BaseCompat.ml" 90 3995 4039
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 90 3995 4040 "src/base/BaseCompat.ml" 90 3995 4041
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 90 3995 4040 "src/base/BaseCompat.ml" 90 3995 4047
type(
  std_args_fun
)
"src/base/BaseCompat.ml" 90 3995 4024 "src/base/BaseCompat.ml" 90 3995 4047
type(
  Original.std_args_fun
)
"src/base/BaseCompat.ml" 91 4049 4078 "src/base/BaseCompat.ml" 91 4049 4097
type(
  (OASISTypes.doc, unit) section_args_fun list ->
  (OASISTypes.doc, unit) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 91 4049 4098 "src/base/BaseCompat.ml" 91 4049 4099
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 91 4049 4098 "src/base/BaseCompat.ml" 91 4049 4103
type(
  (OASISTypes.doc, unit) section_args_fun list
)
"src/base/BaseCompat.ml" 91 4049 4078 "src/base/BaseCompat.ml" 91 4049 4103
type(
  (OASISTypes.doc, unit) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 92 4105 4134 "src/base/BaseCompat.ml" 92 4105 4153
type(
  (OASISTypes.test, float) section_args_fun list ->
  (OASISTypes.test, float) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 92 4105 4154 "src/base/BaseCompat.ml" 92 4105 4155
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 92 4105 4154 "src/base/BaseCompat.ml" 92 4105 4160
type(
  (OASISTypes.test, float) section_args_fun list
)
"src/base/BaseCompat.ml" 92 4105 4134 "src/base/BaseCompat.ml" 92 4105 4160
type(
  (OASISTypes.test, float) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 93 4162 4191 "src/base/BaseCompat.ml" 93 4162 4206
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 93 4162 4207 "src/base/BaseCompat.ml" 93 4162 4208
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 93 4162 4207 "src/base/BaseCompat.ml" 93 4162 4216
type(
  std_args_fun
)
"src/base/BaseCompat.ml" 93 4162 4191 "src/base/BaseCompat.ml" 93 4162 4216
type(
  Original.std_args_fun
)
"src/base/BaseCompat.ml" 94 4218 4247 "src/base/BaseCompat.ml" 94 4218 4262
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 94 4218 4263 "src/base/BaseCompat.ml" 94 4218 4264
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 94 4218 4263 "src/base/BaseCompat.ml" 94 4218 4274
type(
  std_args_fun
)
"src/base/BaseCompat.ml" 94 4218 4247 "src/base/BaseCompat.ml" 94 4218 4274
type(
  Original.std_args_fun
)
"src/base/BaseCompat.ml" 95 4276 4305 "src/base/BaseCompat.ml" 95 4276 4313
type(
  (std_args_fun -> Original.std_args_fun) ->
  std_args_fun list -> Original.std_args_fun list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 95 4276 4314 "src/base/BaseCompat.ml" 95 4276 4329
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 95 4276 4330 "src/base/BaseCompat.ml" 95 4276 4331
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 95 4276 4330 "src/base/BaseCompat.ml" 95 4276 4337
type(
  std_args_fun list
)
"src/base/BaseCompat.ml" 95 4276 4305 "src/base/BaseCompat.ml" 95 4276 4337
type(
  Original.std_args_fun list
)
"src/base/BaseCompat.ml" 96 4339 4368 "src/base/BaseCompat.ml" 96 4339 4387
type(
  (OASISTypes.doc, unit) section_args_fun list ->
  (OASISTypes.doc, unit) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 96 4339 4388 "src/base/BaseCompat.ml" 96 4339 4389
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 96 4339 4388 "src/base/BaseCompat.ml" 96 4339 4399
type(
  (OASISTypes.doc, unit) section_args_fun list
)
"src/base/BaseCompat.ml" 96 4339 4368 "src/base/BaseCompat.ml" 96 4339 4399
type(
  (OASISTypes.doc, unit) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 97 4401 4430 "src/base/BaseCompat.ml" 97 4401 4449
type(
  (OASISTypes.test, unit) section_args_fun list ->
  (OASISTypes.test, unit) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 97 4401 4450 "src/base/BaseCompat.ml" 97 4401 4451
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 97 4401 4450 "src/base/BaseCompat.ml" 97 4401 4462
type(
  (OASISTypes.test, unit) section_args_fun list
)
"src/base/BaseCompat.ml" 97 4401 4430 "src/base/BaseCompat.ml" 97 4401 4462
type(
  (OASISTypes.test, unit) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 98 4464 4493 "src/base/BaseCompat.ml" 98 4464 4501
type(
  (std_args_fun -> Original.std_args_fun) ->
  std_args_fun list -> Original.std_args_fun list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 98 4464 4502 "src/base/BaseCompat.ml" 98 4464 4517
type(
  std_args_fun -> Original.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 74 3578 3588 "src/base/BaseCompat.ml" 74 3578 3603
)
"src/base/BaseCompat.ml" 98 4464 4518 "src/base/BaseCompat.ml" 98 4464 4519
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 98 4464 4518 "src/base/BaseCompat.ml" 98 4464 4529
type(
  std_args_fun list
)
"src/base/BaseCompat.ml" 98 4464 4493 "src/base/BaseCompat.ml" 98 4464 4529
type(
  Original.std_args_fun list
)
"src/base/BaseCompat.ml" 99 4531 4560 "src/base/BaseCompat.ml" 99 4531 4579
type(
  (OASISTypes.doc, unit) section_args_fun list ->
  (OASISTypes.doc, unit) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 99 4531 4580 "src/base/BaseCompat.ml" 99 4531 4581
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 99 4531 4580 "src/base/BaseCompat.ml" 99 4531 4595
type(
  (OASISTypes.doc, unit) section_args_fun list
)
"src/base/BaseCompat.ml" 99 4531 4560 "src/base/BaseCompat.ml" 99 4531 4595
type(
  (OASISTypes.doc, unit) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 100 4597 4626 "src/base/BaseCompat.ml" 100 4597 4645
type(
  (OASISTypes.test, unit) section_args_fun list ->
  (OASISTypes.test, unit) Original.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 77 3673 3683 "src/base/BaseCompat.ml" 77 3673 3702
)
"src/base/BaseCompat.ml" 100 4597 4646 "src/base/BaseCompat.ml" 100 4597 4647
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 100 4597 4646 "src/base/BaseCompat.ml" 100 4597 4662
type(
  (OASISTypes.test, unit) section_args_fun list
)
"src/base/BaseCompat.ml" 100 4597 4626 "src/base/BaseCompat.ml" 100 4597 4662
type(
  (OASISTypes.test, unit) Original.section_args_fun list
)
"src/base/BaseCompat.ml" 102 4665 4694 "src/base/BaseCompat.ml" 102 4665 4695
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 102 4665 4694 "src/base/BaseCompat.ml" 102 4665 4703
type(
  OASISTypes.package
)
"src/base/BaseCompat.ml" 103 4705 4734 "src/base/BaseCompat.ml" 103 4705 4735
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 103 4705 4734 "src/base/BaseCompat.ml" 103 4705 4744
type(
  string option
)
"src/base/BaseCompat.ml" 104 4746 4775 "src/base/BaseCompat.ml" 104 4746 4776
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 104 4746 4775 "src/base/BaseCompat.ml" 104 4746 4790
type(
  string
)
"src/base/BaseCompat.ml" 105 4792 4821 "src/base/BaseCompat.ml" 105 4792 4822
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 105 4792 4821 "src/base/BaseCompat.ml" 105 4792 4835
type(
  Digest.t option
)
"src/base/BaseCompat.ml" 106 4837 4866 "src/base/BaseCompat.ml" 106 4837 4867
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 106 4837 4866 "src/base/BaseCompat.ml" 106 4837 4878
type(
  string option
)
"src/base/BaseCompat.ml" 107 4880 4909 "src/base/BaseCompat.ml" 107 4880 4910
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 107 4880 4909 "src/base/BaseCompat.ml" 107 4880 4927
type(
  string list
)
"src/base/BaseCompat.ml" 108 4929 4958 "src/base/BaseCompat.ml" 108 4929 4959
type(
  t
)
ident(
  int_ref t "src/base/BaseCompat.ml" 73 3560 3574 "src/base/BaseCompat.ml" 73 3560 3575
)
"src/base/BaseCompat.ml" 108 4929 4958 "src/base/BaseCompat.ml" 108 4929 4972
type(
  bool
)
"src/base/BaseCompat.ml" 87 3907 3915 "src/base/BaseCompat.ml" 109 4974 4983
type(
  Original.t
)
"src/base/BaseCompat.ml" 111 4993 4999 "src/base/BaseCompat.ml" 111 4993 5013
type(
  Original.t -> unit
)
ident(
  int_ref Original.setup "src/base/BaseSetup.mli" 123 4323 4323 "src/base/BaseSetup.mli" 123 4323 4343
)
"src/base/BaseCompat.ml" 111 4993 5014 "src/base/BaseCompat.ml" 111 4993 5016
type(
  Original.t
)
ident(
  int_ref t' "src/base/BaseCompat.ml" 86 3892 3902 "src/base/BaseCompat.ml" 86 3892 3904
)
"src/base/BaseCompat.ml" 111 4993 4999 "src/base/BaseCompat.ml" 111 4993 5016
type(
  unit
)
"src/base/BaseCompat.ml" 86 3892 3898 "src/base/BaseCompat.ml" 111 4993 5016
type(
  unit
)
"src/base/BaseCompat.ml" 77 3673 3679 "src/base/BaseCompat.ml" 111 4993 5016
type(
  unit
)
"src/base/BaseCompat.ml" 74 3578 3584 "src/base/BaseCompat.ml" 111 4993 5016
type(
  unit
)
"src/base/BaseCompat.ml" 115 5025 5031 "src/base/BaseCompat.ml" 115 5025 5044
type(
  BaseSetup/2.t -> BaseSetup/1.t
)
ident(
  def adapt_setup_t "src/base/BaseCompat.ml" 145 6446 6451 "src/base/BaseCompat.ml" 146 6452 6455
)
"src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
type(
  BaseSetup/2.t
)
ident(
  def setup_t "src/base/BaseCompat.ml" 116 5055 5059 "src/base/BaseCompat.ml" 145 6446 6451
)
"src/base/BaseCompat.ml" 116 5055 5070 "src/base/BaseCompat.ml" 116 5055 5071
ident(
  def O "src/base/BaseCompat.ml" 117 5096 5100 "src/base/BaseCompat.ml" 145 6446 6451
)
"src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
type(
  (ctxt:OASISContext.t -> 'i -> 'j -> 'k) -> 'i -> 'j -> 'k
)
ident(
  def mk_std_args_fun "src/base/BaseCompat.ml" 118 5167 5171 "src/base/BaseCompat.ml" 145 6446 6451
)
"src/base/BaseCompat.ml" 117 5096 5120 "src/base/BaseCompat.ml" 117 5096 5121
type(
  ctxt:OASISContext.t -> 'i -> 'j -> 'k
)
ident(
  def f "src/base/BaseCompat.ml" 117 5096 5124 "src/base/BaseCompat.ml" 117 5096 5163
)
"src/base/BaseCompat.ml" 117 5096 5128 "src/base/BaseCompat.ml" 117 5096 5131
type(
  'i
)
ident(
  def pkg "src/base/BaseCompat.ml" 117 5096 5132 "src/base/BaseCompat.ml" 117 5096 5163
)
"src/base/BaseCompat.ml" 117 5096 5132 "src/base/BaseCompat.ml" 117 5096 5136
type(
  'j
)
ident(
  def args "src/base/BaseCompat.ml" 117 5096 5140 "src/base/BaseCompat.ml" 117 5096 5163
)
"src/base/BaseCompat.ml" 117 5096 5140 "src/base/BaseCompat.ml" 117 5096 5141
type(
  ctxt:OASISContext.t -> 'i -> 'j -> 'k
)
ident(
  int_ref f "src/base/BaseCompat.ml" 117 5096 5120 "src/base/BaseCompat.ml" 117 5096 5121
)
"src/base/BaseCompat.ml" 117 5096 5148 "src/base/BaseCompat.ml" 117 5096 5149
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseCompat.ml" 117 5096 5149 "src/base/BaseCompat.ml" 117 5096 5154
type(
  OASISContext.t ref
)
ident(
  int_ref rctxt "src/base/BaseCompat.ml" 39 2353 2359 "src/base/BaseCompat.ml" 39 2353 2364
)
"src/base/BaseCompat.ml" 117 5096 5148 "src/base/BaseCompat.ml" 117 5096 5154
type(
  OASISContext.t
)
"src/base/BaseCompat.ml" 117 5096 5155 "src/base/BaseCompat.ml" 117 5096 5158
type(
  'i
)
ident(
  int_ref pkg "src/base/BaseCompat.ml" 117 5096 5128 "src/base/BaseCompat.ml" 117 5096 5131
)
"src/base/BaseCompat.ml" 117 5096 5159 "src/base/BaseCompat.ml" 117 5096 5163
type(
  'j
)
ident(
  int_ref args "src/base/BaseCompat.ml" 117 5096 5132 "src/base/BaseCompat.ml" 117 5096 5136
)
"src/base/BaseCompat.ml" 117 5096 5140 "src/base/BaseCompat.ml" 117 5096 5163
type(
  'k
)
"src/base/BaseCompat.ml" 117 5096 5124 "src/base/BaseCompat.ml" 117 5096 5163
type(
  'i -> 'j -> 'k
)
"src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
type(
  ('l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p)) list ->
  ('l * ('m -> 'n -> 'o -> 'p)) list
)
ident(
  def mk_section_args_fun "src/base/BaseCompat.ml" 123 5310 5314 "src/base/BaseCompat.ml" 145 6446 6451
)
"src/base/BaseCompat.ml" 118 5167 5195 "src/base/BaseCompat.ml" 118 5167 5196
type(
  ('l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p)) list
)
ident(
  def l "src/base/BaseCompat.ml" 119 5199 5205 "src/base/BaseCompat.ml" 121 5293 5302
)
"src/base/BaseCompat.ml" 119 5199 5205 "src/base/BaseCompat.ml" 119 5199 5213
type(
  ('l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p) ->
   'l * ('m -> 'n -> 'o -> 'p)) ->
  ('l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p)) list ->
  ('l * ('m -> 'n -> 'o -> 'p)) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 120 5214 5228 "src/base/BaseCompat.ml" 120 5214 5230
type(
  'l
)
ident(
  def nm "src/base/BaseCompat.ml" 120 5214 5238 "src/base/BaseCompat.ml" 120 5214 5291
)
"src/base/BaseCompat.ml" 120 5214 5232 "src/base/BaseCompat.ml" 120 5214 5233
type(
  ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p
)
ident(
  def f "src/base/BaseCompat.ml" 120 5214 5238 "src/base/BaseCompat.ml" 120 5214 5291
)
"src/base/BaseCompat.ml" 120 5214 5227 "src/base/BaseCompat.ml" 120 5214 5234
type(
  'l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p)
)
"src/base/BaseCompat.ml" 120 5214 5238 "src/base/BaseCompat.ml" 120 5214 5240
type(
  'l
)
ident(
  int_ref nm "src/base/BaseCompat.ml" 120 5214 5228 "src/base/BaseCompat.ml" 120 5214 5230
)
"src/base/BaseCompat.ml" 120 5214 5247 "src/base/BaseCompat.ml" 120 5214 5250
type(
  'm
)
ident(
  def pkg "src/base/BaseCompat.ml" 120 5214 5251 "src/base/BaseCompat.ml" 120 5214 5290
)
"src/base/BaseCompat.ml" 120 5214 5251 "src/base/BaseCompat.ml" 120 5214 5254
type(
  'n
)
ident(
  def sct "src/base/BaseCompat.ml" 120 5214 5255 "src/base/BaseCompat.ml" 120 5214 5290
)
"src/base/BaseCompat.ml" 120 5214 5255 "src/base/BaseCompat.ml" 120 5214 5259
type(
  'o
)
ident(
  def args "src/base/BaseCompat.ml" 120 5214 5263 "src/base/BaseCompat.ml" 120 5214 5290
)
"src/base/BaseCompat.ml" 120 5214 5263 "src/base/BaseCompat.ml" 120 5214 5264
type(
  ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p
)
ident(
  int_ref f "src/base/BaseCompat.ml" 120 5214 5232 "src/base/BaseCompat.ml" 120 5214 5233
)
"src/base/BaseCompat.ml" 120 5214 5271 "src/base/BaseCompat.ml" 120 5214 5272
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseCompat.ml" 120 5214 5272 "src/base/BaseCompat.ml" 120 5214 5277
type(
  OASISContext.t ref
)
ident(
  int_ref rctxt "src/base/BaseCompat.ml" 39 2353 2359 "src/base/BaseCompat.ml" 39 2353 2364
)
"src/base/BaseCompat.ml" 120 5214 5271 "src/base/BaseCompat.ml" 120 5214 5277
type(
  OASISContext.t
)
"src/base/BaseCompat.ml" 120 5214 5278 "src/base/BaseCompat.ml" 120 5214 5281
type(
  'm
)
ident(
  int_ref pkg "src/base/BaseCompat.ml" 120 5214 5247 "src/base/BaseCompat.ml" 120 5214 5250
)
"src/base/BaseCompat.ml" 120 5214 5282 "src/base/BaseCompat.ml" 120 5214 5285
type(
  'n
)
ident(
  int_ref sct "src/base/BaseCompat.ml" 120 5214 5251 "src/base/BaseCompat.ml" 120 5214 5254
)
"src/base/BaseCompat.ml" 120 5214 5286 "src/base/BaseCompat.ml" 120 5214 5290
type(
  'o
)
ident(
  int_ref args "src/base/BaseCompat.ml" 120 5214 5255 "src/base/BaseCompat.ml" 120 5214 5259
)
"src/base/BaseCompat.ml" 120 5214 5263 "src/base/BaseCompat.ml" 120 5214 5290
type(
  'p
)
"src/base/BaseCompat.ml" 120 5214 5242 "src/base/BaseCompat.ml" 120 5214 5291
type(
  'm -> 'n -> 'o -> 'p
)
"src/base/BaseCompat.ml" 120 5214 5238 "src/base/BaseCompat.ml" 120 5214 5291
type(
  'l * ('m -> 'n -> 'o -> 'p)
)
"src/base/BaseCompat.ml" 120 5214 5222 "src/base/BaseCompat.ml" 120 5214 5292
type(
  'l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p) ->
  'l * ('m -> 'n -> 'o -> 'p)
)
"src/base/BaseCompat.ml" 121 5293 5301 "src/base/BaseCompat.ml" 121 5293 5302
type(
  ('l * (ctxt:OASISContext.t -> 'm -> 'n -> 'o -> 'p)) list
)
ident(
  int_ref l "src/base/BaseCompat.ml" 118 5167 5195 "src/base/BaseCompat.ml" 118 5167 5196
)
"src/base/BaseCompat.ml" 119 5199 5205 "src/base/BaseCompat.ml" 121 5293 5302
type(
  ('l * ('m -> 'n -> 'o -> 'p)) list
)
"src/base/BaseCompat.ml" 125 5333 5358 "src/base/BaseCompat.ml" 125 5333 5373
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 125 5333 5374 "src/base/BaseCompat.ml" 125 5333 5381
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 125 5333 5374 "src/base/BaseCompat.ml" 125 5333 5393
type(
  O.std_args_fun
)
"src/base/BaseCompat.ml" 125 5333 5358 "src/base/BaseCompat.ml" 125 5333 5393
type(
  BaseSetup.std_args_fun
)
"src/base/BaseCompat.ml" 126 5395 5420 "src/base/BaseCompat.ml" 126 5395 5435
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 126 5395 5436 "src/base/BaseCompat.ml" 126 5395 5443
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 126 5395 5436 "src/base/BaseCompat.ml" 126 5395 5451
type(
  O.std_args_fun
)
"src/base/BaseCompat.ml" 126 5395 5420 "src/base/BaseCompat.ml" 126 5395 5451
type(
  BaseSetup.std_args_fun
)
"src/base/BaseCompat.ml" 127 5453 5478 "src/base/BaseCompat.ml" 127 5453 5497
type(
  (OASISTypes.doc, unit) O.section_args_fun list ->
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 127 5453 5498 "src/base/BaseCompat.ml" 127 5453 5505
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 127 5453 5498 "src/base/BaseCompat.ml" 127 5453 5511
type(
  (OASISTypes.doc, unit) O.section_args_fun list
)
"src/base/BaseCompat.ml" 127 5453 5478 "src/base/BaseCompat.ml" 127 5453 5511
type(
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 128 5513 5538 "src/base/BaseCompat.ml" 128 5513 5557
type(
  (OASISTypes.test, float) O.section_args_fun list ->
  (OASISTypes.test, float) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 128 5513 5558 "src/base/BaseCompat.ml" 128 5513 5565
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 128 5513 5558 "src/base/BaseCompat.ml" 128 5513 5572
type(
  (OASISTypes.test, float) O.section_args_fun list
)
"src/base/BaseCompat.ml" 128 5513 5538 "src/base/BaseCompat.ml" 128 5513 5572
type(
  (OASISTypes.test, float) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 129 5574 5599 "src/base/BaseCompat.ml" 129 5574 5614
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 129 5574 5615 "src/base/BaseCompat.ml" 129 5574 5622
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 129 5574 5615 "src/base/BaseCompat.ml" 129 5574 5632
type(
  O.std_args_fun
)
"src/base/BaseCompat.ml" 129 5574 5599 "src/base/BaseCompat.ml" 129 5574 5632
type(
  BaseSetup.std_args_fun
)
"src/base/BaseCompat.ml" 130 5634 5659 "src/base/BaseCompat.ml" 130 5634 5674
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 130 5634 5675 "src/base/BaseCompat.ml" 130 5634 5682
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 130 5634 5675 "src/base/BaseCompat.ml" 130 5634 5694
type(
  O.std_args_fun
)
"src/base/BaseCompat.ml" 130 5634 5659 "src/base/BaseCompat.ml" 130 5634 5694
type(
  BaseSetup.std_args_fun
)
"src/base/BaseCompat.ml" 131 5696 5721 "src/base/BaseCompat.ml" 131 5696 5729
type(
  (O.std_args_fun -> BaseSetup.std_args_fun) ->
  O.std_args_fun list -> BaseSetup.std_args_fun list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 131 5696 5730 "src/base/BaseCompat.ml" 131 5696 5745
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 131 5696 5746 "src/base/BaseCompat.ml" 131 5696 5753
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 131 5696 5746 "src/base/BaseCompat.ml" 131 5696 5761
type(
  O.std_args_fun list
)
"src/base/BaseCompat.ml" 131 5696 5721 "src/base/BaseCompat.ml" 131 5696 5761
type(
  BaseSetup.std_args_fun list
)
"src/base/BaseCompat.ml" 132 5763 5788 "src/base/BaseCompat.ml" 132 5763 5807
type(
  (OASISTypes.doc, unit) O.section_args_fun list ->
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 132 5763 5808 "src/base/BaseCompat.ml" 132 5763 5815
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 132 5763 5808 "src/base/BaseCompat.ml" 132 5763 5827
type(
  (OASISTypes.doc, unit) O.section_args_fun list
)
"src/base/BaseCompat.ml" 132 5763 5788 "src/base/BaseCompat.ml" 132 5763 5827
type(
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 133 5829 5854 "src/base/BaseCompat.ml" 133 5829 5873
type(
  (OASISTypes.test, unit) O.section_args_fun list ->
  (OASISTypes.test, unit) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 133 5829 5874 "src/base/BaseCompat.ml" 133 5829 5881
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 133 5829 5874 "src/base/BaseCompat.ml" 133 5829 5894
type(
  (OASISTypes.test, unit) O.section_args_fun list
)
"src/base/BaseCompat.ml" 133 5829 5854 "src/base/BaseCompat.ml" 133 5829 5894
type(
  (OASISTypes.test, unit) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 134 5896 5921 "src/base/BaseCompat.ml" 134 5896 5929
type(
  (O.std_args_fun -> BaseSetup.std_args_fun) ->
  O.std_args_fun list -> BaseSetup.std_args_fun list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/base/BaseCompat.ml" 134 5896 5930 "src/base/BaseCompat.ml" 134 5896 5945
type(
  O.std_args_fun -> BaseSetup.std_args_fun
)
ident(
  int_ref mk_std_args_fun "src/base/BaseCompat.ml" 117 5096 5104 "src/base/BaseCompat.ml" 117 5096 5119
)
"src/base/BaseCompat.ml" 134 5896 5946 "src/base/BaseCompat.ml" 134 5896 5953
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 134 5896 5946 "src/base/BaseCompat.ml" 134 5896 5965
type(
  O.std_args_fun list
)
"src/base/BaseCompat.ml" 134 5896 5921 "src/base/BaseCompat.ml" 134 5896 5965
type(
  BaseSetup.std_args_fun list
)
"src/base/BaseCompat.ml" 135 5967 5992 "src/base/BaseCompat.ml" 135 5967 6011
type(
  (OASISTypes.doc, unit) O.section_args_fun list ->
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 135 5967 6012 "src/base/BaseCompat.ml" 135 5967 6019
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 135 5967 6012 "src/base/BaseCompat.ml" 135 5967 6035
type(
  (OASISTypes.doc, unit) O.section_args_fun list
)
"src/base/BaseCompat.ml" 135 5967 5992 "src/base/BaseCompat.ml" 135 5967 6035
type(
  (OASISTypes.doc, unit) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 136 6037 6062 "src/base/BaseCompat.ml" 136 6037 6081
type(
  (OASISTypes.test, unit) O.section_args_fun list ->
  (OASISTypes.test, unit) BaseSetup.section_args_fun list
)
ident(
  int_ref mk_section_args_fun "src/base/BaseCompat.ml" 118 5167 5175 "src/base/BaseCompat.ml" 118 5167 5194
)
"src/base/BaseCompat.ml" 136 6037 6082 "src/base/BaseCompat.ml" 136 6037 6089
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 136 6037 6082 "src/base/BaseCompat.ml" 136 6037 6106
type(
  (OASISTypes.test, unit) O.section_args_fun list
)
"src/base/BaseCompat.ml" 136 6037 6062 "src/base/BaseCompat.ml" 136 6037 6106
type(
  (OASISTypes.test, unit) BaseSetup.section_args_fun list
)
"src/base/BaseCompat.ml" 138 6109 6134 "src/base/BaseCompat.ml" 138 6109 6141
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 138 6109 6134 "src/base/BaseCompat.ml" 138 6109 6151
type(
  OASISTypes.package
)
"src/base/BaseCompat.ml" 139 6153 6178 "src/base/BaseCompat.ml" 139 6153 6185
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 139 6153 6178 "src/base/BaseCompat.ml" 139 6153 6196
type(
  string option
)
"src/base/BaseCompat.ml" 140 6198 6223 "src/base/BaseCompat.ml" 140 6198 6230
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 140 6198 6223 "src/base/BaseCompat.ml" 140 6198 6246
type(
  string
)
"src/base/BaseCompat.ml" 141 6248 6273 "src/base/BaseCompat.ml" 141 6248 6280
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 141 6248 6273 "src/base/BaseCompat.ml" 141 6248 6295
type(
  Digest.t option
)
"src/base/BaseCompat.ml" 142 6297 6322 "src/base/BaseCompat.ml" 142 6297 6329
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 142 6297 6322 "src/base/BaseCompat.ml" 142 6297 6342
type(
  string option
)
"src/base/BaseCompat.ml" 143 6344 6369 "src/base/BaseCompat.ml" 143 6344 6376
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 143 6344 6369 "src/base/BaseCompat.ml" 143 6344 6395
type(
  string list
)
"src/base/BaseCompat.ml" 144 6397 6422 "src/base/BaseCompat.ml" 144 6397 6429
type(
  BaseSetup/2.t
)
ident(
  int_ref setup_t "src/base/BaseCompat.ml" 115 5025 5045 "src/base/BaseCompat.ml" 115 5025 5052
)
"src/base/BaseCompat.ml" 144 6397 6422 "src/base/BaseCompat.ml" 144 6397 6444
type(
  bool
)
"src/base/BaseCompat.ml" 123 5310 5314 "src/base/BaseCompat.ml" 145 6446 6451
type(
  BaseSetup.t
)
"src/base/BaseCompat.ml" 118 5167 5171 "src/base/BaseCompat.ml" 145 6446 6451
type(
  BaseSetup.t
)
"src/base/BaseCompat.ml" 117 5096 5100 "src/base/BaseCompat.ml" 145 6446 6451
type(
  BaseSetup.t
)
"src/base/BaseCompat.ml" 116 5055 5059 "src/base/BaseCompat.ml" 145 6446 6451
type(
  BaseSetup.t
)
"src/base/BaseCompat.ml" 149 6458 6465 "src/base/BaseCompat.ml" 149 6458 6475
ident(
  def Compat_0_3 "src/base/BaseCompat.ml" 152 6506 6509 "src/base/BaseCompat.ml" 0 0 -1
)
"src/base/BaseCompat.ml" 156 6529 6533 "src/base/BaseCompat.ml" 156 6529 6546
type(
  OASISTypes.package -> string list
)
ident(
  def setup_ml_text "src/base/BaseCompat.ml" 168 6936 6939 "src/base/BaseCompat.ml" 0 0 -1
)
"src/base/BaseCompat.ml" 156 6529 6547 "src/base/BaseCompat.ml" 156 6529 6550
type(
  OASISTypes.package
)
ident(
  def pkg "src/base/BaseCompat.ml" 157 6553 6555 "src/base/BaseCompat.ml" 168 6936 6939
)
"src/base/BaseCompat.ml" 157 6553 6559 "src/base/BaseCompat.ml" 157 6553 6564
type(
  string
)
ident(
  def modul "src/base/BaseCompat.ml" 165 6829 6831 "src/base/BaseCompat.ml" 168 6936 6939
)
"src/base/BaseCompat.ml" 158 6567 6575 "src/base/BaseCompat.ml" 158 6567 6578
type(
  Buffer.t
)
ident(
  def buf "src/base/BaseCompat.ml" 159 6601 6605 "src/base/BaseCompat.ml" 163 6800 6823
)
"src/base/BaseCompat.ml" 158 6567 6581 "src/base/BaseCompat.ml" 158 6567 6594
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/base/BaseCompat.ml" 158 6567 6595 "src/base/BaseCompat.ml" 158 6567 6597
type(
  int
)
"src/base/BaseCompat.ml" 158 6567 6581 "src/base/BaseCompat.ml" 158 6567 6597
type(
  Buffer.t
)
"src/base/BaseCompat.ml" 159 6601 6605 "src/base/BaseCompat.ml" 159 6601 6622
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/base/BaseCompat.ml" 159 6601 6623 "src/base/BaseCompat.ml" 159 6601 6626
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseCompat.ml" 158 6567 6575 "src/base/BaseCompat.ml" 158 6567 6578
)
"src/base/BaseCompat.ml" 159 6601 6627 "src/base/BaseCompat.ml" 159 6601 6647
type(
  string
)
"src/base/BaseCompat.ml" 159 6601 6605 "src/base/BaseCompat.ml" 159 6601 6647
type(
  unit
)
"src/base/BaseCompat.ml" 160 6649 6653 "src/base/BaseCompat.ml" 160 6649 6664
type(
  (char -> unit) -> string -> unit
)
ident(
  int_ref Stdlib.String.iter "string.mli" 291 10436 10436 "string.mli" 291 10436 10479
)
"src/base/BaseCompat.ml" 161 6665 6676 "src/base/BaseCompat.ml" 161 6665 6677
type(
  char
)
ident(
  def c "src/base/BaseCompat.ml" 161 6665 6681 "src/base/BaseCompat.ml" 161 6665 6729
)
"src/base/BaseCompat.ml" 161 6665 6681 "src/base/BaseCompat.ml" 161 6665 6696
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/base/BaseCompat.ml" 161 6665 6697 "src/base/BaseCompat.ml" 161 6665 6700
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseCompat.ml" 158 6567 6575 "src/base/BaseCompat.ml" 158 6567 6578
)
"src/base/BaseCompat.ml" 161 6665 6705 "src/base/BaseCompat.ml" 161 6665 6706
type(
  char
)
ident(
  int_ref c "src/base/BaseCompat.ml" 161 6665 6676 "src/base/BaseCompat.ml" 161 6665 6677
)
"src/base/BaseCompat.ml" 161 6665 6707 "src/base/BaseCompat.ml" 161 6665 6708
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/base/BaseCompat.ml" 161 6665 6709 "src/base/BaseCompat.ml" 161 6665 6712
type(
  char
)
"src/base/BaseCompat.ml" 161 6665 6705 "src/base/BaseCompat.ml" 161 6665 6712
type(
  bool
)
"src/base/BaseCompat.ml" 161 6665 6718 "src/base/BaseCompat.ml" 161 6665 6721
type(
  char
)
"src/base/BaseCompat.ml" 161 6665 6727 "src/base/BaseCompat.ml" 161 6665 6728
type(
  char
)
ident(
  int_ref c "src/base/BaseCompat.ml" 161 6665 6676 "src/base/BaseCompat.ml" 161 6665 6677
)
"src/base/BaseCompat.ml" 161 6665 6701 "src/base/BaseCompat.ml" 161 6665 6729
type(
  char
)
"src/base/BaseCompat.ml" 161 6665 6681 "src/base/BaseCompat.ml" 161 6665 6729
type(
  unit
)
"src/base/BaseCompat.ml" 161 6665 6671 "src/base/BaseCompat.ml" 161 6665 6730
type(
  char -> unit
)
"src/base/BaseCompat.ml" 162 6731 6738 "src/base/BaseCompat.ml" 162 6731 6768
type(
  OASISVersion.t -> string
)
ident(
  int_ref OASISVersion.string_of_version "src/oasis/OASISVersion.mli" 57 2463 2463 "src/oasis/OASISVersion.mli" 57 2463 2497
)
"src/base/BaseCompat.ml" 162 6731 6769 "src/base/BaseCompat.ml" 162 6731 6772
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseCompat.ml" 156 6529 6547 "src/base/BaseCompat.ml" 156 6529 6550
)
"src/base/BaseCompat.ml" 162 6731 6769 "src/base/BaseCompat.ml" 162 6731 6797
type(
  OASISVersion.t
)
"src/base/BaseCompat.ml" 162 6731 6737 "src/base/BaseCompat.ml" 162 6731 6798
type(
  string
)
"src/base/BaseCompat.ml" 160 6649 6653 "src/base/BaseCompat.ml" 162 6731 6798
type(
  unit
)
"src/base/BaseCompat.ml" 163 6800 6804 "src/base/BaseCompat.ml" 163 6800 6819
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/base/BaseCompat.ml" 163 6800 6820 "src/base/BaseCompat.ml" 163 6800 6823
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseCompat.ml" 158 6567 6575 "src/base/BaseCompat.ml" 158 6567 6578
)
"src/base/BaseCompat.ml" 163 6800 6804 "src/base/BaseCompat.ml" 163 6800 6823
type(
  string
)
"src/base/BaseCompat.ml" 160 6649 6653 "src/base/BaseCompat.ml" 163 6800 6823
type(
  string
)
"src/base/BaseCompat.ml" 159 6601 6605 "src/base/BaseCompat.ml" 163 6800 6823
type(
  string
)
"src/base/BaseCompat.ml" 158 6567 6571 "src/base/BaseCompat.ml" 163 6800 6823
type(
  string
)
"src/base/BaseCompat.ml" 166 6833 6837 "src/base/BaseCompat.ml" 166 6833 6851
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseCompat.ml" 166 6833 6852 "src/base/BaseCompat.ml" 166 6833 6892
type(
  (string -> string, unit, string) format
)
"src/base/BaseCompat.ml" 166 6833 6893 "src/base/BaseCompat.ml" 166 6833 6898
type(
  string
)
ident(
  int_ref modul "src/base/BaseCompat.ml" 157 6553 6559 "src/base/BaseCompat.ml" 157 6553 6564
)
"src/base/BaseCompat.ml" 166 6833 6837 "src/base/BaseCompat.ml" 166 6833 6898
type(
  string
)
"src/base/BaseCompat.ml" 167 6900 6904 "src/base/BaseCompat.ml" 167 6900 6918
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseCompat.ml" 167 6900 6919 "src/base/BaseCompat.ml" 167 6900 6928
type(
  (string -> string, unit, string) format
)
"src/base/BaseCompat.ml" 167 6900 6929 "src/base/BaseCompat.ml" 167 6900 6934
type(
  string
)
ident(
  int_ref modul "src/base/BaseCompat.ml" 157 6553 6559 "src/base/BaseCompat.ml" 157 6553 6564
)
"src/base/BaseCompat.ml" 167 6900 6904 "src/base/BaseCompat.ml" 167 6900 6934
type(
  string
)
"src/base/BaseCompat.ml" 165 6829 6831 "src/base/BaseCompat.ml" 168 6936 6939
type(
  string list
)
"src/base/BaseCompat.ml" 157 6553 6555 "src/base/BaseCompat.ml" 168 6936 6939
type(
  string list
)
