"src/oasis/OASISDataNotation.ml" 63 2463 2467 "src/oasis/OASISDataNotation.ml" 63 2463 2474
type(
  unit -> t
)
ident(
  def of_unit "src/oasis/OASISDataNotation.ml" 64 2484 2484 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 63 2463 2475 "src/oasis/OASISDataNotation.ml" 63 2463 2477
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 63 2463 2480 "src/oasis/OASISDataNotation.ml" 63 2463 2483
type(
  t
)
"src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
type(
  bool -> t
)
ident(
  def of_bool "src/oasis/OASISDataNotation.ml" 65 2506 2506 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 64 2484 2496 "src/oasis/OASISDataNotation.ml" 64 2484 2497
type(
  bool
)
ident(
  def b "src/oasis/OASISDataNotation.ml" 64 2484 2500 "src/oasis/OASISDataNotation.ml" 64 2484 2505
)
"src/oasis/OASISDataNotation.ml" 64 2484 2504 "src/oasis/OASISDataNotation.ml" 64 2484 2505
type(
  bool
)
ident(
  int_ref b "src/oasis/OASISDataNotation.ml" 64 2484 2496 "src/oasis/OASISDataNotation.ml" 64 2484 2497
)
"src/oasis/OASISDataNotation.ml" 64 2484 2500 "src/oasis/OASISDataNotation.ml" 64 2484 2505
type(
  t
)
"src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
type(
  string -> t
)
ident(
  def of_string "src/oasis/OASISDataNotation.ml" 67 2531 2531 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 65 2506 2520 "src/oasis/OASISDataNotation.ml" 65 2506 2521
type(
  string
)
ident(
  def s "src/oasis/OASISDataNotation.ml" 65 2506 2524 "src/oasis/OASISDataNotation.ml" 65 2506 2529
)
"src/oasis/OASISDataNotation.ml" 65 2506 2528 "src/oasis/OASISDataNotation.ml" 65 2506 2529
type(
  string
)
ident(
  int_ref s "src/oasis/OASISDataNotation.ml" 65 2506 2520 "src/oasis/OASISDataNotation.ml" 65 2506 2521
)
"src/oasis/OASISDataNotation.ml" 65 2506 2524 "src/oasis/OASISDataNotation.ml" 65 2506 2529
type(
  t
)
"src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
type(
  ('a -> t) -> 'a option -> t
)
ident(
  def of_option "src/oasis/OASISDataNotation.ml" 72 2628 2628 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 67 2531 2545 "src/oasis/OASISDataNotation.ml" 67 2531 2546
type(
  'a -> t
)
ident(
  def f "src/oasis/OASISDataNotation.ml" 68 2549 2551 "src/oasis/OASISDataNotation.ml" 70 2595 2626
)
"src/oasis/OASISDataNotation.ml" 69 2560 2571 "src/oasis/OASISDataNotation.ml" 69 2560 2572
type(
  'a
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 69 2560 2576 "src/oasis/OASISDataNotation.ml" 69 2560 2594
)
"src/oasis/OASISDataNotation.ml" 69 2560 2566 "src/oasis/OASISDataNotation.ml" 69 2560 2572
type(
  'a option
)
"src/oasis/OASISDataNotation.ml" 69 2560 2580 "src/oasis/OASISDataNotation.ml" 69 2560 2586
type(
  variant_name
)
"src/oasis/OASISDataNotation.ml" 69 2560 2589 "src/oasis/OASISDataNotation.ml" 69 2560 2590
type(
  'a -> t
)
ident(
  int_ref f "src/oasis/OASISDataNotation.ml" 67 2531 2545 "src/oasis/OASISDataNotation.ml" 67 2531 2546
)
"src/oasis/OASISDataNotation.ml" 69 2560 2591 "src/oasis/OASISDataNotation.ml" 69 2560 2592
type(
  'a
)
ident(
  int_ref v "src/oasis/OASISDataNotation.ml" 69 2560 2571 "src/oasis/OASISDataNotation.ml" 69 2560 2572
)
"src/oasis/OASISDataNotation.ml" 69 2560 2589 "src/oasis/OASISDataNotation.ml" 69 2560 2592
type(
  t
)
"src/oasis/OASISDataNotation.ml" 69 2560 2588 "src/oasis/OASISDataNotation.ml" 69 2560 2593
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 69 2560 2576 "src/oasis/OASISDataNotation.ml" 69 2560 2594
type(
  t
)
"src/oasis/OASISDataNotation.ml" 70 2595 2601 "src/oasis/OASISDataNotation.ml" 70 2595 2605
type(
  'a option
)
"src/oasis/OASISDataNotation.ml" 70 2595 2615 "src/oasis/OASISDataNotation.ml" 70 2595 2621
type(
  variant_name
)
"src/oasis/OASISDataNotation.ml" 70 2595 2623 "src/oasis/OASISDataNotation.ml" 70 2595 2625
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 70 2595 2611 "src/oasis/OASISDataNotation.ml" 70 2595 2626
type(
  t
)
"src/oasis/OASISDataNotation.ml" 68 2549 2551 "src/oasis/OASISDataNotation.ml" 70 2595 2626
type(
  'a option -> t
)
"src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
type(
  ('a -> t) -> 'a list -> t
)
ident(
  def of_list "src/oasis/OASISDataNotation.ml" 76 2673 2673 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 72 2628 2640 "src/oasis/OASISDataNotation.ml" 72 2628 2641
type(
  'a -> t
)
ident(
  def f "src/oasis/OASISDataNotation.ml" 72 2628 2642 "src/oasis/OASISDataNotation.ml" 73 2648 2670
)
"src/oasis/OASISDataNotation.ml" 72 2628 2642 "src/oasis/OASISDataNotation.ml" 72 2628 2645
type(
  'a list
)
ident(
  def lst "src/oasis/OASISDataNotation.ml" 73 2648 2650 "src/oasis/OASISDataNotation.ml" 73 2648 2670
)
"src/oasis/OASISDataNotation.ml" 73 2648 2655 "src/oasis/OASISDataNotation.ml" 73 2648 2663
type(
  ('a -> t) -> 'a list -> t list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISDataNotation.ml" 73 2648 2664 "src/oasis/OASISDataNotation.ml" 73 2648 2665
type(
  'a -> t
)
ident(
  int_ref f "src/oasis/OASISDataNotation.ml" 72 2628 2640 "src/oasis/OASISDataNotation.ml" 72 2628 2641
)
"src/oasis/OASISDataNotation.ml" 73 2648 2666 "src/oasis/OASISDataNotation.ml" 73 2648 2669
type(
  'a list
)
ident(
  int_ref lst "src/oasis/OASISDataNotation.ml" 72 2628 2642 "src/oasis/OASISDataNotation.ml" 72 2628 2645
)
"src/oasis/OASISDataNotation.ml" 73 2648 2654 "src/oasis/OASISDataNotation.ml" 73 2648 2670
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 73 2648 2650 "src/oasis/OASISDataNotation.ml" 73 2648 2670
type(
  t
)
"src/oasis/OASISDataNotation.ml" 92 2944 2948 "src/oasis/OASISDataNotation.ml" 92 2944 2952
type(
  'a -> string -> 'a func
)
ident(
  def func "src/oasis/OASISDataNotation.ml" 102 3073 3073 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 92 2944 2953 "src/oasis/OASISDataNotation.ml" 92 2944 2954
type(
  'a
)
ident(
  def f "src/oasis/OASISDataNotation.ml" 92 2944 2955 "src/oasis/OASISDataNotation.ml" 97 3029 3032
)
"src/oasis/OASISDataNotation.ml" 92 2944 2955 "src/oasis/OASISDataNotation.ml" 92 2944 2959
type(
  string
)
ident(
  def f_nm "src/oasis/OASISDataNotation.ml" 93 2962 2964 "src/oasis/OASISDataNotation.ml" 97 3029 3032
)
"src/oasis/OASISDataNotation.ml" 94 2966 2982 "src/oasis/OASISDataNotation.ml" 94 2966 2983
type(
  'a
)
ident(
  int_ref f "src/oasis/OASISDataNotation.ml" 92 2944 2953 "src/oasis/OASISDataNotation.ml" 92 2944 2954
)
"src/oasis/OASISDataNotation.ml" 95 2985 3001 "src/oasis/OASISDataNotation.ml" 95 2985 3005
type(
  string
)
ident(
  int_ref f_nm "src/oasis/OASISDataNotation.ml" 92 2944 2955 "src/oasis/OASISDataNotation.ml" 92 2944 2959
)
"src/oasis/OASISDataNotation.ml" 96 3007 3023 "src/oasis/OASISDataNotation.ml" 96 3007 3027
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 93 2962 2964 "src/oasis/OASISDataNotation.ml" 97 3029 3032
type(
  'a func
)
"src/oasis/OASISDataNotation.ml" 102 3073 3077 "src/oasis/OASISDataNotation.ml" 102 3073 3090
type(
  ('a -> 'b) -> string -> 'a -> ('a -> t) -> 'b func
)
ident(
  def func_with_arg "src/oasis/OASISDataNotation.ml" 109 3208 3208 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 102 3073 3091 "src/oasis/OASISDataNotation.ml" 102 3073 3092
type(
  'a -> 'b
)
ident(
  def f "src/oasis/OASISDataNotation.ml" 102 3073 3093 "src/oasis/OASISDataNotation.ml" 107 3203 3206
)
"src/oasis/OASISDataNotation.ml" 102 3073 3093 "src/oasis/OASISDataNotation.ml" 102 3073 3097
type(
  string
)
ident(
  def f_nm "src/oasis/OASISDataNotation.ml" 102 3073 3098 "src/oasis/OASISDataNotation.ml" 107 3203 3206
)
"src/oasis/OASISDataNotation.ml" 102 3073 3098 "src/oasis/OASISDataNotation.ml" 102 3073 3101
type(
  'a
)
ident(
  def arg "src/oasis/OASISDataNotation.ml" 102 3073 3102 "src/oasis/OASISDataNotation.ml" 107 3203 3206
)
"src/oasis/OASISDataNotation.ml" 102 3073 3102 "src/oasis/OASISDataNotation.ml" 102 3073 3112
type(
  'a -> t
)
ident(
  def odn_of_arg "src/oasis/OASISDataNotation.ml" 103 3115 3117 "src/oasis/OASISDataNotation.ml" 107 3203 3206
)
"src/oasis/OASISDataNotation.ml" 104 3119 3135 "src/oasis/OASISDataNotation.ml" 104 3119 3136
type(
  'a -> 'b
)
ident(
  int_ref f "src/oasis/OASISDataNotation.ml" 102 3073 3091 "src/oasis/OASISDataNotation.ml" 102 3073 3092
)
"src/oasis/OASISDataNotation.ml" 104 3119 3137 "src/oasis/OASISDataNotation.ml" 104 3119 3140
type(
  'a
)
ident(
  int_ref arg "src/oasis/OASISDataNotation.ml" 102 3073 3098 "src/oasis/OASISDataNotation.ml" 102 3073 3101
)
"src/oasis/OASISDataNotation.ml" 104 3119 3135 "src/oasis/OASISDataNotation.ml" 104 3119 3140
type(
  'b
)
"src/oasis/OASISDataNotation.ml" 105 3142 3158 "src/oasis/OASISDataNotation.ml" 105 3142 3162
type(
  string
)
ident(
  int_ref f_nm "src/oasis/OASISDataNotation.ml" 102 3073 3093 "src/oasis/OASISDataNotation.ml" 102 3073 3097
)
"src/oasis/OASISDataNotation.ml" 106 3164 3186 "src/oasis/OASISDataNotation.ml" 106 3164 3196
type(
  'a -> t
)
ident(
  int_ref odn_of_arg "src/oasis/OASISDataNotation.ml" 102 3073 3102 "src/oasis/OASISDataNotation.ml" 102 3073 3112
)
"src/oasis/OASISDataNotation.ml" 106 3164 3197 "src/oasis/OASISDataNotation.ml" 106 3164 3200
type(
  'a
)
ident(
  int_ref arg "src/oasis/OASISDataNotation.ml" 102 3073 3098 "src/oasis/OASISDataNotation.ml" 102 3073 3101
)
"src/oasis/OASISDataNotation.ml" 106 3164 3185 "src/oasis/OASISDataNotation.ml" 106 3164 3201
type(
  t
)
"src/oasis/OASISDataNotation.ml" 106 3164 3180 "src/oasis/OASISDataNotation.ml" 106 3164 3201
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 103 3115 3117 "src/oasis/OASISDataNotation.ml" 107 3203 3206
type(
  'b func
)
"src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
type(
  (ctxt:'a -> 'b -> 'c) -> string -> 'b -> ('b -> t) -> (ctxt:'a -> 'c) func
)
ident(
  def func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 118 3423 3423 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 109 3208 3231 "src/oasis/OASISDataNotation.ml" 109 3208 3232
type(
  ctxt:'a -> 'b -> 'c
)
ident(
  def f "src/oasis/OASISDataNotation.ml" 109 3208 3233 "src/oasis/OASISDataNotation.ml" 114 3364 3367
)
"src/oasis/OASISDataNotation.ml" 109 3208 3233 "src/oasis/OASISDataNotation.ml" 109 3208 3237
type(
  string
)
ident(
  def f_nm "src/oasis/OASISDataNotation.ml" 109 3208 3238 "src/oasis/OASISDataNotation.ml" 114 3364 3367
)
"src/oasis/OASISDataNotation.ml" 109 3208 3238 "src/oasis/OASISDataNotation.ml" 109 3208 3241
type(
  'b
)
ident(
  def arg "src/oasis/OASISDataNotation.ml" 109 3208 3242 "src/oasis/OASISDataNotation.ml" 114 3364 3367
)
"src/oasis/OASISDataNotation.ml" 109 3208 3242 "src/oasis/OASISDataNotation.ml" 109 3208 3252
type(
  'b -> t
)
ident(
  def odn_of_arg "src/oasis/OASISDataNotation.ml" 110 3255 3257 "src/oasis/OASISDataNotation.ml" 114 3364 3367
)
"src/oasis/OASISDataNotation.ml" 111 3259 3281 "src/oasis/OASISDataNotation.ml" 111 3259 3285
type(
  'a
)
ident(
  def ctxt "src/oasis/OASISDataNotation.ml" 111 3259 3289 "src/oasis/OASISDataNotation.ml" 111 3259 3300
)
"src/oasis/OASISDataNotation.ml" 111 3259 3289 "src/oasis/OASISDataNotation.ml" 111 3259 3290
type(
  ctxt:'a -> 'b -> 'c
)
ident(
  int_ref f "src/oasis/OASISDataNotation.ml" 109 3208 3231 "src/oasis/OASISDataNotation.ml" 109 3208 3232
)
"src/oasis/OASISDataNotation.ml" 111 3259 3292 "src/oasis/OASISDataNotation.ml" 111 3259 3296
type(
  'a
)
ident(
  int_ref ctxt "src/oasis/OASISDataNotation.ml" 111 3259 3281 "src/oasis/OASISDataNotation.ml" 111 3259 3285
)
"src/oasis/OASISDataNotation.ml" 111 3259 3297 "src/oasis/OASISDataNotation.ml" 111 3259 3300
type(
  'b
)
ident(
  int_ref arg "src/oasis/OASISDataNotation.ml" 109 3208 3238 "src/oasis/OASISDataNotation.ml" 109 3208 3241
)
"src/oasis/OASISDataNotation.ml" 111 3259 3289 "src/oasis/OASISDataNotation.ml" 111 3259 3300
type(
  'c
)
"src/oasis/OASISDataNotation.ml" 111 3259 3275 "src/oasis/OASISDataNotation.ml" 111 3259 3301
type(
  ctxt:'a -> 'c
)
"src/oasis/OASISDataNotation.ml" 112 3303 3319 "src/oasis/OASISDataNotation.ml" 112 3303 3323
type(
  string
)
ident(
  int_ref f_nm "src/oasis/OASISDataNotation.ml" 109 3208 3233 "src/oasis/OASISDataNotation.ml" 109 3208 3237
)
"src/oasis/OASISDataNotation.ml" 113 3325 3347 "src/oasis/OASISDataNotation.ml" 113 3325 3357
type(
  'b -> t
)
ident(
  int_ref odn_of_arg "src/oasis/OASISDataNotation.ml" 109 3208 3242 "src/oasis/OASISDataNotation.ml" 109 3208 3252
)
"src/oasis/OASISDataNotation.ml" 113 3325 3358 "src/oasis/OASISDataNotation.ml" 113 3325 3361
type(
  'b
)
ident(
  int_ref arg "src/oasis/OASISDataNotation.ml" 109 3208 3238 "src/oasis/OASISDataNotation.ml" 109 3208 3241
)
"src/oasis/OASISDataNotation.ml" 113 3325 3346 "src/oasis/OASISDataNotation.ml" 113 3325 3362
type(
  t
)
"src/oasis/OASISDataNotation.ml" 113 3325 3341 "src/oasis/OASISDataNotation.ml" 113 3325 3362
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 110 3255 3257 "src/oasis/OASISDataNotation.ml" 114 3364 3367
type(
  (ctxt:'a -> 'c) func
)
"src/oasis/OASISDataNotation.ml" 118 3423 3427 "src/oasis/OASISDataNotation.ml" 118 3423 3438
type(
  'a func -> t
)
ident(
  def odn_of_func "src/oasis/OASISDataNotation.ml" 128 3618 3618 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 118 3423 3439 "src/oasis/OASISDataNotation.ml" 118 3423 3440
type(
  'a func
)
ident(
  def t "src/oasis/OASISDataNotation.ml" 119 3443 3445 "src/oasis/OASISDataNotation.ml" 123 3534 3555
)
"src/oasis/OASISDataNotation.ml" 119 3443 3451 "src/oasis/OASISDataNotation.ml" 119 3443 3452
type(
  'a func
)
ident(
  int_ref t "src/oasis/OASISDataNotation.ml" 118 3423 3439 "src/oasis/OASISDataNotation.ml" 118 3423 3440
)
"src/oasis/OASISDataNotation.ml" 119 3443 3451 "src/oasis/OASISDataNotation.ml" 119 3443 3461
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 120 3467 3478 "src/oasis/OASISDataNotation.ml" 120 3467 3481
type(
  t
)
ident(
  def arg "src/oasis/OASISDataNotation.ml" 121 3485 3491 "src/oasis/OASISDataNotation.ml" 121 3485 3519
)
"src/oasis/OASISDataNotation.ml" 120 3467 3473 "src/oasis/OASISDataNotation.ml" 120 3467 3481
type(
  t option
)
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 121 3485 3496 "src/oasis/OASISDataNotation.ml" 121 3485 3497
type(
  'a func
)
ident(
  int_ref t "src/oasis/OASISDataNotation.ml" 118 3423 3439 "src/oasis/OASISDataNotation.ml" 118 3423 3440
)
"src/oasis/OASISDataNotation.ml" 121 3485 3496 "src/oasis/OASISDataNotation.ml" 121 3485 3507
type(
  var_name
)
"src/oasis/OASISDataNotation.ml" 121 3485 3509 "src/oasis/OASISDataNotation.ml" 121 3485 3511
type(
  (var_name * t) list
)
"src/oasis/OASISDataNotation.ml" 121 3485 3514 "src/oasis/OASISDataNotation.ml" 121 3485 3517
type(
  t
)
ident(
  int_ref arg "src/oasis/OASISDataNotation.ml" 120 3467 3478 "src/oasis/OASISDataNotation.ml" 120 3467 3481
)
"src/oasis/OASISDataNotation.ml" 121 3485 3513 "src/oasis/OASISDataNotation.ml" 121 3485 3518
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 121 3485 3491 "src/oasis/OASISDataNotation.ml" 121 3485 3519
type(
  t
)
"src/oasis/OASISDataNotation.ml" 122 3520 3526 "src/oasis/OASISDataNotation.ml" 122 3520 3530
type(
  t option
)
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 123 3534 3544 "src/oasis/OASISDataNotation.ml" 123 3534 3545
type(
  'a func
)
ident(
  int_ref t "src/oasis/OASISDataNotation.ml" 118 3423 3439 "src/oasis/OASISDataNotation.ml" 118 3423 3440
)
"src/oasis/OASISDataNotation.ml" 123 3534 3544 "src/oasis/OASISDataNotation.ml" 123 3534 3555
type(
  var_name
)
"src/oasis/OASISDataNotation.ml" 123 3534 3540 "src/oasis/OASISDataNotation.ml" 123 3534 3555
type(
  t
)
"src/oasis/OASISDataNotation.ml" 119 3443 3445 "src/oasis/OASISDataNotation.ml" 123 3534 3555
type(
  t
)
"src/oasis/OASISDataNotation.ml" 128 3618 3622 "src/oasis/OASISDataNotation.ml" 128 3618 3631
type(
  'a func -> 'a
)
ident(
  def func_call "src/oasis/OASISDataNotation.ml" 130 3649 3649 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 128 3618 3632 "src/oasis/OASISDataNotation.ml" 128 3618 3633
type(
  'a func
)
ident(
  def t "src/oasis/OASISDataNotation.ml" 128 3618 3636 "src/oasis/OASISDataNotation.ml" 128 3618 3647
)
"src/oasis/OASISDataNotation.ml" 128 3618 3636 "src/oasis/OASISDataNotation.ml" 128 3618 3637
type(
  'a func
)
ident(
  int_ref t "src/oasis/OASISDataNotation.ml" 128 3618 3632 "src/oasis/OASISDataNotation.ml" 128 3618 3633
)
"src/oasis/OASISDataNotation.ml" 128 3618 3636 "src/oasis/OASISDataNotation.ml" 128 3618 3647
type(
  'a
)
"src/oasis/OASISDataNotation.ml" 135 3686 3690 "src/oasis/OASISDataNotation.ml" 135 3686 3696
type(
  ?opened_modules:string list -> Format.formatter -> t -> unit
)
ident(
  def pp_odn "src/oasis/OASISDataNotation.ml" 273 7398 7418 "src/oasis/OASISDataNotation.ml" 0 0 -1
)
"src/oasis/OASISDataNotation.ml" 135 3686 3699 "src/oasis/OASISDataNotation.ml" 135 3686 3713
type(
  string list
)
ident(
  def opened_modules "src/oasis/OASISDataNotation.ml" 135 3686 3718 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 135 3686 3714 "src/oasis/OASISDataNotation.ml" 135 3686 3716
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
type(
  string list
)
ident(
  int_ref *sth* "src/oasis/OASISDataNotation.ml" 135 3686 3714 "src/oasis/OASISDataNotation.ml" 135 3686 3716
)
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
ident(
  def *sth* "src/oasis/OASISDataNotation.ml" 135 3686 3714 "src/oasis/OASISDataNotation.ml" 135 3686 3716
)
"src/oasis/OASISDataNotation.ml" 135 3686 3718 "src/oasis/OASISDataNotation.ml" 135 3686 3721
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 135 3686 3722 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 135 3686 3722 "src/oasis/OASISDataNotation.ml" 135 3686 3723
type(
  t
)
ident(
  def t "src/oasis/OASISDataNotation.ml" 137 3727 3729 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 137 3727 3733 "src/oasis/OASISDataNotation.ml" 137 3727 3747
type(
  string list
)
ident(
  def opened_modules "src/oasis/OASISDataNotation.ml" 144 3910 3912 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 139 3804 3808 "src/oasis/OASISDataNotation.ml" 139 3804 3817
type(
  (string -> string -> int) -> string list -> string list
)
ident(
  int_ref Stdlib.List.sort "list.mli" 444 14676 14676 "list.mli" 444 14676 14726
)
"src/oasis/OASISDataNotation.ml" 140 3818 3829 "src/oasis/OASISDataNotation.ml" 140 3818 3833
type(
  string
)
ident(
  def mod1 "src/oasis/OASISDataNotation.ml" 140 3818 3834 "src/oasis/OASISDataNotation.ml" 140 3818 3881
)
"src/oasis/OASISDataNotation.ml" 140 3818 3834 "src/oasis/OASISDataNotation.ml" 140 3818 3838
type(
  string
)
ident(
  def mod2 "src/oasis/OASISDataNotation.ml" 140 3818 3842 "src/oasis/OASISDataNotation.ml" 140 3818 3881
)
"src/oasis/OASISDataNotation.ml" 140 3818 3842 "src/oasis/OASISDataNotation.ml" 140 3818 3855
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISDataNotation.ml" 140 3818 3856 "src/oasis/OASISDataNotation.ml" 140 3818 3860
type(
  string
)
ident(
  int_ref mod2 "src/oasis/OASISDataNotation.ml" 140 3818 3834 "src/oasis/OASISDataNotation.ml" 140 3818 3838
)
"src/oasis/OASISDataNotation.ml" 140 3818 3842 "src/oasis/OASISDataNotation.ml" 140 3818 3860
type(
  int
)
"src/oasis/OASISDataNotation.ml" 140 3818 3861 "src/oasis/OASISDataNotation.ml" 140 3818 3862
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISDataNotation.ml" 140 3818 3863 "src/oasis/OASISDataNotation.ml" 140 3818 3876
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISDataNotation.ml" 140 3818 3877 "src/oasis/OASISDataNotation.ml" 140 3818 3881
type(
  string
)
ident(
  int_ref mod1 "src/oasis/OASISDataNotation.ml" 140 3818 3829 "src/oasis/OASISDataNotation.ml" 140 3818 3833
)
"src/oasis/OASISDataNotation.ml" 140 3818 3863 "src/oasis/OASISDataNotation.ml" 140 3818 3881
type(
  int
)
"src/oasis/OASISDataNotation.ml" 140 3818 3842 "src/oasis/OASISDataNotation.ml" 140 3818 3881
type(
  int
)
"src/oasis/OASISDataNotation.ml" 140 3818 3824 "src/oasis/OASISDataNotation.ml" 140 3818 3882
type(
  string -> string -> int
)
"src/oasis/OASISDataNotation.ml" 141 3883 3889 "src/oasis/OASISDataNotation.ml" 141 3883 3903
type(
  string list
)
ident(
  int_ref opened_modules "src/oasis/OASISDataNotation.ml" 135 3686 3699 "src/oasis/OASISDataNotation.ml" 135 3686 3713
)
"src/oasis/OASISDataNotation.ml" 139 3804 3808 "src/oasis/OASISDataNotation.ml" 141 3883 3903
type(
  string list
)
"src/oasis/OASISDataNotation.ml" 144 3910 3916 "src/oasis/OASISDataNotation.ml" 144 3910 3923
type(
  (Format.formatter -> 'a -> unit) ->
  ('b, Format.formatter, unit) format -> Format.formatter -> 'a list -> unit
)
ident(
  def pp_list "src/oasis/OASISDataNotation.ml" 157 4161 4163 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 144 3910 3924 "src/oasis/OASISDataNotation.ml" 144 3910 3931
type(
  Format.formatter -> 'a -> unit
)
ident(
  def pp_elem "src/oasis/OASISDataNotation.ml" 144 3910 3932 "src/oasis/OASISDataNotation.ml" 154 4140 4154
)
"src/oasis/OASISDataNotation.ml" 144 3910 3932 "src/oasis/OASISDataNotation.ml" 144 3910 3939
type(
  ('b, Format.formatter, unit) format
)
ident(
  def lst_sep "src/oasis/OASISDataNotation.ml" 144 3910 3940 "src/oasis/OASISDataNotation.ml" 154 4140 4154
)
"src/oasis/OASISDataNotation.ml" 144 3910 3940 "src/oasis/OASISDataNotation.ml" 144 3910 3943
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 145 3946 3950 "src/oasis/OASISDataNotation.ml" 154 4140 4154
)
"src/oasis/OASISDataNotation.ml" 146 3959 3967 "src/oasis/OASISDataNotation.ml" 146 3959 3969
type(
  'a list
)
"src/oasis/OASISDataNotation.ml" 147 3973 3983 "src/oasis/OASISDataNotation.ml" 147 3973 3985
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 148 3986 3994 "src/oasis/OASISDataNotation.ml" 148 3986 3996
type(
  'a
)
ident(
  def hd "src/oasis/OASISDataNotation.ml" 149 4006 4016 "src/oasis/OASISDataNotation.ml" 154 4140 4154
)
"src/oasis/OASISDataNotation.ml" 148 3986 4000 "src/oasis/OASISDataNotation.ml" 148 3986 4002
type(
  'a list
)
ident(
  def tl "src/oasis/OASISDataNotation.ml" 149 4006 4016 "src/oasis/OASISDataNotation.ml" 154 4140 4154
)
"src/oasis/OASISDataNotation.ml" 148 3986 3994 "src/oasis/OASISDataNotation.ml" 148 3986 4002
type(
  'a list
)
"src/oasis/OASISDataNotation.ml" 149 4006 4016 "src/oasis/OASISDataNotation.ml" 149 4006 4023
type(
  Format.formatter -> 'a -> unit
)
ident(
  int_ref pp_elem "src/oasis/OASISDataNotation.ml" 144 3910 3924 "src/oasis/OASISDataNotation.ml" 144 3910 3931
)
"src/oasis/OASISDataNotation.ml" 149 4006 4024 "src/oasis/OASISDataNotation.ml" 149 4006 4027
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 144 3910 3940 "src/oasis/OASISDataNotation.ml" 144 3910 3943
)
"src/oasis/OASISDataNotation.ml" 149 4006 4028 "src/oasis/OASISDataNotation.ml" 149 4006 4030
type(
  'a
)
ident(
  int_ref hd "src/oasis/OASISDataNotation.ml" 148 3986 3994 "src/oasis/OASISDataNotation.ml" 148 3986 3996
)
"src/oasis/OASISDataNotation.ml" 149 4006 4016 "src/oasis/OASISDataNotation.ml" 149 4006 4030
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 150 4032 4042 "src/oasis/OASISDataNotation.ml" 150 4032 4051
type(
  ('a -> unit) -> 'a list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISDataNotation.ml" 151 4052 4069 "src/oasis/OASISDataNotation.ml" 151 4052 4070
type(
  'a
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 152 4074 4089 "src/oasis/OASISDataNotation.ml" 153 4110 4138
)
"src/oasis/OASISDataNotation.ml" 152 4074 4089 "src/oasis/OASISDataNotation.ml" 152 4074 4096
type(
  Format.formatter -> ('b, Format.formatter, unit) format -> 'b
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 152 4074 4097 "src/oasis/OASISDataNotation.ml" 152 4074 4100
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 144 3910 3940 "src/oasis/OASISDataNotation.ml" 144 3910 3943
)
"src/oasis/OASISDataNotation.ml" 152 4074 4101 "src/oasis/OASISDataNotation.ml" 152 4074 4108
type(
  ('b, Format.formatter, unit) format
)
ident(
  int_ref lst_sep "src/oasis/OASISDataNotation.ml" 144 3910 3932 "src/oasis/OASISDataNotation.ml" 144 3910 3939
)
"src/oasis/OASISDataNotation.ml" 152 4074 4089 "src/oasis/OASISDataNotation.ml" 152 4074 4108
type(
  'b
)
"src/oasis/OASISDataNotation.ml" 153 4110 4125 "src/oasis/OASISDataNotation.ml" 153 4110 4132
type(
  Format.formatter -> 'a -> unit
)
ident(
  int_ref pp_elem "src/oasis/OASISDataNotation.ml" 144 3910 3924 "src/oasis/OASISDataNotation.ml" 144 3910 3931
)
"src/oasis/OASISDataNotation.ml" 153 4110 4133 "src/oasis/OASISDataNotation.ml" 153 4110 4136
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 144 3910 3940 "src/oasis/OASISDataNotation.ml" 144 3910 3943
)
"src/oasis/OASISDataNotation.ml" 153 4110 4137 "src/oasis/OASISDataNotation.ml" 153 4110 4138
type(
  'a
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 151 4052 4069 "src/oasis/OASISDataNotation.ml" 151 4052 4070
)
"src/oasis/OASISDataNotation.ml" 153 4110 4125 "src/oasis/OASISDataNotation.ml" 153 4110 4138
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 152 4074 4089 "src/oasis/OASISDataNotation.ml" 153 4110 4138
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 151 4052 4064 "src/oasis/OASISDataNotation.ml" 153 4110 4139
type(
  'a -> unit
)
"src/oasis/OASISDataNotation.ml" 154 4140 4152 "src/oasis/OASISDataNotation.ml" 154 4140 4154
type(
  'a list
)
ident(
  int_ref tl "src/oasis/OASISDataNotation.ml" 148 3986 4000 "src/oasis/OASISDataNotation.ml" 148 3986 4002
)
"src/oasis/OASISDataNotation.ml" 150 4032 4042 "src/oasis/OASISDataNotation.ml" 154 4140 4154
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 149 4006 4016 "src/oasis/OASISDataNotation.ml" 154 4140 4154
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 145 3946 3950 "src/oasis/OASISDataNotation.ml" 154 4140 4154
type(
  'a list -> unit
)
"src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
type(
  Format.formatter -> string -> unit
)
ident(
  def pp_print_id "src/oasis/OASISDataNotation.ml" 191 5011 5013 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 157 4161 4179 "src/oasis/OASISDataNotation.ml" 157 4161 4182
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 157 4161 4183 "src/oasis/OASISDataNotation.ml" 188 4955 5004
)
"src/oasis/OASISDataNotation.ml" 157 4161 4183 "src/oasis/OASISDataNotation.ml" 157 4161 4185
type(
  string
)
ident(
  def id "src/oasis/OASISDataNotation.ml" 158 4188 4192 "src/oasis/OASISDataNotation.ml" 188 4955 5004
)
"src/oasis/OASISDataNotation.ml" 158 4188 4196 "src/oasis/OASISDataNotation.ml" 158 4188 4214
type(
  string -> string
)
ident(
  def chop_opened_module "src/oasis/OASISDataNotation.ml" 188 4955 4961 "src/oasis/OASISDataNotation.ml" 188 4955 5004
)
"src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
type(
  string
)
ident(
  def str "src/oasis/OASISDataNotation.ml" 159 4221 4227 "src/oasis/OASISDataNotation.ml" 186 4936 4947
)
"src/oasis/OASISDataNotation.ml" 160 4231 4243 "src/oasis/OASISDataNotation.ml" 160 4231 4250
type(
  int
)
ident(
  def str_len "src/oasis/OASISDataNotation.ml" 164 4293 4301 "src/oasis/OASISDataNotation.ml" 183 4842 4910
)
"src/oasis/OASISDataNotation.ml" 161 4253 4263 "src/oasis/OASISDataNotation.ml" 161 4253 4276
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISDataNotation.ml" 161 4253 4277 "src/oasis/OASISDataNotation.ml" 161 4253 4280
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
)
"src/oasis/OASISDataNotation.ml" 161 4253 4263 "src/oasis/OASISDataNotation.ml" 161 4253 4280
type(
  int
)
"src/oasis/OASISDataNotation.ml" 164 4293 4305 "src/oasis/OASISDataNotation.ml" 164 4293 4324
type(
  string
)
ident(
  def matching_opened_mod "src/oasis/OASISDataNotation.ml" 179 4750 4758 "src/oasis/OASISDataNotation.ml" 183 4842 4910
)
"src/oasis/OASISDataNotation.ml" 165 4327 4337 "src/oasis/OASISDataNotation.ml" 165 4327 4346
type(
  (string -> bool) -> string list -> string
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/oasis/OASISDataNotation.ml" 166 4347 4364 "src/oasis/OASISDataNotation.ml" 166 4347 4374
type(
  string
)
ident(
  def opened_mod "src/oasis/OASISDataNotation.ml" 167 4378 4393 "src/oasis/OASISDataNotation.ml" 175 4685 4709
)
"src/oasis/OASISDataNotation.ml" 167 4378 4397 "src/oasis/OASISDataNotation.ml" 167 4378 4411
type(
  int
)
ident(
  def opened_mod_len "src/oasis/OASISDataNotation.ml" 170 4474 4491 "src/oasis/OASISDataNotation.ml" 175 4685 4709
)
"src/oasis/OASISDataNotation.ml" 168 4414 4431 "src/oasis/OASISDataNotation.ml" 168 4414 4444
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISDataNotation.ml" 168 4414 4445 "src/oasis/OASISDataNotation.ml" 168 4414 4455
type(
  string
)
ident(
  int_ref opened_mod "src/oasis/OASISDataNotation.ml" 166 4347 4364 "src/oasis/OASISDataNotation.ml" 166 4347 4374
)
"src/oasis/OASISDataNotation.ml" 168 4414 4431 "src/oasis/OASISDataNotation.ml" 168 4414 4455
type(
  int
)
"src/oasis/OASISDataNotation.ml" 170 4474 4494 "src/oasis/OASISDataNotation.ml" 170 4474 4508
type(
  int
)
ident(
  int_ref opened_mod_len "src/oasis/OASISDataNotation.ml" 167 4378 4397 "src/oasis/OASISDataNotation.ml" 167 4378 4411
)
"src/oasis/OASISDataNotation.ml" 170 4474 4509 "src/oasis/OASISDataNotation.ml" 170 4474 4510
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISDataNotation.ml" 170 4474 4511 "src/oasis/OASISDataNotation.ml" 170 4474 4512
type(
  int
)
"src/oasis/OASISDataNotation.ml" 170 4474 4494 "src/oasis/OASISDataNotation.ml" 170 4474 4512
type(
  int
)
"src/oasis/OASISDataNotation.ml" 170 4474 4513 "src/oasis/OASISDataNotation.ml" 170 4474 4515
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISDataNotation.ml" 170 4474 4516 "src/oasis/OASISDataNotation.ml" 170 4474 4523
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISDataNotation.ml" 160 4231 4243 "src/oasis/OASISDataNotation.ml" 160 4231 4250
)
"src/oasis/OASISDataNotation.ml" 170 4474 4494 "src/oasis/OASISDataNotation.ml" 170 4474 4523
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 171 4529 4549 "src/oasis/OASISDataNotation.ml" 171 4529 4559
type(
  string
)
ident(
  int_ref opened_mod "src/oasis/OASISDataNotation.ml" 166 4347 4364 "src/oasis/OASISDataNotation.ml" 166 4347 4374
)
"src/oasis/OASISDataNotation.ml" 171 4529 4560 "src/oasis/OASISDataNotation.ml" 171 4529 4561
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISDataNotation.ml" 171 4529 4562 "src/oasis/OASISDataNotation.ml" 171 4529 4572
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISDataNotation.ml" 171 4529 4573 "src/oasis/OASISDataNotation.ml" 171 4529 4576
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
)
"src/oasis/OASISDataNotation.ml" 171 4529 4577 "src/oasis/OASISDataNotation.ml" 171 4529 4578
type(
  int
)
"src/oasis/OASISDataNotation.ml" 171 4529 4579 "src/oasis/OASISDataNotation.ml" 171 4529 4593
type(
  int
)
ident(
  int_ref opened_mod_len "src/oasis/OASISDataNotation.ml" 167 4378 4397 "src/oasis/OASISDataNotation.ml" 167 4378 4411
)
"src/oasis/OASISDataNotation.ml" 171 4529 4562 "src/oasis/OASISDataNotation.ml" 171 4529 4593
type(
  string
)
"src/oasis/OASISDataNotation.ml" 171 4529 4548 "src/oasis/OASISDataNotation.ml" 171 4529 4594
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 172 4595 4614 "src/oasis/OASISDataNotation.ml" 172 4595 4616
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISDataNotation.ml" 173 4617 4636 "src/oasis/OASISDataNotation.ml" 173 4617 4639
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
)
"src/oasis/OASISDataNotation.ml" 173 4617 4641 "src/oasis/OASISDataNotation.ml" 173 4617 4655
type(
  int
)
ident(
  int_ref opened_mod_len "src/oasis/OASISDataNotation.ml" 167 4378 4397 "src/oasis/OASISDataNotation.ml" 167 4378 4411
)
"src/oasis/OASISDataNotation.ml" 173 4617 4636 "src/oasis/OASISDataNotation.ml" 173 4617 4656
type(
  char
)
"src/oasis/OASISDataNotation.ml" 173 4617 4657 "src/oasis/OASISDataNotation.ml" 173 4617 4658
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISDataNotation.ml" 173 4617 4659 "src/oasis/OASISDataNotation.ml" 173 4617 4662
type(
  char
)
"src/oasis/OASISDataNotation.ml" 173 4617 4636 "src/oasis/OASISDataNotation.ml" 173 4617 4662
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 171 4529 4548 "src/oasis/OASISDataNotation.ml" 173 4617 4662
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 175 4685 4704 "src/oasis/OASISDataNotation.ml" 175 4685 4709
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 170 4474 4491 "src/oasis/OASISDataNotation.ml" 175 4685 4709
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 167 4378 4393 "src/oasis/OASISDataNotation.ml" 175 4685 4709
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 166 4347 4359 "src/oasis/OASISDataNotation.ml" 175 4685 4710
type(
  string -> bool
)
"src/oasis/OASISDataNotation.ml" 176 4711 4723 "src/oasis/OASISDataNotation.ml" 176 4711 4737
type(
  string list
)
ident(
  int_ref opened_modules "src/oasis/OASISDataNotation.ml" 137 3727 3733 "src/oasis/OASISDataNotation.ml" 137 3727 3747
)
"src/oasis/OASISDataNotation.ml" 165 4327 4337 "src/oasis/OASISDataNotation.ml" 176 4711 4737
type(
  string
)
"src/oasis/OASISDataNotation.ml" 179 4750 4762 "src/oasis/OASISDataNotation.ml" 179 4750 4777
type(
  int
)
ident(
  def chop_prefix_len "src/oasis/OASISDataNotation.ml" 183 4842 4852 "src/oasis/OASISDataNotation.ml" 183 4842 4910
)
"src/oasis/OASISDataNotation.ml" 180 4780 4791 "src/oasis/OASISDataNotation.ml" 180 4780 4804
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISDataNotation.ml" 180 4780 4805 "src/oasis/OASISDataNotation.ml" 180 4780 4824
type(
  string
)
ident(
  int_ref matching_opened_mod "src/oasis/OASISDataNotation.ml" 164 4293 4305 "src/oasis/OASISDataNotation.ml" 164 4293 4324
)
"src/oasis/OASISDataNotation.ml" 180 4780 4790 "src/oasis/OASISDataNotation.ml" 180 4780 4825
type(
  int
)
"src/oasis/OASISDataNotation.ml" 180 4780 4826 "src/oasis/OASISDataNotation.ml" 180 4780 4827
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISDataNotation.ml" 180 4780 4828 "src/oasis/OASISDataNotation.ml" 180 4780 4829
type(
  int
)
"src/oasis/OASISDataNotation.ml" 180 4780 4790 "src/oasis/OASISDataNotation.ml" 180 4780 4829
type(
  int
)
"src/oasis/OASISDataNotation.ml" 183 4842 4852 "src/oasis/OASISDataNotation.ml" 183 4842 4862
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISDataNotation.ml" 183 4842 4863 "src/oasis/OASISDataNotation.ml" 183 4842 4866
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
)
"src/oasis/OASISDataNotation.ml" 183 4842 4867 "src/oasis/OASISDataNotation.ml" 183 4842 4882
type(
  int
)
ident(
  int_ref chop_prefix_len "src/oasis/OASISDataNotation.ml" 179 4750 4762 "src/oasis/OASISDataNotation.ml" 179 4750 4777
)
"src/oasis/OASISDataNotation.ml" 183 4842 4884 "src/oasis/OASISDataNotation.ml" 183 4842 4891
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISDataNotation.ml" 160 4231 4243 "src/oasis/OASISDataNotation.ml" 160 4231 4250
)
"src/oasis/OASISDataNotation.ml" 183 4842 4892 "src/oasis/OASISDataNotation.ml" 183 4842 4893
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISDataNotation.ml" 183 4842 4894 "src/oasis/OASISDataNotation.ml" 183 4842 4909
type(
  int
)
ident(
  int_ref chop_prefix_len "src/oasis/OASISDataNotation.ml" 179 4750 4762 "src/oasis/OASISDataNotation.ml" 179 4750 4777
)
"src/oasis/OASISDataNotation.ml" 183 4842 4883 "src/oasis/OASISDataNotation.ml" 183 4842 4910
type(
  int
)
"src/oasis/OASISDataNotation.ml" 183 4842 4852 "src/oasis/OASISDataNotation.ml" 183 4842 4910
type(
  string
)
"src/oasis/OASISDataNotation.ml" 179 4750 4758 "src/oasis/OASISDataNotation.ml" 183 4842 4910
type(
  string
)
"src/oasis/OASISDataNotation.ml" 164 4293 4301 "src/oasis/OASISDataNotation.ml" 183 4842 4910
type(
  string
)
"src/oasis/OASISDataNotation.ml" 160 4231 4239 "src/oasis/OASISDataNotation.ml" 183 4842 4910
type(
  string
)
"src/oasis/OASISDataNotation.ml" 185 4912 4923 "src/oasis/OASISDataNotation.ml" 185 4912 4932
type(
  exn
)
"src/oasis/OASISDataNotation.ml" 186 4936 4944 "src/oasis/OASISDataNotation.ml" 186 4936 4947
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 158 4188 4215 "src/oasis/OASISDataNotation.ml" 158 4188 4218
)
"src/oasis/OASISDataNotation.ml" 159 4221 4227 "src/oasis/OASISDataNotation.ml" 186 4936 4947
type(
  string
)
"src/oasis/OASISDataNotation.ml" 188 4955 4961 "src/oasis/OASISDataNotation.ml" 188 4955 4976
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/oasis/OASISDataNotation.ml" 188 4955 4977 "src/oasis/OASISDataNotation.ml" 188 4955 4980
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 157 4161 4179 "src/oasis/OASISDataNotation.ml" 157 4161 4182
)
"src/oasis/OASISDataNotation.ml" 188 4955 4982 "src/oasis/OASISDataNotation.ml" 188 4955 5000
type(
  string -> string
)
ident(
  int_ref chop_opened_module "src/oasis/OASISDataNotation.ml" 158 4188 4196 "src/oasis/OASISDataNotation.ml" 158 4188 4214
)
"src/oasis/OASISDataNotation.ml" 188 4955 5001 "src/oasis/OASISDataNotation.ml" 188 4955 5003
type(
  string
)
ident(
  int_ref id "src/oasis/OASISDataNotation.ml" 157 4161 4183 "src/oasis/OASISDataNotation.ml" 157 4161 4185
)
"src/oasis/OASISDataNotation.ml" 188 4955 4981 "src/oasis/OASISDataNotation.ml" 188 4955 5004
type(
  string
)
"src/oasis/OASISDataNotation.ml" 188 4955 4961 "src/oasis/OASISDataNotation.ml" 188 4955 5004
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 158 4188 4192 "src/oasis/OASISDataNotation.ml" 188 4955 5004
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
type(
  Format.formatter -> t -> unit
)
ident(
  def pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5013 "src/oasis/OASISDataNotation.ml" 273 7398 7418
)
"src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 192 5038 5042 "src/oasis/OASISDataNotation.ml" 270 7365 7391
)
"src/oasis/OASISDataNotation.ml" 193 5051 5064 "src/oasis/OASISDataNotation.ml" 193 5051 5070
type(
  module_name
)
ident(
  def mod_nm "src/oasis/OASISDataNotation.ml" 194 5081 5091 "src/oasis/OASISDataNotation.ml" 217 5945 5958
)
"src/oasis/OASISDataNotation.ml" 193 5051 5072 "src/oasis/OASISDataNotation.ml" 193 5051 5076
type(
  (field_name * t) list
)
ident(
  def flds "src/oasis/OASISDataNotation.ml" 194 5081 5091 "src/oasis/OASISDataNotation.ml" 217 5945 5958
)
"src/oasis/OASISDataNotation.ml" 193 5051 5059 "src/oasis/OASISDataNotation.ml" 193 5051 5077
type(
  t
)
"src/oasis/OASISDataNotation.ml" 195 5097 5117 "src/oasis/OASISDataNotation.ml" 195 5097 5129
type(
  Format.formatter -> bool -> (string * t) list -> unit
)
ident(
  def print_fields "src/oasis/OASISDataNotation.ml" 194 5081 5091 "src/oasis/OASISDataNotation.ml" 217 5945 5958
)
"src/oasis/OASISDataNotation.ml" 195 5097 5130 "src/oasis/OASISDataNotation.ml" 195 5097 5133
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 195 5097 5134 "src/oasis/OASISDataNotation.ml" 212 5786 5808
)
"src/oasis/OASISDataNotation.ml" 195 5097 5134 "src/oasis/OASISDataNotation.ml" 195 5097 5139
type(
  bool
)
ident(
  def first "src/oasis/OASISDataNotation.ml" 195 5097 5140 "src/oasis/OASISDataNotation.ml" 212 5786 5808
)
"src/oasis/OASISDataNotation.ml" 195 5097 5140 "src/oasis/OASISDataNotation.ml" 195 5097 5146
type(
  (string * t) list
)
ident(
  def fields "src/oasis/OASISDataNotation.ml" 196 5149 5163 "src/oasis/OASISDataNotation.ml" 212 5786 5808
)
"src/oasis/OASISDataNotation.ml" 196 5149 5167 "src/oasis/OASISDataNotation.ml" 196 5149 5178
type(
  Format.formatter -> string * t -> unit
)
ident(
  def print_field "src/oasis/OASISDataNotation.ml" 204 5488 5502 "src/oasis/OASISDataNotation.ml" 212 5786 5808
)
"src/oasis/OASISDataNotation.ml" 196 5149 5179 "src/oasis/OASISDataNotation.ml" 196 5149 5182
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 196 5149 5183 "src/oasis/OASISDataNotation.ml" 202 5440 5470
)
"src/oasis/OASISDataNotation.ml" 196 5149 5184 "src/oasis/OASISDataNotation.ml" 196 5149 5187
type(
  string
)
ident(
  def fld "src/oasis/OASISDataNotation.ml" 197 5194 5210 "src/oasis/OASISDataNotation.ml" 202 5440 5470
)
"src/oasis/OASISDataNotation.ml" 196 5149 5189 "src/oasis/OASISDataNotation.ml" 196 5149 5190
type(
  t
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 197 5194 5210 "src/oasis/OASISDataNotation.ml" 202 5440 5470
)
"src/oasis/OASISDataNotation.ml" 196 5149 5183 "src/oasis/OASISDataNotation.ml" 196 5149 5191
type(
  string * t
)
"src/oasis/OASISDataNotation.ml" 197 5194 5210 "src/oasis/OASISDataNotation.ml" 197 5194 5217
type(
  Format.formatter ->
  ((Format.formatter -> string -> unit) ->
   string -> (Format.formatter -> t -> unit) -> t -> unit, Format.formatter,
   unit)
  format ->
  (Format.formatter -> string -> unit) ->
  string -> (Format.formatter -> t -> unit) -> t -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 197 5194 5218 "src/oasis/OASISDataNotation.ml" 197 5194 5221
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 196 5149 5179 "src/oasis/OASISDataNotation.ml" 196 5149 5182
)
"src/oasis/OASISDataNotation.ml" 198 5222 5240 "src/oasis/OASISDataNotation.ml" 198 5222 5260
type(
  ((Format.formatter -> string -> unit) ->
   string -> (Format.formatter -> t -> unit) -> t -> unit, Format.formatter,
   unit)
  format
)
"src/oasis/OASISDataNotation.ml" 201 5370 5388 "src/oasis/OASISDataNotation.ml" 201 5370 5399
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 201 5370 5404 "src/oasis/OASISDataNotation.ml" 201 5370 5409
type(
  bool
)
ident(
  int_ref first "src/oasis/OASISDataNotation.ml" 195 5097 5134 "src/oasis/OASISDataNotation.ml" 195 5097 5139
)
"src/oasis/OASISDataNotation.ml" 201 5370 5415 "src/oasis/OASISDataNotation.ml" 201 5370 5421
type(
  module_name
)
ident(
  int_ref mod_nm "src/oasis/OASISDataNotation.ml" 193 5051 5064 "src/oasis/OASISDataNotation.ml" 193 5051 5070
)
"src/oasis/OASISDataNotation.ml" 201 5370 5421 "src/oasis/OASISDataNotation.ml" 201 5370 5422
type(
  module_name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISDataNotation.ml" 201 5370 5422 "src/oasis/OASISDataNotation.ml" 201 5370 5425
type(
  string
)
"src/oasis/OASISDataNotation.ml" 201 5370 5425 "src/oasis/OASISDataNotation.ml" 201 5370 5426
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISDataNotation.ml" 201 5370 5426 "src/oasis/OASISDataNotation.ml" 201 5370 5429
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISDataNotation.ml" 196 5149 5184 "src/oasis/OASISDataNotation.ml" 196 5149 5187
)
"src/oasis/OASISDataNotation.ml" 201 5370 5422 "src/oasis/OASISDataNotation.ml" 201 5370 5429
type(
  string
)
"src/oasis/OASISDataNotation.ml" 201 5370 5415 "src/oasis/OASISDataNotation.ml" 201 5370 5429
type(
  string
)
"src/oasis/OASISDataNotation.ml" 201 5370 5435 "src/oasis/OASISDataNotation.ml" 201 5370 5438
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISDataNotation.ml" 196 5149 5184 "src/oasis/OASISDataNotation.ml" 196 5149 5187
)
"src/oasis/OASISDataNotation.ml" 201 5370 5400 "src/oasis/OASISDataNotation.ml" 201 5370 5439
type(
  string
)
"src/oasis/OASISDataNotation.ml" 202 5440 5458 "src/oasis/OASISDataNotation.ml" 202 5440 5468
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 202 5440 5469 "src/oasis/OASISDataNotation.ml" 202 5440 5470
type(
  t
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 196 5149 5189 "src/oasis/OASISDataNotation.ml" 196 5149 5190
)
"src/oasis/OASISDataNotation.ml" 197 5194 5210 "src/oasis/OASISDataNotation.ml" 202 5440 5470
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 204 5488 5508 "src/oasis/OASISDataNotation.ml" 204 5488 5514
type(
  (string * t) list
)
ident(
  int_ref fields "src/oasis/OASISDataNotation.ml" 195 5097 5140 "src/oasis/OASISDataNotation.ml" 195 5097 5146
)
"src/oasis/OASISDataNotation.ml" 205 5520 5539 "src/oasis/OASISDataNotation.ml" 205 5520 5542
type(
  string
)
ident(
  def fld "src/oasis/OASISDataNotation.ml" 206 5550 5570 "src/oasis/OASISDataNotation.ml" 206 5550 5594
)
"src/oasis/OASISDataNotation.ml" 205 5520 5544 "src/oasis/OASISDataNotation.ml" 205 5520 5545
type(
  t
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 206 5550 5570 "src/oasis/OASISDataNotation.ml" 206 5550 5594
)
"src/oasis/OASISDataNotation.ml" 205 5520 5539 "src/oasis/OASISDataNotation.ml" 205 5520 5545
type(
  string * t
)
"src/oasis/OASISDataNotation.ml" 205 5520 5538 "src/oasis/OASISDataNotation.ml" 205 5520 5546
type(
  (string * t) list
)
type(
  (string * t) list
)
"src/oasis/OASISDataNotation.ml" 206 5550 5570 "src/oasis/OASISDataNotation.ml" 206 5550 5581
type(
  Format.formatter -> string * t -> unit
)
ident(
  int_ref print_field "src/oasis/OASISDataNotation.ml" 196 5149 5167 "src/oasis/OASISDataNotation.ml" 196 5149 5178
)
"src/oasis/OASISDataNotation.ml" 206 5550 5582 "src/oasis/OASISDataNotation.ml" 206 5550 5585
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 195 5097 5130 "src/oasis/OASISDataNotation.ml" 195 5097 5133
)
"src/oasis/OASISDataNotation.ml" 206 5550 5587 "src/oasis/OASISDataNotation.ml" 206 5550 5590
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISDataNotation.ml" 205 5520 5539 "src/oasis/OASISDataNotation.ml" 205 5520 5542
)
"src/oasis/OASISDataNotation.ml" 206 5550 5592 "src/oasis/OASISDataNotation.ml" 206 5550 5593
type(
  t
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 205 5520 5544 "src/oasis/OASISDataNotation.ml" 205 5520 5545
)
"src/oasis/OASISDataNotation.ml" 206 5550 5586 "src/oasis/OASISDataNotation.ml" 206 5550 5594
type(
  string * t
)
"src/oasis/OASISDataNotation.ml" 206 5550 5570 "src/oasis/OASISDataNotation.ml" 206 5550 5594
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 207 5595 5614 "src/oasis/OASISDataNotation.ml" 207 5595 5617
type(
  string
)
ident(
  def fld "src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 210 5716 5761
)
"src/oasis/OASISDataNotation.ml" 207 5595 5619 "src/oasis/OASISDataNotation.ml" 207 5595 5620
type(
  t
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 210 5716 5761
)
"src/oasis/OASISDataNotation.ml" 207 5595 5613 "src/oasis/OASISDataNotation.ml" 207 5595 5621
type(
  string * t
)
"src/oasis/OASISDataNotation.ml" 207 5595 5625 "src/oasis/OASISDataNotation.ml" 207 5595 5627
type(
  (string * t) list
)
ident(
  def tl "src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 210 5716 5761
)
"src/oasis/OASISDataNotation.ml" 207 5595 5613 "src/oasis/OASISDataNotation.ml" 207 5595 5627
type(
  (string * t) list
)
type(
  (string * t) list
)
"src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 208 5631 5662
type(
  Format.formatter -> string * t -> unit
)
ident(
  int_ref print_field "src/oasis/OASISDataNotation.ml" 196 5149 5167 "src/oasis/OASISDataNotation.ml" 196 5149 5178
)
"src/oasis/OASISDataNotation.ml" 208 5631 5663 "src/oasis/OASISDataNotation.ml" 208 5631 5666
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 195 5097 5130 "src/oasis/OASISDataNotation.ml" 195 5097 5133
)
"src/oasis/OASISDataNotation.ml" 208 5631 5668 "src/oasis/OASISDataNotation.ml" 208 5631 5671
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISDataNotation.ml" 207 5595 5614 "src/oasis/OASISDataNotation.ml" 207 5595 5617
)
"src/oasis/OASISDataNotation.ml" 208 5631 5673 "src/oasis/OASISDataNotation.ml" 208 5631 5674
type(
  t
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 207 5595 5619 "src/oasis/OASISDataNotation.ml" 207 5595 5620
)
"src/oasis/OASISDataNotation.ml" 208 5631 5667 "src/oasis/OASISDataNotation.ml" 208 5631 5675
type(
  string * t
)
"src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 208 5631 5675
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 209 5677 5697 "src/oasis/OASISDataNotation.ml" 209 5677 5704
type(
  Format.formatter -> (unit, Format.formatter, unit) format -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 209 5677 5705 "src/oasis/OASISDataNotation.ml" 209 5677 5708
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 195 5097 5130 "src/oasis/OASISDataNotation.ml" 195 5097 5133
)
"src/oasis/OASISDataNotation.ml" 209 5677 5709 "src/oasis/OASISDataNotation.ml" 209 5677 5714
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 209 5677 5697 "src/oasis/OASISDataNotation.ml" 209 5677 5714
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 210 5716 5736 "src/oasis/OASISDataNotation.ml" 210 5716 5748
type(
  Format.formatter -> bool -> (string * t) list -> unit
)
ident(
  int_ref print_fields "src/oasis/OASISDataNotation.ml" 195 5097 5117 "src/oasis/OASISDataNotation.ml" 195 5097 5129
)
"src/oasis/OASISDataNotation.ml" 210 5716 5749 "src/oasis/OASISDataNotation.ml" 210 5716 5752
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 195 5097 5130 "src/oasis/OASISDataNotation.ml" 195 5097 5133
)
"src/oasis/OASISDataNotation.ml" 210 5716 5753 "src/oasis/OASISDataNotation.ml" 210 5716 5758
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 210 5716 5759 "src/oasis/OASISDataNotation.ml" 210 5716 5761
type(
  (string * t) list
)
ident(
  int_ref tl "src/oasis/OASISDataNotation.ml" 207 5595 5625 "src/oasis/OASISDataNotation.ml" 207 5595 5627
)
"src/oasis/OASISDataNotation.ml" 210 5716 5736 "src/oasis/OASISDataNotation.ml" 210 5716 5761
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 209 5677 5697 "src/oasis/OASISDataNotation.ml" 210 5716 5761
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 208 5631 5651 "src/oasis/OASISDataNotation.ml" 210 5716 5761
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 211 5762 5780 "src/oasis/OASISDataNotation.ml" 211 5762 5782
type(
  (string * t) list
)
type(
  (string * t) list
)
"src/oasis/OASISDataNotation.ml" 212 5786 5806 "src/oasis/OASISDataNotation.ml" 212 5786 5808
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 204 5488 5502 "src/oasis/OASISDataNotation.ml" 212 5786 5808
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 196 5149 5163 "src/oasis/OASISDataNotation.ml" 212 5786 5808
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 214 5824 5838 "src/oasis/OASISDataNotation.ml" 214 5824 5845
type(
  Format.formatter -> (unit, Format.formatter, unit) format -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 214 5824 5846 "src/oasis/OASISDataNotation.ml" 214 5824 5849
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 214 5824 5850 "src/oasis/OASISDataNotation.ml" 214 5824 5865
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 214 5824 5838 "src/oasis/OASISDataNotation.ml" 214 5824 5865
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 215 5867 5881 "src/oasis/OASISDataNotation.ml" 215 5867 5893
type(
  Format.formatter -> bool -> (field_name * t) list -> unit
)
ident(
  int_ref print_fields "src/oasis/OASISDataNotation.ml" 195 5097 5117 "src/oasis/OASISDataNotation.ml" 195 5097 5129
)
"src/oasis/OASISDataNotation.ml" 215 5867 5894 "src/oasis/OASISDataNotation.ml" 215 5867 5897
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 215 5867 5898 "src/oasis/OASISDataNotation.ml" 215 5867 5902
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 215 5867 5903 "src/oasis/OASISDataNotation.ml" 215 5867 5907
type(
  (field_name * t) list
)
ident(
  int_ref flds "src/oasis/OASISDataNotation.ml" 193 5051 5072 "src/oasis/OASISDataNotation.ml" 193 5051 5076
)
"src/oasis/OASISDataNotation.ml" 215 5867 5881 "src/oasis/OASISDataNotation.ml" 215 5867 5907
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 216 5909 5923 "src/oasis/OASISDataNotation.ml" 216 5909 5930
type(
  Format.formatter -> (unit, Format.formatter, unit) format -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 216 5909 5931 "src/oasis/OASISDataNotation.ml" 216 5909 5934
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 216 5909 5935 "src/oasis/OASISDataNotation.ml" 216 5909 5944
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 216 5909 5923 "src/oasis/OASISDataNotation.ml" 216 5909 5944
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 215 5867 5881 "src/oasis/OASISDataNotation.ml" 216 5909 5944
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 214 5824 5838 "src/oasis/OASISDataNotation.ml" 216 5909 5944
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 194 5081 5091 "src/oasis/OASISDataNotation.ml" 217 5945 5958
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 219 5960 5972 "src/oasis/OASISDataNotation.ml" 219 5960 5975
type(
  t list
)
ident(
  def lst "src/oasis/OASISDataNotation.ml" 220 5979 5989 "src/oasis/OASISDataNotation.ml" 221 6026 6068
)
"src/oasis/OASISDataNotation.ml" 219 5960 5968 "src/oasis/OASISDataNotation.ml" 219 5960 5975
type(
  t
)
"src/oasis/OASISDataNotation.ml" 220 5979 5989 "src/oasis/OASISDataNotation.ml" 220 5979 5996
type(
  Format.formatter ->
  ((Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format -> (Format.formatter -> t list -> unit) -> t list -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 220 5979 5997 "src/oasis/OASISDataNotation.ml" 220 5979 6000
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 220 5979 6001 "src/oasis/OASISDataNotation.ml" 220 5979 6025
type(
  ((Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format
)
"src/oasis/OASISDataNotation.ml" 221 6026 6039 "src/oasis/OASISDataNotation.ml" 221 6026 6046
type(
  (Format.formatter -> t -> unit) ->
  (unit, Format.formatter, unit) format -> Format.formatter -> t list -> unit
)
ident(
  int_ref pp_list "src/oasis/OASISDataNotation.ml" 144 3910 3916 "src/oasis/OASISDataNotation.ml" 144 3910 3923
)
"src/oasis/OASISDataNotation.ml" 221 6026 6047 "src/oasis/OASISDataNotation.ml" 221 6026 6057
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 221 6026 6058 "src/oasis/OASISDataNotation.ml" 221 6026 6063
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 221 6026 6038 "src/oasis/OASISDataNotation.ml" 221 6026 6064
type(
  Format.formatter -> t list -> unit
)
"src/oasis/OASISDataNotation.ml" 221 6026 6065 "src/oasis/OASISDataNotation.ml" 221 6026 6068
type(
  t list
)
ident(
  int_ref lst "src/oasis/OASISDataNotation.ml" 219 5960 5972 "src/oasis/OASISDataNotation.ml" 219 5960 5975
)
"src/oasis/OASISDataNotation.ml" 220 5979 5989 "src/oasis/OASISDataNotation.ml" 221 6026 6068
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 222 6069 6081 "src/oasis/OASISDataNotation.ml" 222 6069 6084
type(
  string
)
ident(
  def str "src/oasis/OASISDataNotation.ml" 223 6088 6098 "src/oasis/OASISDataNotation.ml" 223 6088 6118
)
"src/oasis/OASISDataNotation.ml" 222 6069 6077 "src/oasis/OASISDataNotation.ml" 222 6069 6084
type(
  t
)
"src/oasis/OASISDataNotation.ml" 223 6088 6098 "src/oasis/OASISDataNotation.ml" 223 6088 6105
type(
  Format.formatter ->
  (string -> unit, Format.formatter, unit) format -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 223 6088 6106 "src/oasis/OASISDataNotation.ml" 223 6088 6109
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 223 6088 6110 "src/oasis/OASISDataNotation.ml" 223 6088 6114
type(
  (string -> unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 223 6088 6115 "src/oasis/OASISDataNotation.ml" 223 6088 6118
type(
  string
)
ident(
  int_ref str "src/oasis/OASISDataNotation.ml" 222 6069 6081 "src/oasis/OASISDataNotation.ml" 222 6069 6084
)
"src/oasis/OASISDataNotation.ml" 223 6088 6098 "src/oasis/OASISDataNotation.ml" 223 6088 6118
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 224 6119 6132 "src/oasis/OASISDataNotation.ml" 224 6119 6134
type(
  variant_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 225 6143 6153 "src/oasis/OASISDataNotation.ml" 225 6143 6171
)
"src/oasis/OASISDataNotation.ml" 224 6119 6136 "src/oasis/OASISDataNotation.ml" 224 6119 6138
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 224 6119 6127 "src/oasis/OASISDataNotation.ml" 224 6119 6139
type(
  t
)
"src/oasis/OASISDataNotation.ml" 225 6143 6153 "src/oasis/OASISDataNotation.ml" 225 6143 6164
type(
  Format.formatter -> variant_name -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 225 6143 6165 "src/oasis/OASISDataNotation.ml" 225 6143 6168
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 225 6143 6169 "src/oasis/OASISDataNotation.ml" 225 6143 6171
type(
  variant_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 224 6119 6132 "src/oasis/OASISDataNotation.ml" 224 6119 6134
)
"src/oasis/OASISDataNotation.ml" 225 6143 6153 "src/oasis/OASISDataNotation.ml" 225 6143 6171
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 226 6172 6185 "src/oasis/OASISDataNotation.ml" 226 6172 6187
type(
  variant_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 227 6197 6207 "src/oasis/OASISDataNotation.ml" 230 6277 6309
)
"src/oasis/OASISDataNotation.ml" 226 6172 6189 "src/oasis/OASISDataNotation.ml" 226 6172 6192
type(
  t list
)
ident(
  def lst "src/oasis/OASISDataNotation.ml" 227 6197 6207 "src/oasis/OASISDataNotation.ml" 230 6277 6309
)
"src/oasis/OASISDataNotation.ml" 226 6172 6180 "src/oasis/OASISDataNotation.ml" 226 6172 6193
type(
  t
)
"src/oasis/OASISDataNotation.ml" 227 6197 6207 "src/oasis/OASISDataNotation.ml" 227 6197 6214
type(
  Format.formatter ->
  ((Format.formatter -> variant_name -> unit) ->
   variant_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format ->
  (Format.formatter -> variant_name -> unit) ->
  variant_name -> (Format.formatter -> t -> unit) -> t -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 227 6197 6215 "src/oasis/OASISDataNotation.ml" 227 6197 6218
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 228 6219 6231 "src/oasis/OASISDataNotation.ml" 228 6219 6249
type(
  ((Format.formatter -> variant_name -> unit) ->
   variant_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format
)
"src/oasis/OASISDataNotation.ml" 229 6250 6262 "src/oasis/OASISDataNotation.ml" 229 6250 6273
type(
  Format.formatter -> variant_name -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 229 6250 6274 "src/oasis/OASISDataNotation.ml" 229 6250 6276
type(
  variant_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 226 6172 6185 "src/oasis/OASISDataNotation.ml" 226 6172 6187
)
"src/oasis/OASISDataNotation.ml" 230 6277 6289 "src/oasis/OASISDataNotation.ml" 230 6277 6299
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 230 6277 6305 "src/oasis/OASISDataNotation.ml" 230 6277 6308
type(
  t list
)
ident(
  int_ref lst "src/oasis/OASISDataNotation.ml" 226 6172 6189 "src/oasis/OASISDataNotation.ml" 226 6172 6192
)
"src/oasis/OASISDataNotation.ml" 230 6277 6300 "src/oasis/OASISDataNotation.ml" 230 6277 6309
type(
  t
)
"src/oasis/OASISDataNotation.ml" 227 6197 6207 "src/oasis/OASISDataNotation.ml" 230 6277 6309
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 231 6310 6322 "src/oasis/OASISDataNotation.ml" 231 6310 6323
type(
  bool
)
ident(
  def b "src/oasis/OASISDataNotation.ml" 232 6327 6337 "src/oasis/OASISDataNotation.ml" 232 6327 6356
)
"src/oasis/OASISDataNotation.ml" 231 6310 6318 "src/oasis/OASISDataNotation.ml" 231 6310 6323
type(
  t
)
"src/oasis/OASISDataNotation.ml" 232 6327 6337 "src/oasis/OASISDataNotation.ml" 232 6327 6350
type(
  Format.formatter -> bool -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_bool "format.mli" 248 10077 10077 "format.mli" 248 10077 10122
)
"src/oasis/OASISDataNotation.ml" 232 6327 6351 "src/oasis/OASISDataNotation.ml" 232 6327 6354
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 232 6327 6355 "src/oasis/OASISDataNotation.ml" 232 6327 6356
type(
  bool
)
ident(
  int_ref b "src/oasis/OASISDataNotation.ml" 231 6310 6322 "src/oasis/OASISDataNotation.ml" 231 6310 6323
)
"src/oasis/OASISDataNotation.ml" 232 6327 6337 "src/oasis/OASISDataNotation.ml" 232 6327 6356
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 233 6357 6369 "src/oasis/OASISDataNotation.ml" 233 6357 6371
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 233 6357 6365 "src/oasis/OASISDataNotation.ml" 233 6357 6371
type(
  t
)
"src/oasis/OASISDataNotation.ml" 234 6375 6385 "src/oasis/OASISDataNotation.ml" 234 6375 6400
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/oasis/OASISDataNotation.ml" 234 6375 6401 "src/oasis/OASISDataNotation.ml" 234 6375 6404
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 234 6375 6405 "src/oasis/OASISDataNotation.ml" 234 6375 6409
type(
  string
)
"src/oasis/OASISDataNotation.ml" 234 6375 6385 "src/oasis/OASISDataNotation.ml" 234 6375 6409
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 235 6410 6428 "src/oasis/OASISDataNotation.ml" 235 6410 6429
type(
  string
)
"src/oasis/OASISDataNotation.ml" 235 6410 6423 "src/oasis/OASISDataNotation.ml" 235 6410 6430
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6423 "src/oasis/OASISDataNotation.ml" 235 6410 6435
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 235 6410 6422 "src/oasis/OASISDataNotation.ml" 235 6410 6436
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 235 6410 6436
type(
  t
)
"src/oasis/OASISDataNotation.ml" 236 6437 6455 "src/oasis/OASISDataNotation.ml" 236 6437 6456
type(
  (field_name * t) list
)
type(
  module_name
)
"src/oasis/OASISDataNotation.ml" 236 6437 6450 "src/oasis/OASISDataNotation.ml" 236 6437 6457
type(
  t
)
"src/oasis/OASISDataNotation.ml" 236 6437 6450 "src/oasis/OASISDataNotation.ml" 236 6437 6462
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 236 6437 6449 "src/oasis/OASISDataNotation.ml" 236 6437 6463
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 236 6437 6445 "src/oasis/OASISDataNotation.ml" 236 6437 6463
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 236 6437 6463
type(
  t
)
"src/oasis/OASISDataNotation.ml" 237 6464 6482 "src/oasis/OASISDataNotation.ml" 237 6464 6483
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 237 6464 6477 "src/oasis/OASISDataNotation.ml" 237 6464 6484
type(
  t
)
"src/oasis/OASISDataNotation.ml" 237 6464 6477 "src/oasis/OASISDataNotation.ml" 237 6464 6489
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 237 6464 6476 "src/oasis/OASISDataNotation.ml" 237 6464 6490
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 237 6464 6472 "src/oasis/OASISDataNotation.ml" 237 6464 6490
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 237 6464 6490
type(
  t
)
"src/oasis/OASISDataNotation.ml" 238 6491 6509 "src/oasis/OASISDataNotation.ml" 238 6491 6510
type(
  bool
)
"src/oasis/OASISDataNotation.ml" 238 6491 6504 "src/oasis/OASISDataNotation.ml" 238 6491 6511
type(
  t
)
"src/oasis/OASISDataNotation.ml" 238 6491 6504 "src/oasis/OASISDataNotation.ml" 238 6491 6516
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 238 6491 6503 "src/oasis/OASISDataNotation.ml" 238 6491 6517
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 238 6491 6499 "src/oasis/OASISDataNotation.ml" 238 6491 6517
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 238 6491 6517
type(
  t
)
"src/oasis/OASISDataNotation.ml" 239 6518 6531 "src/oasis/OASISDataNotation.ml" 239 6518 6534
type(
  t
)
"src/oasis/OASISDataNotation.ml" 239 6518 6531 "src/oasis/OASISDataNotation.ml" 239 6518 6539
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 239 6518 6530 "src/oasis/OASISDataNotation.ml" 239 6518 6540
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 239 6518 6526 "src/oasis/OASISDataNotation.ml" 239 6518 6540
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 239 6518 6540
type(
  t
)
"src/oasis/OASISDataNotation.ml" 240 6541 6559 "src/oasis/OASISDataNotation.ml" 240 6541 6560
type(
  var_name
)
"src/oasis/OASISDataNotation.ml" 240 6541 6554 "src/oasis/OASISDataNotation.ml" 240 6541 6561
type(
  t
)
"src/oasis/OASISDataNotation.ml" 240 6541 6554 "src/oasis/OASISDataNotation.ml" 240 6541 6566
type(
  t
)
ident(
  def v "src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
)
"src/oasis/OASISDataNotation.ml" 240 6541 6553 "src/oasis/OASISDataNotation.ml" 240 6541 6567
type(
  t list
)
"src/oasis/OASISDataNotation.ml" 240 6541 6549 "src/oasis/OASISDataNotation.ml" 240 6541 6567
type(
  t
)
"src/oasis/OASISDataNotation.ml" 235 6410 6418 "src/oasis/OASISDataNotation.ml" 240 6541 6567
type(
  t
)
"src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6591
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 241 6571 6592 "src/oasis/OASISDataNotation.ml" 241 6571 6595
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 241 6571 6596 "src/oasis/OASISDataNotation.ml" 241 6571 6597
type(
  t
)
ident(
  int_ref v "src/oasis/OASISDataNotation.ml" 235 6410 6423 "src/oasis/OASISDataNotation.ml" 235 6410 6435
)
"src/oasis/OASISDataNotation.ml" 241 6571 6581 "src/oasis/OASISDataNotation.ml" 241 6571 6597
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 242 6598 6610 "src/oasis/OASISDataNotation.ml" 242 6598 6613
type(
  t list
)
ident(
  def lst "src/oasis/OASISDataNotation.ml" 243 6617 6627 "src/oasis/OASISDataNotation.ml" 245 6668 6710
)
"src/oasis/OASISDataNotation.ml" 242 6598 6606 "src/oasis/OASISDataNotation.ml" 242 6598 6613
type(
  t
)
"src/oasis/OASISDataNotation.ml" 243 6617 6627 "src/oasis/OASISDataNotation.ml" 243 6617 6634
type(
  Format.formatter ->
  ((Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format -> (Format.formatter -> t list -> unit) -> t list -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 243 6617 6635 "src/oasis/OASISDataNotation.ml" 243 6617 6638
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 244 6639 6651 "src/oasis/OASISDataNotation.ml" 244 6639 6667
type(
  ((Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format
)
"src/oasis/OASISDataNotation.ml" 245 6668 6681 "src/oasis/OASISDataNotation.ml" 245 6668 6688
type(
  (Format.formatter -> t -> unit) ->
  (unit, Format.formatter, unit) format -> Format.formatter -> t list -> unit
)
ident(
  int_ref pp_list "src/oasis/OASISDataNotation.ml" 144 3910 3916 "src/oasis/OASISDataNotation.ml" 144 3910 3923
)
"src/oasis/OASISDataNotation.ml" 245 6668 6689 "src/oasis/OASISDataNotation.ml" 245 6668 6699
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 245 6668 6700 "src/oasis/OASISDataNotation.ml" 245 6668 6705
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 245 6668 6680 "src/oasis/OASISDataNotation.ml" 245 6668 6706
type(
  Format.formatter -> t list -> unit
)
"src/oasis/OASISDataNotation.ml" 245 6668 6707 "src/oasis/OASISDataNotation.ml" 245 6668 6710
type(
  t list
)
ident(
  int_ref lst "src/oasis/OASISDataNotation.ml" 242 6598 6610 "src/oasis/OASISDataNotation.ml" 242 6598 6613
)
"src/oasis/OASISDataNotation.ml" 243 6617 6627 "src/oasis/OASISDataNotation.ml" 245 6668 6710
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 246 6711 6719 "src/oasis/OASISDataNotation.ml" 246 6711 6722
type(
  t
)
"src/oasis/OASISDataNotation.ml" 247 6726 6736 "src/oasis/OASISDataNotation.ml" 247 6726 6751
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/oasis/OASISDataNotation.ml" 247 6726 6752 "src/oasis/OASISDataNotation.ml" 247 6726 6755
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 247 6726 6756 "src/oasis/OASISDataNotation.ml" 247 6726 6760
type(
  string
)
"src/oasis/OASISDataNotation.ml" 247 6726 6736 "src/oasis/OASISDataNotation.ml" 247 6726 6760
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 248 6761 6774 "src/oasis/OASISDataNotation.ml" 248 6761 6777
type(
  var_name
)
ident(
  def fnm "src/oasis/OASISDataNotation.ml" 249 6800 6810 "src/oasis/OASISDataNotation.ml" 261 7129 7145
)
"src/oasis/OASISDataNotation.ml" 248 6761 6779 "src/oasis/OASISDataNotation.ml" 248 6761 6789
type(
  (var_name * t) list
)
ident(
  def named_args "src/oasis/OASISDataNotation.ml" 249 6800 6810 "src/oasis/OASISDataNotation.ml" 261 7129 7145
)
"src/oasis/OASISDataNotation.ml" 248 6761 6791 "src/oasis/OASISDataNotation.ml" 248 6761 6795
type(
  t list
)
ident(
  def args "src/oasis/OASISDataNotation.ml" 249 6800 6810 "src/oasis/OASISDataNotation.ml" 261 7129 7145
)
"src/oasis/OASISDataNotation.ml" 248 6761 6769 "src/oasis/OASISDataNotation.ml" 248 6761 6796
type(
  t
)
"src/oasis/OASISDataNotation.ml" 249 6800 6810 "src/oasis/OASISDataNotation.ml" 249 6800 6817
type(
  Format.formatter ->
  ((Format.formatter -> var_name -> unit) ->
   var_name ->
   (Format.formatter -> (var_name * t) list -> unit) ->
   (var_name * t) list ->
   (Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format ->
  (Format.formatter -> var_name -> unit) ->
  var_name ->
  (Format.formatter -> (var_name * t) list -> unit) ->
  (var_name * t) list ->
  (Format.formatter -> t list -> unit) -> t list -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 249 6800 6818 "src/oasis/OASISDataNotation.ml" 249 6800 6821
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 250 6822 6834 "src/oasis/OASISDataNotation.ml" 250 6822 6852
type(
  ((Format.formatter -> var_name -> unit) ->
   var_name ->
   (Format.formatter -> (var_name * t) list -> unit) ->
   (var_name * t) list ->
   (Format.formatter -> t list -> unit) -> t list -> unit, Format.formatter,
   unit)
  format
)
"src/oasis/OASISDataNotation.ml" 251 6853 6865 "src/oasis/OASISDataNotation.ml" 251 6853 6876
type(
  Format.formatter -> var_name -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 251 6853 6877 "src/oasis/OASISDataNotation.ml" 251 6853 6880
type(
  var_name
)
ident(
  int_ref fnm "src/oasis/OASISDataNotation.ml" 248 6761 6774 "src/oasis/OASISDataNotation.ml" 248 6761 6777
)
"src/oasis/OASISDataNotation.ml" 253 6882 6895 "src/oasis/OASISDataNotation.ml" 253 6882 6902
type(
  (Format.formatter -> var_name * t -> unit) ->
  (unit, Format.formatter, unit) format ->
  Format.formatter -> (var_name * t) list -> unit
)
ident(
  int_ref pp_list "src/oasis/OASISDataNotation.ml" 144 3910 3916 "src/oasis/OASISDataNotation.ml" 144 3910 3923
)
"src/oasis/OASISDataNotation.ml" 254 6903 6923 "src/oasis/OASISDataNotation.ml" 254 6903 6926
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 254 6903 6927 "src/oasis/OASISDataNotation.ml" 255 6938 6994
)
"src/oasis/OASISDataNotation.ml" 254 6903 6928 "src/oasis/OASISDataNotation.ml" 254 6903 6930
type(
  var_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 255 6938 6956 "src/oasis/OASISDataNotation.ml" 255 6938 6994
)
"src/oasis/OASISDataNotation.ml" 254 6903 6932 "src/oasis/OASISDataNotation.ml" 254 6903 6933
type(
  t
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 255 6938 6956 "src/oasis/OASISDataNotation.ml" 255 6938 6994
)
"src/oasis/OASISDataNotation.ml" 254 6903 6927 "src/oasis/OASISDataNotation.ml" 254 6903 6934
type(
  var_name * t
)
"src/oasis/OASISDataNotation.ml" 255 6938 6956 "src/oasis/OASISDataNotation.ml" 255 6938 6963
type(
  Format.formatter ->
  (var_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format -> var_name -> (Format.formatter -> t -> unit) -> t -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 255 6938 6964 "src/oasis/OASISDataNotation.ml" 255 6938 6967
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 254 6903 6923 "src/oasis/OASISDataNotation.ml" 254 6903 6926
)
"src/oasis/OASISDataNotation.ml" 255 6938 6968 "src/oasis/OASISDataNotation.ml" 255 6938 6978
type(
  (var_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format
)
"src/oasis/OASISDataNotation.ml" 255 6938 6979 "src/oasis/OASISDataNotation.ml" 255 6938 6981
type(
  var_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 254 6903 6928 "src/oasis/OASISDataNotation.ml" 254 6903 6930
)
"src/oasis/OASISDataNotation.ml" 255 6938 6982 "src/oasis/OASISDataNotation.ml" 255 6938 6992
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 255 6938 6993 "src/oasis/OASISDataNotation.ml" 255 6938 6994
type(
  t
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 254 6903 6932 "src/oasis/OASISDataNotation.ml" 254 6903 6933
)
"src/oasis/OASISDataNotation.ml" 255 6938 6956 "src/oasis/OASISDataNotation.ml" 255 6938 6994
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 254 6903 6918 "src/oasis/OASISDataNotation.ml" 255 6938 6995
type(
  Format.formatter -> var_name * t -> unit
)
"src/oasis/OASISDataNotation.ml" 255 6938 6996 "src/oasis/OASISDataNotation.ml" 255 6938 6998
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 253 6882 6894 "src/oasis/OASISDataNotation.ml" 255 6938 6999
type(
  Format.formatter -> (var_name * t) list -> unit
)
"src/oasis/OASISDataNotation.ml" 256 7000 7012 "src/oasis/OASISDataNotation.ml" 256 7000 7022
type(
  (var_name * t) list
)
ident(
  int_ref named_args "src/oasis/OASISDataNotation.ml" 248 6761 6779 "src/oasis/OASISDataNotation.ml" 248 6761 6789
)
"src/oasis/OASISDataNotation.ml" 258 7024 7037 "src/oasis/OASISDataNotation.ml" 258 7024 7044
type(
  (Format.formatter -> t -> unit) ->
  (unit, Format.formatter, unit) format -> Format.formatter -> t list -> unit
)
ident(
  int_ref pp_list "src/oasis/OASISDataNotation.ml" 144 3910 3916 "src/oasis/OASISDataNotation.ml" 144 3910 3923
)
"src/oasis/OASISDataNotation.ml" 259 7045 7065 "src/oasis/OASISDataNotation.ml" 259 7045 7068
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISDataNotation.ml" 259 7045 7069 "src/oasis/OASISDataNotation.ml" 260 7074 7123
)
"src/oasis/OASISDataNotation.ml" 259 7045 7069 "src/oasis/OASISDataNotation.ml" 259 7045 7070
type(
  t
)
ident(
  def e "src/oasis/OASISDataNotation.ml" 260 7074 7092 "src/oasis/OASISDataNotation.ml" 260 7074 7123
)
"src/oasis/OASISDataNotation.ml" 260 7074 7092 "src/oasis/OASISDataNotation.ml" 260 7074 7099
type(
  Format.formatter ->
  ((Format.formatter -> t -> unit) -> t -> unit, Format.formatter, unit)
  format -> (Format.formatter -> t -> unit) -> t -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 260 7074 7100 "src/oasis/OASISDataNotation.ml" 260 7074 7103
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 259 7045 7065 "src/oasis/OASISDataNotation.ml" 259 7045 7068
)
"src/oasis/OASISDataNotation.ml" 260 7074 7104 "src/oasis/OASISDataNotation.ml" 260 7074 7110
type(
  ((Format.formatter -> t -> unit) -> t -> unit, Format.formatter, unit)
  format
)
"src/oasis/OASISDataNotation.ml" 260 7074 7111 "src/oasis/OASISDataNotation.ml" 260 7074 7121
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 260 7074 7122 "src/oasis/OASISDataNotation.ml" 260 7074 7123
type(
  t
)
ident(
  int_ref e "src/oasis/OASISDataNotation.ml" 259 7045 7069 "src/oasis/OASISDataNotation.ml" 259 7045 7070
)
"src/oasis/OASISDataNotation.ml" 260 7074 7092 "src/oasis/OASISDataNotation.ml" 260 7074 7123
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 259 7045 7060 "src/oasis/OASISDataNotation.ml" 260 7074 7124
type(
  Format.formatter -> t -> unit
)
"src/oasis/OASISDataNotation.ml" 260 7074 7125 "src/oasis/OASISDataNotation.ml" 260 7074 7127
type(
  (unit, Format.formatter, unit) format
)
"src/oasis/OASISDataNotation.ml" 258 7024 7036 "src/oasis/OASISDataNotation.ml" 260 7074 7128
type(
  Format.formatter -> t list -> unit
)
"src/oasis/OASISDataNotation.ml" 261 7129 7141 "src/oasis/OASISDataNotation.ml" 261 7129 7145
type(
  t list
)
ident(
  int_ref args "src/oasis/OASISDataNotation.ml" 248 6761 6791 "src/oasis/OASISDataNotation.ml" 248 6761 6795
)
"src/oasis/OASISDataNotation.ml" 249 6800 6810 "src/oasis/OASISDataNotation.ml" 261 7129 7145
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 262 7146 7158 "src/oasis/OASISDataNotation.ml" 262 7146 7160
type(
  var_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 263 7164 7174 "src/oasis/OASISDataNotation.ml" 263 7164 7192
)
"src/oasis/OASISDataNotation.ml" 262 7146 7154 "src/oasis/OASISDataNotation.ml" 262 7146 7160
type(
  t
)
"src/oasis/OASISDataNotation.ml" 263 7164 7174 "src/oasis/OASISDataNotation.ml" 263 7164 7185
type(
  Format.formatter -> var_name -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 263 7164 7186 "src/oasis/OASISDataNotation.ml" 263 7164 7189
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 263 7164 7190 "src/oasis/OASISDataNotation.ml" 263 7164 7192
type(
  var_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 262 7146 7158 "src/oasis/OASISDataNotation.ml" 262 7146 7160
)
"src/oasis/OASISDataNotation.ml" 263 7164 7174 "src/oasis/OASISDataNotation.ml" 263 7164 7192
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 264 7193 7206 "src/oasis/OASISDataNotation.ml" 264 7193 7208
type(
  variant_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 265 7219 7229 "src/oasis/OASISDataNotation.ml" 265 7219 7253
)
"src/oasis/OASISDataNotation.ml" 264 7193 7210 "src/oasis/OASISDataNotation.ml" 264 7193 7214
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 264 7193 7201 "src/oasis/OASISDataNotation.ml" 264 7193 7215
type(
  t
)
"src/oasis/OASISDataNotation.ml" 265 7219 7229 "src/oasis/OASISDataNotation.ml" 265 7219 7240
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 265 7219 7241 "src/oasis/OASISDataNotation.ml" 265 7219 7244
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 265 7219 7246 "src/oasis/OASISDataNotation.ml" 265 7219 7249
type(
  string
)
"src/oasis/OASISDataNotation.ml" 265 7219 7249 "src/oasis/OASISDataNotation.ml" 265 7219 7250
type(
  string -> variant_name -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISDataNotation.ml" 265 7219 7250 "src/oasis/OASISDataNotation.ml" 265 7219 7252
type(
  variant_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 264 7193 7206 "src/oasis/OASISDataNotation.ml" 264 7193 7208
)
"src/oasis/OASISDataNotation.ml" 265 7219 7245 "src/oasis/OASISDataNotation.ml" 265 7219 7253
type(
  string
)
"src/oasis/OASISDataNotation.ml" 265 7219 7229 "src/oasis/OASISDataNotation.ml" 265 7219 7253
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 266 7254 7267 "src/oasis/OASISDataNotation.ml" 266 7254 7269
type(
  variant_name
)
ident(
  def nm "src/oasis/OASISDataNotation.ml" 267 7284 7294 "src/oasis/OASISDataNotation.ml" 270 7365 7391
)
"src/oasis/OASISDataNotation.ml" 266 7254 7276 "src/oasis/OASISDataNotation.ml" 266 7254 7279
type(
  t
)
ident(
  def tpl "src/oasis/OASISDataNotation.ml" 267 7284 7294 "src/oasis/OASISDataNotation.ml" 270 7365 7391
)
"src/oasis/OASISDataNotation.ml" 266 7254 7271 "src/oasis/OASISDataNotation.ml" 266 7254 7279
type(
  t option
)
"src/oasis/OASISDataNotation.ml" 266 7254 7262 "src/oasis/OASISDataNotation.ml" 266 7254 7280
type(
  t
)
"src/oasis/OASISDataNotation.ml" 267 7284 7294 "src/oasis/OASISDataNotation.ml" 267 7284 7301
type(
  Format.formatter ->
  ((Format.formatter -> variant_name -> unit) ->
   variant_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format ->
  (Format.formatter -> variant_name -> unit) ->
  variant_name -> (Format.formatter -> t -> unit) -> t -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/OASISDataNotation.ml" 267 7284 7302 "src/oasis/OASISDataNotation.ml" 267 7284 7305
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 191 5011 5032 "src/oasis/OASISDataNotation.ml" 191 5011 5035
)
"src/oasis/OASISDataNotation.ml" 268 7306 7318 "src/oasis/OASISDataNotation.ml" 268 7306 7337
type(
  ((Format.formatter -> variant_name -> unit) ->
   variant_name -> (Format.formatter -> t -> unit) -> t -> unit,
   Format.formatter, unit)
  format
)
"src/oasis/OASISDataNotation.ml" 269 7338 7350 "src/oasis/OASISDataNotation.ml" 269 7338 7361
type(
  Format.formatter -> variant_name -> unit
)
ident(
  int_ref pp_print_id "src/oasis/OASISDataNotation.ml" 157 4161 4167 "src/oasis/OASISDataNotation.ml" 157 4161 4178
)
"src/oasis/OASISDataNotation.ml" 269 7338 7362 "src/oasis/OASISDataNotation.ml" 269 7338 7364
type(
  variant_name
)
ident(
  int_ref nm "src/oasis/OASISDataNotation.ml" 266 7254 7267 "src/oasis/OASISDataNotation.ml" 266 7254 7269
)
"src/oasis/OASISDataNotation.ml" 270 7365 7377 "src/oasis/OASISDataNotation.ml" 270 7365 7387
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 270 7365 7388 "src/oasis/OASISDataNotation.ml" 270 7365 7391
type(
  t
)
ident(
  int_ref tpl "src/oasis/OASISDataNotation.ml" 266 7254 7276 "src/oasis/OASISDataNotation.ml" 266 7254 7279
)
"src/oasis/OASISDataNotation.ml" 267 7284 7294 "src/oasis/OASISDataNotation.ml" 270 7365 7391
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 192 5038 5042 "src/oasis/OASISDataNotation.ml" 270 7365 7391
type(
  t -> unit
)
"src/oasis/OASISDataNotation.ml" 273 7398 7402 "src/oasis/OASISDataNotation.ml" 273 7398 7412
type(
  Format.formatter -> t -> unit
)
ident(
  int_ref pp_odn_aux "src/oasis/OASISDataNotation.ml" 191 5011 5021 "src/oasis/OASISDataNotation.ml" 191 5011 5031
)
"src/oasis/OASISDataNotation.ml" 273 7398 7413 "src/oasis/OASISDataNotation.ml" 273 7398 7416
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISDataNotation.ml" 135 3686 3718 "src/oasis/OASISDataNotation.ml" 135 3686 3721
)
"src/oasis/OASISDataNotation.ml" 273 7398 7417 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  t
)
ident(
  int_ref t "src/oasis/OASISDataNotation.ml" 135 3686 3722 "src/oasis/OASISDataNotation.ml" 135 3686 3723
)
"src/oasis/OASISDataNotation.ml" 273 7398 7402 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 191 5011 5013 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 157 4161 4163 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 144 3910 3912 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  unit
)
"src/oasis/OASISDataNotation.ml" 137 3727 3729 "src/oasis/OASISDataNotation.ml" 273 7398 7418
type(
  unit
)
