"src/oasis/OASISFindlib.ml" 56 2435 2439 "src/oasis/OASISFindlib.ml" 56 2435 2454
type(
  OASISTypes.package ->
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
ident(
  def findlib_mapping "src/oasis/OASISFindlib.ml" 294 9664 9664 "src/oasis/OASISFindlib.ml" 0 0 -1
)
"src/oasis/OASISFindlib.ml" 56 2435 2455 "src/oasis/OASISFindlib.ml" 56 2435 2458
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISFindlib.ml" 58 2538 2540 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 58 2538 2544 "src/oasis/OASISFindlib.ml" 58 2538 2567
type(
  [> `Solved of OASISTypes.name
   | `Unsolved of OASISTypes.findlib_name * string ]
  OASISUtils.MapString.t
)
ident(
  def fndlb_parts_of_lib_name "src/oasis/OASISFindlib.ml" 118 4434 4436 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 59 2570 2578 "src/oasis/OASISFindlib.ml" 59 2570 2589
type(
  OASISTypes.common_section -> OASISTypes.library -> string
)
ident(
  def fndlb_parts "src/oasis/OASISFindlib.ml" 70 2830 2834 "src/oasis/OASISFindlib.ml" 114 4333 4351
)
"src/oasis/OASISFindlib.ml" 59 2570 2590 "src/oasis/OASISFindlib.ml" 59 2570 2592
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 59 2570 2593 "src/oasis/OASISFindlib.ml" 68 2812 2822
)
"src/oasis/OASISFindlib.ml" 59 2570 2593 "src/oasis/OASISFindlib.ml" 59 2570 2596
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 60 2599 2605 "src/oasis/OASISFindlib.ml" 68 2812 2822
)
"src/oasis/OASISFindlib.ml" 60 2599 2609 "src/oasis/OASISFindlib.ml" 60 2599 2613
type(
  OASISTypes.findlib_name
)
ident(
  def name "src/oasis/OASISFindlib.ml" 65 2722 2728 "src/oasis/OASISFindlib.ml" 68 2812 2822
)
"src/oasis/OASISFindlib.ml" 61 2616 2630 "src/oasis/OASISFindlib.ml" 61 2616 2633
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 59 2570 2593 "src/oasis/OASISFindlib.ml" 59 2570 2596
)
"src/oasis/OASISFindlib.ml" 61 2616 2630 "src/oasis/OASISFindlib.ml" 61 2616 2650
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 62 2656 2673 "src/oasis/OASISFindlib.ml" 62 2656 2675
type(
  OASISTypes.findlib_name
)
ident(
  def nm "src/oasis/OASISFindlib.ml" 62 2656 2679 "src/oasis/OASISFindlib.ml" 62 2656 2681
)
"src/oasis/OASISFindlib.ml" 62 2656 2668 "src/oasis/OASISFindlib.ml" 62 2656 2675
type(
  OASISTypes.findlib_name option
)
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 62 2656 2679 "src/oasis/OASISFindlib.ml" 62 2656 2681
type(
  OASISTypes.findlib_name
)
ident(
  int_ref nm "src/oasis/OASISFindlib.ml" 62 2656 2673 "src/oasis/OASISFindlib.ml" 62 2656 2675
)
"src/oasis/OASISFindlib.ml" 63 2682 2694 "src/oasis/OASISFindlib.ml" 63 2682 2698
type(
  OASISTypes.findlib_name option
)
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 63 2682 2702 "src/oasis/OASISFindlib.ml" 63 2682 2704
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 59 2570 2590 "src/oasis/OASISFindlib.ml" 59 2570 2592
)
"src/oasis/OASISFindlib.ml" 63 2682 2702 "src/oasis/OASISFindlib.ml" 63 2682 2712
type(
  OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 61 2616 2624 "src/oasis/OASISFindlib.ml" 63 2682 2712
type(
  OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 65 2722 2732 "src/oasis/OASISFindlib.ml" 65 2722 2736
type(
  string
)
ident(
  def name "src/oasis/OASISFindlib.ml" 68 2812 2818 "src/oasis/OASISFindlib.ml" 68 2812 2822
)
"src/oasis/OASISFindlib.ml" 66 2739 2747 "src/oasis/OASISFindlib.ml" 66 2739 2760
type(
  string -> OASISTypes.findlib_name list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISFindlib.ml" 66 2739 2761 "src/oasis/OASISFindlib.ml" 66 2739 2764
type(
  string
)
"src/oasis/OASISFindlib.ml" 66 2739 2766 "src/oasis/OASISFindlib.ml" 66 2739 2769
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 59 2570 2593 "src/oasis/OASISFindlib.ml" 59 2570 2596
)
"src/oasis/OASISFindlib.ml" 66 2739 2766 "src/oasis/OASISFindlib.ml" 66 2739 2792
type(
  OASISTypes.findlib_name list
)
"src/oasis/OASISFindlib.ml" 66 2739 2793 "src/oasis/OASISFindlib.ml" 66 2739 2794
type(
  OASISTypes.findlib_name list ->
  OASISTypes.findlib_name list -> OASISTypes.findlib_name list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISFindlib.ml" 66 2739 2796 "src/oasis/OASISFindlib.ml" 66 2739 2800
type(
  OASISTypes.findlib_name
)
ident(
  int_ref name "src/oasis/OASISFindlib.ml" 60 2599 2609 "src/oasis/OASISFindlib.ml" 60 2599 2613
)
"src/oasis/OASISFindlib.ml" 66 2739 2795 "src/oasis/OASISFindlib.ml" 66 2739 2801
type(
  OASISTypes.findlib_name list
)
"src/oasis/OASISFindlib.ml" 66 2739 2765 "src/oasis/OASISFindlib.ml" 66 2739 2802
type(
  OASISTypes.findlib_name list
)
"src/oasis/OASISFindlib.ml" 66 2739 2747 "src/oasis/OASISFindlib.ml" 66 2739 2802
type(
  string
)
"src/oasis/OASISFindlib.ml" 68 2812 2818 "src/oasis/OASISFindlib.ml" 68 2812 2822
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFindlib.ml" 65 2722 2732 "src/oasis/OASISFindlib.ml" 65 2722 2736
)
"src/oasis/OASISFindlib.ml" 65 2722 2728 "src/oasis/OASISFindlib.ml" 68 2812 2822
type(
  string
)
"src/oasis/OASISFindlib.ml" 60 2599 2605 "src/oasis/OASISFindlib.ml" 68 2812 2822
type(
  string
)
"src/oasis/OASISFindlib.ml" 70 2830 2834 "src/oasis/OASISFindlib.ml" 70 2830 2848
type(
  (([> `Solved of OASISTypes.name
     | `Unsolved of OASISTypes.findlib_name * string ]
    as 'a)
   OASISUtils.MapString.t -> OASISTypes.section -> 'a OASISUtils.MapString.t) ->
  'a OASISUtils.MapString.t ->
  OASISTypes.section list -> 'a OASISUtils.MapString.t
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
type(
  'a OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 72 2866 2875 "src/oasis/OASISFindlib.ml" 112 4294 4309
)
"src/oasis/OASISFindlib.ml" 73 2884 2906 "src/oasis/OASISFindlib.ml" 73 2884 2908
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 74 2921 2934 "src/oasis/OASISFindlib.ml" 92 3616 3632
)
"src/oasis/OASISFindlib.ml" 73 2884 2910 "src/oasis/OASISFindlib.ml" 73 2884 2911
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 73 2884 2913 "src/oasis/OASISFindlib.ml" 73 2884 2916
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 74 2921 2934 "src/oasis/OASISFindlib.ml" 92 3616 3632
)
"src/oasis/OASISFindlib.ml" 73 2884 2897 "src/oasis/OASISFindlib.ml" 73 2884 2917
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 75 2940 2959 "src/oasis/OASISFindlib.ml" 75 2940 2967
type(
  OASISTypes.name
)
ident(
  def lib_name "src/oasis/OASISFindlib.ml" 76 2984 2999 "src/oasis/OASISFindlib.ml" 91 3592 3615
)
"src/oasis/OASISFindlib.ml" 75 2940 2970 "src/oasis/OASISFindlib.ml" 75 2940 2972
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 73 2884 2906 "src/oasis/OASISFindlib.ml" 73 2884 2908
)
"src/oasis/OASISFindlib.ml" 75 2940 2970 "src/oasis/OASISFindlib.ml" 75 2940 2980
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 76 2984 3003 "src/oasis/OASISFindlib.ml" 76 2984 3014
type(
  string
)
ident(
  def fndlb_parts "src/oasis/OASISFindlib.ml" 77 3039 3054 "src/oasis/OASISFindlib.ml" 91 3592 3615
)
"src/oasis/OASISFindlib.ml" 76 2984 3017 "src/oasis/OASISFindlib.ml" 76 2984 3028
type(
  OASISTypes.common_section -> OASISTypes.library -> string
)
ident(
  int_ref fndlb_parts "src/oasis/OASISFindlib.ml" 59 2570 2578 "src/oasis/OASISFindlib.ml" 59 2570 2589
)
"src/oasis/OASISFindlib.ml" 76 2984 3029 "src/oasis/OASISFindlib.ml" 76 2984 3031
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 73 2884 2906 "src/oasis/OASISFindlib.ml" 73 2884 2908
)
"src/oasis/OASISFindlib.ml" 76 2984 3032 "src/oasis/OASISFindlib.ml" 76 2984 3035
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 73 2884 2913 "src/oasis/OASISFindlib.ml" 73 2884 2916
)
"src/oasis/OASISFindlib.ml" 76 2984 3017 "src/oasis/OASISFindlib.ml" 76 2984 3035
type(
  string
)
"src/oasis/OASISFindlib.ml" 77 3039 3057 "src/oasis/OASISFindlib.ml" 77 3039 3070
type(
  OASISUtils.MapString.key -> 'a OASISUtils.MapString.t -> bool
)
ident(
  int_ref OASISUtils.MapString.mem "map.mli" 79 3076 3080 "map.mli" 79 3076 3108
)
"src/oasis/OASISFindlib.ml" 77 3039 3071 "src/oasis/OASISFindlib.ml" 77 3039 3079
type(
  OASISTypes.name
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 75 2940 2959 "src/oasis/OASISFindlib.ml" 75 2940 2967
)
"src/oasis/OASISFindlib.ml" 77 3039 3080 "src/oasis/OASISFindlib.ml" 77 3039 3082
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 77 3039 3057 "src/oasis/OASISFindlib.ml" 77 3039 3082
type(
  bool
)
"src/oasis/OASISFindlib.ml" 78 3088 3105 "src/oasis/OASISFindlib.ml" 78 3088 3114
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 79 3115 3135 "src/oasis/OASISFindlib.ml" 79 3115 3137
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 79 3115 3138 "src/oasis/OASISFindlib.ml" 79 3115 3185
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 79 3115 3134 "src/oasis/OASISFindlib.ml" 79 3115 3186
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 80 3187 3206 "src/oasis/OASISFindlib.ml" 80 3187 3214
type(
  OASISTypes.name
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 75 2940 2959 "src/oasis/OASISFindlib.ml" 75 2940 2967
)
"src/oasis/OASISFindlib.ml" 78 3088 3105 "src/oasis/OASISFindlib.ml" 80 3187 3214
type(
  unit
)
"src/oasis/OASISFindlib.ml" 77 3039 3054 "src/oasis/OASISFindlib.ml" 80 3187 3214
type(
  unit
)
"src/oasis/OASISFindlib.ml" 81 3216 3237 "src/oasis/OASISFindlib.ml" 81 3216 3240
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 73 2884 2913 "src/oasis/OASISFindlib.ml" 73 2884 2916
)
"src/oasis/OASISFindlib.ml" 81 3216 3237 "src/oasis/OASISFindlib.ml" 81 3216 3259
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 82 3265 3289 "src/oasis/OASISFindlib.ml" 82 3265 3304
type(
  OASISTypes.findlib_name
)
ident(
  def lib_name_parent "src/oasis/OASISFindlib.ml" 83 3308 3327 "src/oasis/OASISFindlib.ml" 86 3435 3458
)
"src/oasis/OASISFindlib.ml" 82 3265 3284 "src/oasis/OASISFindlib.ml" 82 3265 3304
type(
  OASISTypes.findlib_name option
)
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 83 3308 3327 "src/oasis/OASISFindlib.ml" 83 3308 3340
type(
  OASISUtils.MapString.key ->
  'a -> 'a OASISUtils.MapString.t -> 'a OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 84 3341 3362 "src/oasis/OASISFindlib.ml" 84 3341 3370
type(
  OASISTypes.name
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 75 2940 2959 "src/oasis/OASISFindlib.ml" 75 2940 2967
)
"src/oasis/OASISFindlib.ml" 85 3371 3404 "src/oasis/OASISFindlib.ml" 85 3371 3419
type(
  OASISTypes.findlib_name
)
ident(
  int_ref lib_name_parent "src/oasis/OASISFindlib.ml" 82 3265 3289 "src/oasis/OASISFindlib.ml" 82 3265 3304
)
"src/oasis/OASISFindlib.ml" 85 3371 3421 "src/oasis/OASISFindlib.ml" 85 3371 3432
type(
  string
)
ident(
  int_ref fndlb_parts "src/oasis/OASISFindlib.ml" 76 2984 3003 "src/oasis/OASISFindlib.ml" 76 2984 3014
)
"src/oasis/OASISFindlib.ml" 85 3371 3403 "src/oasis/OASISFindlib.ml" 85 3371 3433
type(
  OASISTypes.findlib_name * string
)
"src/oasis/OASISFindlib.ml" 85 3371 3392 "src/oasis/OASISFindlib.ml" 85 3371 3434
type(
  'a
)
"src/oasis/OASISFindlib.ml" 86 3435 3456 "src/oasis/OASISFindlib.ml" 86 3435 3458
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 83 3308 3327 "src/oasis/OASISFindlib.ml" 86 3435 3458
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 87 3459 3478 "src/oasis/OASISFindlib.ml" 87 3459 3482
type(
  OASISTypes.findlib_name option
)
type(
  OASISTypes.findlib_name option
)
"src/oasis/OASISFindlib.ml" 88 3486 3505 "src/oasis/OASISFindlib.ml" 88 3486 3518
type(
  OASISUtils.MapString.key ->
  'a -> 'a OASISUtils.MapString.t -> 'a OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 89 3519 3540 "src/oasis/OASISFindlib.ml" 89 3519 3548
type(
  OASISTypes.name
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 75 2940 2959 "src/oasis/OASISFindlib.ml" 75 2940 2967
)
"src/oasis/OASISFindlib.ml" 90 3549 3579 "src/oasis/OASISFindlib.ml" 90 3549 3590
type(
  OASISTypes.name
)
ident(
  int_ref fndlb_parts "src/oasis/OASISFindlib.ml" 76 2984 3003 "src/oasis/OASISFindlib.ml" 76 2984 3014
)
"src/oasis/OASISFindlib.ml" 90 3549 3570 "src/oasis/OASISFindlib.ml" 90 3549 3591
type(
  'a
)
"src/oasis/OASISFindlib.ml" 91 3592 3613 "src/oasis/OASISFindlib.ml" 91 3592 3615
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 88 3486 3505 "src/oasis/OASISFindlib.ml" 91 3592 3615
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 81 3216 3231 "src/oasis/OASISFindlib.ml" 91 3592 3615
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 77 3039 3054 "src/oasis/OASISFindlib.ml" 91 3592 3615
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 76 2984 2999 "src/oasis/OASISFindlib.ml" 91 3592 3615
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 74 2921 2934 "src/oasis/OASISFindlib.ml" 92 3616 3632
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 94 3634 3655 "src/oasis/OASISFindlib.ml" 94 3634 3657
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 95 3670 3683 "src/oasis/OASISFindlib.ml" 109 4209 4225
)
"src/oasis/OASISFindlib.ml" 94 3634 3659 "src/oasis/OASISFindlib.ml" 94 3634 3660
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 94 3634 3662 "src/oasis/OASISFindlib.ml" 94 3634 3665
type(
  OASISTypes.object_
)
ident(
  def obj "src/oasis/OASISFindlib.ml" 95 3670 3683 "src/oasis/OASISFindlib.ml" 109 4209 4225
)
"src/oasis/OASISFindlib.ml" 94 3634 3647 "src/oasis/OASISFindlib.ml" 94 3634 3666
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 96 3689 3708 "src/oasis/OASISFindlib.ml" 96 3689 3716
type(
  OASISTypes.name
)
ident(
  def obj_name "src/oasis/OASISFindlib.ml" 97 3733 3748 "src/oasis/OASISFindlib.ml" 108 4189 4208
)
"src/oasis/OASISFindlib.ml" 96 3689 3719 "src/oasis/OASISFindlib.ml" 96 3689 3721
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 94 3634 3655 "src/oasis/OASISFindlib.ml" 94 3634 3657
)
"src/oasis/OASISFindlib.ml" 96 3689 3719 "src/oasis/OASISFindlib.ml" 96 3689 3729
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 97 3733 3751 "src/oasis/OASISFindlib.ml" 97 3733 3764
type(
  OASISUtils.MapString.key -> 'a OASISUtils.MapString.t -> bool
)
ident(
  int_ref OASISUtils.MapString.mem "map.mli" 79 3076 3080 "map.mli" 79 3076 3108
)
"src/oasis/OASISFindlib.ml" 97 3733 3765 "src/oasis/OASISFindlib.ml" 97 3733 3773
type(
  OASISTypes.name
)
ident(
  int_ref obj_name "src/oasis/OASISFindlib.ml" 96 3689 3708 "src/oasis/OASISFindlib.ml" 96 3689 3716
)
"src/oasis/OASISFindlib.ml" 97 3733 3774 "src/oasis/OASISFindlib.ml" 97 3733 3776
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 97 3733 3751 "src/oasis/OASISFindlib.ml" 97 3733 3776
type(
  bool
)
"src/oasis/OASISFindlib.ml" 98 3782 3799 "src/oasis/OASISFindlib.ml" 98 3782 3808
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 99 3809 3829 "src/oasis/OASISFindlib.ml" 99 3809 3831
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 99 3809 3832 "src/oasis/OASISFindlib.ml" 99 3809 3878
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 99 3809 3828 "src/oasis/OASISFindlib.ml" 99 3809 3879
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 100 3880 3899 "src/oasis/OASISFindlib.ml" 100 3880 3907
type(
  OASISTypes.name
)
ident(
  int_ref obj_name "src/oasis/OASISFindlib.ml" 96 3689 3708 "src/oasis/OASISFindlib.ml" 96 3689 3716
)
"src/oasis/OASISFindlib.ml" 98 3782 3799 "src/oasis/OASISFindlib.ml" 100 3880 3907
type(
  unit
)
"src/oasis/OASISFindlib.ml" 97 3733 3748 "src/oasis/OASISFindlib.ml" 100 3880 3907
type(
  unit
)
"src/oasis/OASISFindlib.ml" 101 3909 3928 "src/oasis/OASISFindlib.ml" 101 3909 3945
type(
  OASISTypes.name
)
ident(
  def findlib_full_name "src/oasis/OASISFindlib.ml" 105 4089 4104 "src/oasis/OASISFindlib.ml" 108 4189 4208
)
"src/oasis/OASISFindlib.ml" 101 3909 3954 "src/oasis/OASISFindlib.ml" 101 3909 3957
type(
  OASISTypes.object_
)
ident(
  int_ref obj "src/oasis/OASISFindlib.ml" 94 3634 3662 "src/oasis/OASISFindlib.ml" 94 3634 3665
)
"src/oasis/OASISFindlib.ml" 101 3909 3954 "src/oasis/OASISFindlib.ml" 101 3909 3978
type(
  OASISTypes.findlib_name list option
)
"src/oasis/OASISFindlib.ml" 102 3984 4008 "src/oasis/OASISFindlib.ml" 102 3984 4010
type(
  OASISTypes.findlib_name list
)
ident(
  def ns "src/oasis/OASISFindlib.ml" 102 3984 4014 "src/oasis/OASISFindlib.ml" 102 3984 4034
)
"src/oasis/OASISFindlib.ml" 102 3984 4003 "src/oasis/OASISFindlib.ml" 102 3984 4010
type(
  OASISTypes.findlib_name list option
)
type(
  OASISTypes.findlib_name list option
)
"src/oasis/OASISFindlib.ml" 102 3984 4014 "src/oasis/OASISFindlib.ml" 102 3984 4027
type(
  string -> OASISTypes.findlib_name list -> OASISTypes.name
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISFindlib.ml" 102 3984 4028 "src/oasis/OASISFindlib.ml" 102 3984 4031
type(
  string
)
"src/oasis/OASISFindlib.ml" 102 3984 4032 "src/oasis/OASISFindlib.ml" 102 3984 4034
type(
  OASISTypes.findlib_name list
)
ident(
  int_ref ns "src/oasis/OASISFindlib.ml" 102 3984 4008 "src/oasis/OASISFindlib.ml" 102 3984 4010
)
"src/oasis/OASISFindlib.ml" 102 3984 4014 "src/oasis/OASISFindlib.ml" 102 3984 4034
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 103 4035 4054 "src/oasis/OASISFindlib.ml" 103 4035 4058
type(
  OASISTypes.findlib_name list option
)
type(
  OASISTypes.findlib_name list option
)
"src/oasis/OASISFindlib.ml" 103 4035 4062 "src/oasis/OASISFindlib.ml" 103 4035 4070
type(
  OASISTypes.name
)
ident(
  int_ref obj_name "src/oasis/OASISFindlib.ml" 96 3689 3708 "src/oasis/OASISFindlib.ml" 96 3689 3716
)
"src/oasis/OASISFindlib.ml" 101 3909 3948 "src/oasis/OASISFindlib.ml" 103 4035 4070
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 105 4089 4104 "src/oasis/OASISFindlib.ml" 105 4089 4117
type(
  OASISUtils.MapString.key ->
  'a -> 'a OASISUtils.MapString.t -> 'a OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 106 4118 4135 "src/oasis/OASISFindlib.ml" 106 4118 4143
type(
  OASISTypes.name
)
ident(
  int_ref obj_name "src/oasis/OASISFindlib.ml" 96 3689 3708 "src/oasis/OASISFindlib.ml" 96 3689 3716
)
"src/oasis/OASISFindlib.ml" 107 4144 4170 "src/oasis/OASISFindlib.ml" 107 4144 4187
type(
  OASISTypes.name
)
ident(
  int_ref findlib_full_name "src/oasis/OASISFindlib.ml" 101 3909 3928 "src/oasis/OASISFindlib.ml" 101 3909 3945
)
"src/oasis/OASISFindlib.ml" 107 4144 4161 "src/oasis/OASISFindlib.ml" 107 4144 4188
type(
  'a
)
"src/oasis/OASISFindlib.ml" 108 4189 4206 "src/oasis/OASISFindlib.ml" 108 4189 4208
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 105 4089 4104 "src/oasis/OASISFindlib.ml" 108 4189 4208
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 101 3909 3924 "src/oasis/OASISFindlib.ml" 108 4189 4208
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 97 3733 3748 "src/oasis/OASISFindlib.ml" 108 4189 4208
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 95 3670 3683 "src/oasis/OASISFindlib.ml" 109 4209 4225
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 111 4227 4251 "src/oasis/OASISFindlib.ml" 111 4227 4252
type(
  OASISTypes.executable
)
type(
  OASISTypes.build_section
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 111 4227 4240 "src/oasis/OASISFindlib.ml" 111 4227 4252
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4260 "src/oasis/OASISFindlib.ml" 111 4227 4261
type(
  OASISTypes.test
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 111 4227 4255 "src/oasis/OASISFindlib.ml" 111 4227 4261
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4240 "src/oasis/OASISFindlib.ml" 111 4227 4261
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4269 "src/oasis/OASISFindlib.ml" 111 4227 4270
type(
  OASISTypes.flag
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 111 4227 4264 "src/oasis/OASISFindlib.ml" 111 4227 4270
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4240 "src/oasis/OASISFindlib.ml" 111 4227 4270
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4281 "src/oasis/OASISFindlib.ml" 111 4227 4282
type(
  OASISTypes.source_repository
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 111 4227 4273 "src/oasis/OASISFindlib.ml" 111 4227 4282
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4240 "src/oasis/OASISFindlib.ml" 111 4227 4282
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4289 "src/oasis/OASISFindlib.ml" 111 4227 4290
type(
  OASISTypes.doc
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 111 4227 4285 "src/oasis/OASISFindlib.ml" 111 4227 4290
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 111 4227 4240 "src/oasis/OASISFindlib.ml" 111 4227 4290
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 112 4294 4307 "src/oasis/OASISFindlib.ml" 112 4294 4309
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 71 2849 2860 "src/oasis/OASISFindlib.ml" 71 2849 2862
)
"src/oasis/OASISFindlib.ml" 72 2866 2875 "src/oasis/OASISFindlib.ml" 112 4294 4309
type(
  OASISTypes.section -> 'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 71 2849 2855 "src/oasis/OASISFindlib.ml" 112 4294 4310
type(
  'a OASISUtils.MapString.t ->
  OASISTypes.section -> 'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 113 4311 4317 "src/oasis/OASISFindlib.ml" 113 4311 4332
type(
  'a OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFindlib.ml" 114 4333 4339 "src/oasis/OASISFindlib.ml" 114 4333 4342
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFindlib.ml" 56 2435 2455 "src/oasis/OASISFindlib.ml" 56 2435 2458
)
"src/oasis/OASISFindlib.ml" 114 4333 4339 "src/oasis/OASISFindlib.ml" 114 4333 4351
type(
  OASISTypes.section list
)
"src/oasis/OASISFindlib.ml" 70 2830 2834 "src/oasis/OASISFindlib.ml" 114 4333 4351
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 59 2570 2574 "src/oasis/OASISFindlib.ml" 114 4333 4351
type(
  'a OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 118 4434 4440 "src/oasis/OASISFindlib.ml" 118 4434 4462
type(
  OASISTypes.name OASISUtils.MapString.t
)
ident(
  def fndlb_name_of_lib_name "src/oasis/OASISFindlib.ml" 163 5945 5947 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 119 4465 4477 "src/oasis/OASISFindlib.ml" 119 4465 4482
type(
  OASISUtils.SetString.t ->
  ([< `Solved of string | `Unsolved of OASISUtils.SetString.elt * string
    > `Solved ]
   as 'b)
  OASISUtils.MapString.t ->
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t
)
ident(
  def solve "src/oasis/OASISFindlib.ml" 119 4465 4469 "src/oasis/OASISFindlib.ml" 159 5870 5878
)
"src/oasis/OASISFindlib.ml" 119 4465 4483 "src/oasis/OASISFindlib.ml" 119 4465 4490
type(
  OASISUtils.SetString.t
)
ident(
  def visited "src/oasis/OASISFindlib.ml" 119 4465 4491 "src/oasis/OASISFindlib.ml" 140 5320 5353
)
"src/oasis/OASISFindlib.ml" 119 4465 4491 "src/oasis/OASISFindlib.ml" 119 4465 4493
type(
  'b OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 140 5320 5353
)
"src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
type(
  OASISUtils.SetString.elt
)
ident(
  def lib_name "src/oasis/OASISFindlib.ml" 119 4465 4503 "src/oasis/OASISFindlib.ml" 140 5320 5353
)
"src/oasis/OASISFindlib.ml" 119 4465 4503 "src/oasis/OASISFindlib.ml" 119 4465 4517
type(
  OASISUtils.SetString.elt
)
ident(
  def lib_name_child "src/oasis/OASISFindlib.ml" 120 4520 4526 "src/oasis/OASISFindlib.ml" 140 5320 5353
)
"src/oasis/OASISFindlib.ml" 120 4520 4529 "src/oasis/OASISFindlib.ml" 120 4520 4542
type(
  OASISUtils.SetString.elt -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref OASISUtils.SetString.mem "set.mli" 80 3035 3039 "set.mli" 80 3035 3064
)
"src/oasis/OASISFindlib.ml" 120 4520 4543 "src/oasis/OASISFindlib.ml" 120 4520 4551
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 120 4520 4552 "src/oasis/OASISFindlib.ml" 120 4520 4559
type(
  OASISUtils.SetString.t
)
ident(
  int_ref visited "src/oasis/OASISFindlib.ml" 119 4465 4483 "src/oasis/OASISFindlib.ml" 119 4465 4490
)
"src/oasis/OASISFindlib.ml" 120 4520 4529 "src/oasis/OASISFindlib.ml" 120 4520 4559
type(
  bool
)
"src/oasis/OASISFindlib.ml" 121 4565 4573 "src/oasis/OASISFindlib.ml" 121 4565 4582
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4 ->
  OASISUtils.SetString.elt -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 122 4583 4594 "src/oasis/OASISFindlib.ml" 122 4583 4596
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4 ->
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 122 4583 4597 "src/oasis/OASISFindlib.ml" 123 4636 4682
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 122 4583 4593 "src/oasis/OASISFindlib.ml" 123 4636 4683
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4
)
"src/oasis/OASISFindlib.ml" 124 4684 4694 "src/oasis/OASISFindlib.ml" 124 4684 4702
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 121 4565 4573 "src/oasis/OASISFindlib.ml" 124 4684 4702
type(
  unit
)
"src/oasis/OASISFindlib.ml" 120 4520 4526 "src/oasis/OASISFindlib.ml" 124 4684 4702
type(
  unit
)
"src/oasis/OASISFindlib.ml" 125 4704 4714 "src/oasis/OASISFindlib.ml" 125 4704 4721
type(
  OASISUtils.SetString.t
)
ident(
  def visited "src/oasis/OASISFindlib.ml" 126 4758 4764 "src/oasis/OASISFindlib.ml" 140 5320 5353
)
"src/oasis/OASISFindlib.ml" 125 4704 4724 "src/oasis/OASISFindlib.ml" 125 4704 4737
type(
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.t -> OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.add "set.mli" 83 3129 3133 "set.mli" 83 3129 3155
)
"src/oasis/OASISFindlib.ml" 125 4704 4738 "src/oasis/OASISFindlib.ml" 125 4704 4746
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 125 4704 4747 "src/oasis/OASISFindlib.ml" 125 4704 4754
type(
  OASISUtils.SetString.t
)
ident(
  int_ref visited "src/oasis/OASISFindlib.ml" 119 4465 4483 "src/oasis/OASISFindlib.ml" 119 4465 4490
)
"src/oasis/OASISFindlib.ml" 125 4704 4724 "src/oasis/OASISFindlib.ml" 125 4704 4754
type(
  OASISUtils.SetString.t
)
"src/oasis/OASISFindlib.ml" 127 4768 4782 "src/oasis/OASISFindlib.ml" 127 4768 4796
type(
  OASISUtils.MapString.key -> 'b OASISUtils.MapString.t -> 'b
)
ident(
  int_ref OASISUtils.MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISFindlib.ml" 127 4768 4797 "src/oasis/OASISFindlib.ml" 127 4768 4805
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 127 4768 4806 "src/oasis/OASISFindlib.ml" 127 4768 4808
type(
  'b OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 119 4465 4491 "src/oasis/OASISFindlib.ml" 119 4465 4493
)
"src/oasis/OASISFindlib.ml" 127 4768 4782 "src/oasis/OASISFindlib.ml" 127 4768 4808
type(
  'b
)
"src/oasis/OASISFindlib.ml" 128 4814 4834 "src/oasis/OASISFindlib.ml" 128 4814 4842
type(
  string
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 129 4846 4858 "src/oasis/OASISFindlib.ml" 129 4846 4870
)
"src/oasis/OASISFindlib.ml" 128 4814 4826 "src/oasis/OASISFindlib.ml" 128 4814 4842
type(
  'b
)
type(
  'b
)
"src/oasis/OASISFindlib.ml" 129 4846 4858 "src/oasis/OASISFindlib.ml" 129 4846 4866
type(
  string
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 128 4814 4834 "src/oasis/OASISFindlib.ml" 128 4814 4842
)
"src/oasis/OASISFindlib.ml" 129 4846 4868 "src/oasis/OASISFindlib.ml" 129 4846 4870
type(
  'b OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 119 4465 4491 "src/oasis/OASISFindlib.ml" 119 4465 4493
)
"src/oasis/OASISFindlib.ml" 129 4846 4858 "src/oasis/OASISFindlib.ml" 129 4846 4870
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 130 4871 4894 "src/oasis/OASISFindlib.ml" 130 4871 4907
type(
  OASISUtils.SetString.elt
)
ident(
  def lib_nm_parent "src/oasis/OASISFindlib.ml" 131 4927 4939 "src/oasis/OASISFindlib.ml" 135 5092 5158
)
"src/oasis/OASISFindlib.ml" 130 4871 4909 "src/oasis/OASISFindlib.ml" 130 4871 4922
type(
  string
)
ident(
  def post_fndlb_nm "src/oasis/OASISFindlib.ml" 131 4927 4939 "src/oasis/OASISFindlib.ml" 135 5092 5158
)
"src/oasis/OASISFindlib.ml" 130 4871 4893 "src/oasis/OASISFindlib.ml" 130 4871 4923
type(
  OASISUtils.SetString.elt * string
)
"src/oasis/OASISFindlib.ml" 130 4871 4883 "src/oasis/OASISFindlib.ml" 130 4871 4923
type(
  'b
)
type(
  'b
)
"src/oasis/OASISFindlib.ml" 131 4927 4943 "src/oasis/OASISFindlib.ml" 131 4927 4955
type(
  string
)
ident(
  def pre_fndlb_nm "src/oasis/OASISFindlib.ml" 134 5031 5043 "src/oasis/OASISFindlib.ml" 135 5092 5158
)
"src/oasis/OASISFindlib.ml" 131 4927 4957 "src/oasis/OASISFindlib.ml" 131 4927 4959
type(
  'b OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 134 5031 5043 "src/oasis/OASISFindlib.ml" 135 5092 5158
)
"src/oasis/OASISFindlib.ml" 131 4927 4943 "src/oasis/OASISFindlib.ml" 131 4927 4959
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 132 4962 4976 "src/oasis/OASISFindlib.ml" 132 4962 4981
type(
  OASISUtils.SetString.t ->
  'b OASISUtils.MapString.t ->
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t
)
ident(
  int_ref solve "src/oasis/OASISFindlib.ml" 119 4465 4477 "src/oasis/OASISFindlib.ml" 119 4465 4482
)
"src/oasis/OASISFindlib.ml" 132 4962 4982 "src/oasis/OASISFindlib.ml" 132 4962 4989
type(
  OASISUtils.SetString.t
)
ident(
  int_ref visited "src/oasis/OASISFindlib.ml" 125 4704 4714 "src/oasis/OASISFindlib.ml" 125 4704 4721
)
"src/oasis/OASISFindlib.ml" 132 4962 4990 "src/oasis/OASISFindlib.ml" 132 4962 4992
type(
  'b OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 119 4465 4491 "src/oasis/OASISFindlib.ml" 119 4465 4493
)
"src/oasis/OASISFindlib.ml" 132 4962 4993 "src/oasis/OASISFindlib.ml" 132 4962 5006
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_nm_parent "src/oasis/OASISFindlib.ml" 130 4871 4894 "src/oasis/OASISFindlib.ml" 130 4871 4907
)
"src/oasis/OASISFindlib.ml" 132 4962 5007 "src/oasis/OASISFindlib.ml" 132 4962 5015
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 132 4962 4976 "src/oasis/OASISFindlib.ml" 132 4962 5015
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 134 5031 5047 "src/oasis/OASISFindlib.ml" 134 5031 5055
type(
  string
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 135 5092 5104 "src/oasis/OASISFindlib.ml" 135 5092 5158
)
"src/oasis/OASISFindlib.ml" 134 5031 5058 "src/oasis/OASISFindlib.ml" 134 5031 5070
type(
  string
)
ident(
  int_ref pre_fndlb_nm "src/oasis/OASISFindlib.ml" 131 4927 4943 "src/oasis/OASISFindlib.ml" 131 4927 4955
)
"src/oasis/OASISFindlib.ml" 134 5031 5070 "src/oasis/OASISFindlib.ml" 134 5031 5071
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFindlib.ml" 134 5031 5071 "src/oasis/OASISFindlib.ml" 134 5031 5074
type(
  string
)
"src/oasis/OASISFindlib.ml" 134 5031 5074 "src/oasis/OASISFindlib.ml" 134 5031 5075
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFindlib.ml" 134 5031 5075 "src/oasis/OASISFindlib.ml" 134 5031 5088
type(
  string
)
ident(
  int_ref post_fndlb_nm "src/oasis/OASISFindlib.ml" 130 4871 4909 "src/oasis/OASISFindlib.ml" 130 4871 4922
)
"src/oasis/OASISFindlib.ml" 134 5031 5071 "src/oasis/OASISFindlib.ml" 134 5031 5088
type(
  string
)
"src/oasis/OASISFindlib.ml" 134 5031 5058 "src/oasis/OASISFindlib.ml" 134 5031 5088
type(
  string
)
"src/oasis/OASISFindlib.ml" 135 5092 5104 "src/oasis/OASISFindlib.ml" 135 5092 5112
type(
  string
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 134 5031 5047 "src/oasis/OASISFindlib.ml" 134 5031 5055
)
"src/oasis/OASISFindlib.ml" 135 5092 5114 "src/oasis/OASISFindlib.ml" 135 5092 5127
type(
  OASISUtils.MapString.key ->
  'b -> 'b OASISUtils.MapString.t -> 'b OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 135 5092 5128 "src/oasis/OASISFindlib.ml" 135 5092 5136
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 135 5092 5146 "src/oasis/OASISFindlib.ml" 135 5092 5154
type(
  string
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 134 5031 5047 "src/oasis/OASISFindlib.ml" 134 5031 5055
)
"src/oasis/OASISFindlib.ml" 135 5092 5137 "src/oasis/OASISFindlib.ml" 135 5092 5155
type(
  'b
)
"src/oasis/OASISFindlib.ml" 135 5092 5156 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  'b OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 131 4927 4957 "src/oasis/OASISFindlib.ml" 131 4927 4959
)
"src/oasis/OASISFindlib.ml" 135 5092 5114 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 135 5092 5104 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 134 5031 5043 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 131 4927 4939 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 127 4768 4776 "src/oasis/OASISFindlib.ml" 135 5092 5158
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 136 5159 5170 "src/oasis/OASISFindlib.ml" 136 5159 5179
type(
  exn
)
"src/oasis/OASISFindlib.ml" 137 5183 5191 "src/oasis/OASISFindlib.ml" 137 5183 5200
type(
  (OASISUtils.SetString.elt ->
   OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t, unit,
   string, string * 'b OASISUtils.MapString.t)
  format4 ->
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 138 5201 5212 "src/oasis/OASISFindlib.ml" 138 5201 5214
type(
  (OASISUtils.SetString.elt ->
   OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t, unit,
   string, string * 'b OASISUtils.MapString.t)
  format4 ->
  (OASISUtils.SetString.elt ->
   OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t, unit,
   string, string * 'b OASISUtils.MapString.t)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 138 5201 5215 "src/oasis/OASISFindlib.ml" 139 5274 5318
type(
  (OASISUtils.SetString.elt ->
   OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t, unit,
   string, string * 'b OASISUtils.MapString.t)
  format4
)
"src/oasis/OASISFindlib.ml" 138 5201 5211 "src/oasis/OASISFindlib.ml" 139 5274 5319
type(
  (OASISUtils.SetString.elt ->
   OASISUtils.SetString.elt -> string * 'b OASISUtils.MapString.t, unit,
   string, string * 'b OASISUtils.MapString.t)
  format4
)
"src/oasis/OASISFindlib.ml" 140 5320 5330 "src/oasis/OASISFindlib.ml" 140 5320 5338
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 119 4465 4494 "src/oasis/OASISFindlib.ml" 119 4465 4502
)
"src/oasis/OASISFindlib.ml" 140 5320 5339 "src/oasis/OASISFindlib.ml" 140 5320 5353
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref lib_name_child "src/oasis/OASISFindlib.ml" 119 4465 4503 "src/oasis/OASISFindlib.ml" 119 4465 4517
)
"src/oasis/OASISFindlib.ml" 137 5183 5191 "src/oasis/OASISFindlib.ml" 140 5320 5353
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 126 4758 4764 "src/oasis/OASISFindlib.ml" 140 5320 5353
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 125 4704 4710 "src/oasis/OASISFindlib.ml" 140 5320 5353
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 120 4520 4526 "src/oasis/OASISFindlib.ml" 140 5320 5353
type(
  string * 'b OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 142 5361 5369 "src/oasis/OASISFindlib.ml" 142 5361 5371
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 155 5758 5762 "src/oasis/OASISFindlib.ml" 159 5870 5878
)
"src/oasis/OASISFindlib.ml" 143 5374 5380 "src/oasis/OASISFindlib.ml" 143 5374 5394
type(
  (OASISUtils.MapString.key ->
   [ `Solved of OASISTypes.name
   | `Unsolved of OASISTypes.findlib_name * string ] ->
   [ `Solved of OASISTypes.name
   | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t ->
   [ `Solved of OASISTypes.name
   | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t) ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ] OASISUtils.MapString.t ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.fold "map.mli" 160 6864 6868 "map.mli" 160 6864 6921
)
"src/oasis/OASISFindlib.ml" 144 5395 5408 "src/oasis/OASISFindlib.ml" 144 5395 5416
type(
  OASISUtils.MapString.key
)
ident(
  def lib_name "src/oasis/OASISFindlib.ml" 144 5395 5417 "src/oasis/OASISFindlib.ml" 151 5668 5685
)
"src/oasis/OASISFindlib.ml" 144 5395 5417 "src/oasis/OASISFindlib.ml" 144 5395 5423
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
ident(
  def status "src/oasis/OASISFindlib.ml" 144 5395 5424 "src/oasis/OASISFindlib.ml" 151 5668 5685
)
"src/oasis/OASISFindlib.ml" 144 5395 5424 "src/oasis/OASISFindlib.ml" 144 5395 5426
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 145 5430 5441 "src/oasis/OASISFindlib.ml" 151 5668 5685
)
"src/oasis/OASISFindlib.ml" 145 5430 5447 "src/oasis/OASISFindlib.ml" 145 5430 5453
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
ident(
  int_ref status "src/oasis/OASISFindlib.ml" 144 5395 5417 "src/oasis/OASISFindlib.ml" 144 5395 5423
)
"src/oasis/OASISFindlib.ml" 146 5459 5482 "src/oasis/OASISFindlib.ml" 146 5459 5483
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 146 5459 5474 "src/oasis/OASISFindlib.ml" 146 5459 5483
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
"src/oasis/OASISFindlib.ml" 148 5547 5562 "src/oasis/OASISFindlib.ml" 148 5547 5564
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 144 5395 5424 "src/oasis/OASISFindlib.ml" 144 5395 5426
)
"src/oasis/OASISFindlib.ml" 149 5565 5590 "src/oasis/OASISFindlib.ml" 149 5565 5591
type(
  OASISTypes.findlib_name * string
)
"src/oasis/OASISFindlib.ml" 149 5565 5580 "src/oasis/OASISFindlib.ml" 149 5565 5591
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ]
)
"src/oasis/OASISFindlib.ml" 150 5595 5614 "src/oasis/OASISFindlib.ml" 150 5595 5615
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 150 5595 5617 "src/oasis/OASISFindlib.ml" 150 5595 5619
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 151 5668 5683 "src/oasis/OASISFindlib.ml" 151 5668 5685
)
"src/oasis/OASISFindlib.ml" 150 5595 5614 "src/oasis/OASISFindlib.ml" 150 5595 5619
type(
  OASISTypes.name *
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 150 5595 5622 "src/oasis/OASISFindlib.ml" 150 5595 5627
type(
  OASISUtils.SetString.t ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t ->
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.elt ->
  OASISTypes.name *
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref solve "src/oasis/OASISFindlib.ml" 119 4465 4477 "src/oasis/OASISFindlib.ml" 119 4465 4482
)
"src/oasis/OASISFindlib.ml" 150 5595 5628 "src/oasis/OASISFindlib.ml" 150 5595 5643
type(
  OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/oasis/OASISFindlib.ml" 150 5595 5644 "src/oasis/OASISFindlib.ml" 150 5595 5646
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 144 5395 5424 "src/oasis/OASISFindlib.ml" 144 5395 5426
)
"src/oasis/OASISFindlib.ml" 150 5595 5647 "src/oasis/OASISFindlib.ml" 150 5595 5655
type(
  OASISUtils.MapString.key
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 144 5395 5408 "src/oasis/OASISFindlib.ml" 144 5395 5416
)
"src/oasis/OASISFindlib.ml" 150 5595 5656 "src/oasis/OASISFindlib.ml" 150 5595 5664
type(
  OASISUtils.SetString.elt
)
"src/oasis/OASISFindlib.ml" 150 5595 5622 "src/oasis/OASISFindlib.ml" 150 5595 5664
type(
  OASISTypes.name *
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 151 5668 5683 "src/oasis/OASISFindlib.ml" 151 5668 5685
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 150 5595 5617 "src/oasis/OASISFindlib.ml" 150 5595 5619
)
"src/oasis/OASISFindlib.ml" 150 5595 5610 "src/oasis/OASISFindlib.ml" 151 5668 5685
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 145 5430 5441 "src/oasis/OASISFindlib.ml" 151 5668 5685
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 144 5395 5403 "src/oasis/OASISFindlib.ml" 151 5668 5686
type(
  OASISUtils.MapString.key ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ] ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 152 5687 5695 "src/oasis/OASISFindlib.ml" 152 5687 5718
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISTypes.findlib_name * string ] OASISUtils.MapString.t
)
ident(
  int_ref fndlb_parts_of_lib_name "src/oasis/OASISFindlib.ml" 58 2538 2544 "src/oasis/OASISFindlib.ml" 58 2538 2567
)
"src/oasis/OASISFindlib.ml" 153 5719 5727 "src/oasis/OASISFindlib.ml" 153 5719 5750
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref fndlb_parts_of_lib_name "src/oasis/OASISFindlib.ml" 58 2538 2544 "src/oasis/OASISFindlib.ml" 58 2538 2567
)
"src/oasis/OASISFindlib.ml" 143 5374 5380 "src/oasis/OASISFindlib.ml" 153 5719 5750
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 155 5758 5762 "src/oasis/OASISFindlib.ml" 155 5758 5775
type(
  ([ `Solved of OASISTypes.name
   | `Unsolved of OASISUtils.SetString.elt * string ] -> OASISTypes.name) ->
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t ->
  OASISTypes.name OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.map "map.mli" 323 12982 12986 "map.mli" 323 12982 13021
)
"src/oasis/OASISFindlib.ml" 157 5792 5810 "src/oasis/OASISFindlib.ml" 157 5792 5818
type(
  OASISTypes.name
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 157 5792 5822 "src/oasis/OASISFindlib.ml" 157 5792 5830
)
"src/oasis/OASISFindlib.ml" 157 5792 5802 "src/oasis/OASISFindlib.ml" 157 5792 5818
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ]
)
"src/oasis/OASISFindlib.ml" 157 5792 5822 "src/oasis/OASISFindlib.ml" 157 5792 5830
type(
  OASISTypes.name
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 157 5792 5810 "src/oasis/OASISFindlib.ml" 157 5792 5818
)
"src/oasis/OASISFindlib.ml" 158 5831 5851 "src/oasis/OASISFindlib.ml" 158 5831 5852
type(
  OASISUtils.SetString.elt * string
)
"src/oasis/OASISFindlib.ml" 158 5831 5841 "src/oasis/OASISFindlib.ml" 158 5831 5852
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ]
)
"src/oasis/OASISFindlib.ml" 158 5831 5863 "src/oasis/OASISFindlib.ml" 158 5831 5868
type(
  bool
)
"src/oasis/OASISFindlib.ml" 158 5831 5856 "src/oasis/OASISFindlib.ml" 158 5831 5868
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 156 5776 5782 "src/oasis/OASISFindlib.ml" 158 5831 5869
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] -> OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 159 5870 5876 "src/oasis/OASISFindlib.ml" 159 5870 5878
type(
  [ `Solved of OASISTypes.name
  | `Unsolved of OASISUtils.SetString.elt * string ] OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 142 5361 5369 "src/oasis/OASISFindlib.ml" 142 5361 5371
)
"src/oasis/OASISFindlib.ml" 155 5758 5762 "src/oasis/OASISFindlib.ml" 159 5870 5878
type(
  OASISTypes.name OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 142 5361 5365 "src/oasis/OASISFindlib.ml" 159 5870 5878
type(
  OASISTypes.name OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 119 4465 4469 "src/oasis/OASISFindlib.ml" 159 5870 5878
type(
  OASISTypes.name OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 163 5945 5951 "src/oasis/OASISFindlib.ml" 163 5945 5979
type(
  OASISUtils.MapString.key -> OASISTypes.name
)
ident(
  def findlib_name_of_library_name "src/oasis/OASISFindlib.ml" 172 6158 6160 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 163 5945 5980 "src/oasis/OASISFindlib.ml" 163 5945 5986
type(
  OASISUtils.MapString.key
)
ident(
  def lib_nm "src/oasis/OASISFindlib.ml" 164 5989 5993 "src/oasis/OASISFindlib.ml" 167 6070 6114
)
"src/oasis/OASISFindlib.ml" 165 5997 6003 "src/oasis/OASISFindlib.ml" 165 5997 6017
type(
  OASISUtils.MapString.key ->
  OASISTypes.name OASISUtils.MapString.t -> OASISTypes.name
)
ident(
  int_ref OASISUtils.MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISFindlib.ml" 165 5997 6018 "src/oasis/OASISFindlib.ml" 165 5997 6024
type(
  OASISUtils.MapString.key
)
ident(
  int_ref lib_nm "src/oasis/OASISFindlib.ml" 163 5945 5980 "src/oasis/OASISFindlib.ml" 163 5945 5986
)
"src/oasis/OASISFindlib.ml" 165 5997 6025 "src/oasis/OASISFindlib.ml" 165 5997 6047
type(
  OASISTypes.name OASISUtils.MapString.t
)
ident(
  int_ref fndlb_name_of_lib_name "src/oasis/OASISFindlib.ml" 118 4434 4440 "src/oasis/OASISFindlib.ml" 118 4434 4462
)
"src/oasis/OASISFindlib.ml" 165 5997 6003 "src/oasis/OASISFindlib.ml" 165 5997 6047
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 166 6048 6057 "src/oasis/OASISFindlib.ml" 166 6048 6066
type(
  exn
)
"src/oasis/OASISFindlib.ml" 167 6070 6076 "src/oasis/OASISFindlib.ml" 167 6070 6081
type(
  exn -> OASISTypes.name
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISFindlib.ml" 167 6070 6107 "src/oasis/OASISFindlib.ml" 167 6070 6113
type(
  OASISUtils.MapString.key
)
ident(
  int_ref lib_nm "src/oasis/OASISFindlib.ml" 163 5945 5980 "src/oasis/OASISFindlib.ml" 163 5945 5986
)
"src/oasis/OASISFindlib.ml" 167 6070 6082 "src/oasis/OASISFindlib.ml" 167 6070 6114
type(
  exn
)
"src/oasis/OASISFindlib.ml" 167 6070 6076 "src/oasis/OASISFindlib.ml" 167 6070 6114
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 164 5989 5993 "src/oasis/OASISFindlib.ml" 167 6070 6114
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 172 6158 6164 "src/oasis/OASISFindlib.ml" 172 6158 6167
type(
  data -> tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  def add "src/oasis/OASISFindlib.ml" 227 7841 7843 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 172 6158 6168 "src/oasis/OASISFindlib.ml" 172 6158 6171
type(
  data
)
ident(
  def sct "src/oasis/OASISFindlib.ml" 172 6158 6172 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 172 6158 6172 "src/oasis/OASISFindlib.ml" 172 6158 6174
type(
  tree OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 173 6177 6181 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 173 6177 6185 "src/oasis/OASISFindlib.ml" 173 6177 6199
type(
  OASISTypes.name
)
ident(
  def fndlb_fullname "src/oasis/OASISFindlib.ml" 178 6316 6320 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 174 6202 6212 "src/oasis/OASISFindlib.ml" 174 6202 6214
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 175 6230 6236 "src/oasis/OASISFindlib.ml" 176 6265 6308
)
"src/oasis/OASISFindlib.ml" 174 6202 6216 "src/oasis/OASISFindlib.ml" 174 6202 6217
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 174 6202 6219 "src/oasis/OASISFindlib.ml" 174 6202 6220
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 174 6202 6212 "src/oasis/OASISFindlib.ml" 174 6202 6220
type(
  data
)
"src/oasis/OASISFindlib.ml" 174 6202 6223 "src/oasis/OASISFindlib.ml" 174 6202 6226
type(
  data
)
ident(
  int_ref sct "src/oasis/OASISFindlib.ml" 172 6158 6168 "src/oasis/OASISFindlib.ml" 172 6158 6171
)
"src/oasis/OASISFindlib.ml" 175 6230 6240 "src/oasis/OASISFindlib.ml" 175 6230 6248
type(
  OASISTypes.name
)
ident(
  def lib_name "src/oasis/OASISFindlib.ml" 176 6265 6271 "src/oasis/OASISFindlib.ml" 176 6265 6308
)
"src/oasis/OASISFindlib.ml" 175 6230 6251 "src/oasis/OASISFindlib.ml" 175 6230 6253
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 174 6202 6212 "src/oasis/OASISFindlib.ml" 174 6202 6214
)
"src/oasis/OASISFindlib.ml" 175 6230 6251 "src/oasis/OASISFindlib.ml" 175 6230 6261
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 176 6265 6271 "src/oasis/OASISFindlib.ml" 176 6265 6299
type(
  OASISUtils.MapString.key -> OASISTypes.name
)
ident(
  int_ref findlib_name_of_library_name "src/oasis/OASISFindlib.ml" 163 5945 5951 "src/oasis/OASISFindlib.ml" 163 5945 5979
)
"src/oasis/OASISFindlib.ml" 176 6265 6300 "src/oasis/OASISFindlib.ml" 176 6265 6308
type(
  OASISTypes.name
)
ident(
  int_ref lib_name "src/oasis/OASISFindlib.ml" 175 6230 6240 "src/oasis/OASISFindlib.ml" 175 6230 6248
)
"src/oasis/OASISFindlib.ml" 176 6265 6271 "src/oasis/OASISFindlib.ml" 176 6265 6308
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 175 6230 6236 "src/oasis/OASISFindlib.ml" 176 6265 6308
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 174 6202 6208 "src/oasis/OASISFindlib.ml" 176 6265 6308
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 178 6316 6328 "src/oasis/OASISFindlib.ml" 178 6316 6340
type(
  OASISUtils.MapString.key list ->
  tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  def add_children "src/oasis/OASISFindlib.ml" 178 6316 6320 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 178 6316 6341 "src/oasis/OASISFindlib.ml" 178 6316 6347
type(
  OASISUtils.MapString.key list
)
ident(
  def nm_lst "src/oasis/OASISFindlib.ml" 178 6316 6348 "src/oasis/OASISFindlib.ml" 193 6772 6794
)
"src/oasis/OASISFindlib.ml" 178 6316 6349 "src/oasis/OASISFindlib.ml" 178 6316 6357
type(
  tree OASISUtils.MapString.t
)
type(
  tree OASISUtils.MapString.t
)
ident(
  def children "src/oasis/OASISFindlib.ml" 179 6379 6385 "src/oasis/OASISFindlib.ml" 193 6772 6794
)
"src/oasis/OASISFindlib.ml" 179 6379 6391 "src/oasis/OASISFindlib.ml" 179 6379 6397
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref nm_lst "src/oasis/OASISFindlib.ml" 178 6316 6341 "src/oasis/OASISFindlib.ml" 178 6316 6347
)
"src/oasis/OASISFindlib.ml" 180 6403 6414 "src/oasis/OASISFindlib.ml" 180 6403 6416
type(
  OASISUtils.MapString.key
)
ident(
  def hd "src/oasis/OASISFindlib.ml" 181 6427 6437 "src/oasis/OASISFindlib.ml" 190 6690 6703
)
"src/oasis/OASISFindlib.ml" 180 6403 6420 "src/oasis/OASISFindlib.ml" 180 6403 6422
type(
  OASISUtils.MapString.key list
)
ident(
  def tl "src/oasis/OASISFindlib.ml" 181 6427 6437 "src/oasis/OASISFindlib.ml" 190 6690 6703
)
"src/oasis/OASISFindlib.ml" 180 6403 6413 "src/oasis/OASISFindlib.ml" 180 6403 6423
type(
  OASISUtils.MapString.key list
)
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 182 6443 6459 "src/oasis/OASISFindlib.ml" 182 6443 6463
type(
  tree
)
ident(
  def node "src/oasis/OASISFindlib.ml" 189 6647 6659 "src/oasis/OASISFindlib.ml" 189 6647 6689
)
"src/oasis/OASISFindlib.ml" 184 6484 6500 "src/oasis/OASISFindlib.ml" 184 6484 6508
type(
  OASISUtils.MapString.key list -> tree -> tree
)
ident(
  int_ref add_node "src/oasis/OASISFindlib.ml" 194 6795 6803 "src/oasis/OASISFindlib.ml" 194 6795 6811
)
"src/oasis/OASISFindlib.ml" 184 6484 6509 "src/oasis/OASISFindlib.ml" 184 6484 6511
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 180 6403 6420 "src/oasis/OASISFindlib.ml" 180 6403 6422
)
"src/oasis/OASISFindlib.ml" 184 6484 6513 "src/oasis/OASISFindlib.ml" 184 6484 6527
type(
  OASISUtils.MapString.key -> tree OASISUtils.MapString.t -> tree
)
ident(
  int_ref OASISUtils.MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISFindlib.ml" 184 6484 6528 "src/oasis/OASISFindlib.ml" 184 6484 6530
type(
  OASISUtils.MapString.key
)
ident(
  int_ref hd "src/oasis/OASISFindlib.ml" 180 6403 6414 "src/oasis/OASISFindlib.ml" 180 6403 6416
)
"src/oasis/OASISFindlib.ml" 184 6484 6531 "src/oasis/OASISFindlib.ml" 184 6484 6539
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 178 6316 6349 "src/oasis/OASISFindlib.ml" 178 6316 6357
)
"src/oasis/OASISFindlib.ml" 184 6484 6512 "src/oasis/OASISFindlib.ml" 184 6484 6540
type(
  tree
)
"src/oasis/OASISFindlib.ml" 184 6484 6500 "src/oasis/OASISFindlib.ml" 184 6484 6540
type(
  tree
)
"src/oasis/OASISFindlib.ml" 185 6541 6560 "src/oasis/OASISFindlib.ml" 185 6541 6569
type(
  exn
)
"src/oasis/OASISFindlib.ml" 187 6604 6620 "src/oasis/OASISFindlib.ml" 187 6604 6628
type(
  OASISUtils.MapString.key list -> tree
)
ident(
  int_ref new_node "src/oasis/OASISFindlib.ml" 217 7607 7615 "src/oasis/OASISFindlib.ml" 217 7607 7623
)
"src/oasis/OASISFindlib.ml" 187 6604 6629 "src/oasis/OASISFindlib.ml" 187 6604 6631
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 180 6403 6420 "src/oasis/OASISFindlib.ml" 180 6403 6422
)
"src/oasis/OASISFindlib.ml" 187 6604 6620 "src/oasis/OASISFindlib.ml" 187 6604 6631
type(
  tree
)
"src/oasis/OASISFindlib.ml" 183 6466 6480 "src/oasis/OASISFindlib.ml" 187 6604 6631
type(
  tree
)
"src/oasis/OASISFindlib.ml" 189 6647 6659 "src/oasis/OASISFindlib.ml" 189 6647 6672
type(
  OASISUtils.MapString.key ->
  tree -> tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 189 6647 6673 "src/oasis/OASISFindlib.ml" 189 6647 6675
type(
  OASISUtils.MapString.key
)
ident(
  int_ref hd "src/oasis/OASISFindlib.ml" 180 6403 6414 "src/oasis/OASISFindlib.ml" 180 6403 6416
)
"src/oasis/OASISFindlib.ml" 189 6647 6676 "src/oasis/OASISFindlib.ml" 189 6647 6680
type(
  tree
)
ident(
  int_ref node "src/oasis/OASISFindlib.ml" 182 6443 6459 "src/oasis/OASISFindlib.ml" 182 6443 6463
)
"src/oasis/OASISFindlib.ml" 189 6647 6681 "src/oasis/OASISFindlib.ml" 189 6647 6689
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 178 6316 6349 "src/oasis/OASISFindlib.ml" 178 6316 6357
)
"src/oasis/OASISFindlib.ml" 189 6647 6659 "src/oasis/OASISFindlib.ml" 189 6647 6689
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 181 6427 6437 "src/oasis/OASISFindlib.ml" 190 6690 6703
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 191 6704 6714 "src/oasis/OASISFindlib.ml" 191 6704 6716
type(
  OASISUtils.MapString.key list
)
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 193 6772 6789 "src/oasis/OASISFindlib.ml" 193 6772 6794
type(
  bool
)
"src/oasis/OASISFindlib.ml" 193 6772 6782 "src/oasis/OASISFindlib.ml" 193 6772 6794
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 179 6379 6385 "src/oasis/OASISFindlib.ml" 193 6772 6794
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 194 6795 6803 "src/oasis/OASISFindlib.ml" 194 6795 6811
type(
  OASISUtils.MapString.key list -> tree -> tree
)
ident(
  def add_node "src/oasis/OASISFindlib.ml" 178 6316 6320 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 194 6795 6812 "src/oasis/OASISFindlib.ml" 194 6795 6814
type(
  OASISUtils.MapString.key list
)
ident(
  def tl "src/oasis/OASISFindlib.ml" 194 6795 6815 "src/oasis/OASISFindlib.ml" 216 7595 7606
)
"src/oasis/OASISFindlib.ml" 194 6795 6815 "src/oasis/OASISFindlib.ml" 194 6795 6819
type(
  tree
)
ident(
  def node "src/oasis/OASISFindlib.ml" 195 6822 6828 "src/oasis/OASISFindlib.ml" 216 7595 7606
)
"src/oasis/OASISFindlib.ml" 195 6822 6831 "src/oasis/OASISFindlib.ml" 195 6822 6833
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 194 6795 6812 "src/oasis/OASISFindlib.ml" 194 6795 6814
)
"src/oasis/OASISFindlib.ml" 195 6822 6834 "src/oasis/OASISFindlib.ml" 195 6822 6835
type(
  OASISUtils.MapString.key list -> OASISUtils.MapString.key list -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFindlib.ml" 195 6822 6836 "src/oasis/OASISFindlib.ml" 195 6822 6838
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 195 6822 6831 "src/oasis/OASISFindlib.ml" 195 6822 6838
type(
  bool
)
"src/oasis/OASISFindlib.ml" 197 6858 6874 "src/oasis/OASISFindlib.ml" 197 6858 6878
type(
  tree
)
ident(
  int_ref node "src/oasis/OASISFindlib.ml" 194 6795 6815 "src/oasis/OASISFindlib.ml" 194 6795 6819
)
"src/oasis/OASISFindlib.ml" 198 6884 6904 "src/oasis/OASISFindlib.ml" 198 6884 6908
type(
  data option
)
"src/oasis/OASISFindlib.ml" 198 6884 6910 "src/oasis/OASISFindlib.ml" 198 6884 6918
type(
  tree OASISUtils.MapString.t
)
ident(
  def children "src/oasis/OASISFindlib.ml" 199 6923 6937 "src/oasis/OASISFindlib.ml" 199 6923 6962
)
"src/oasis/OASISFindlib.ml" 198 6884 6898 "src/oasis/OASISFindlib.ml" 198 6884 6919
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 199 6923 6948 "src/oasis/OASISFindlib.ml" 199 6923 6951
type(
  data
)
ident(
  int_ref sct "src/oasis/OASISFindlib.ml" 172 6158 6168 "src/oasis/OASISFindlib.ml" 172 6158 6171
)
"src/oasis/OASISFindlib.ml" 199 6923 6943 "src/oasis/OASISFindlib.ml" 199 6923 6951
type(
  data option
)
"src/oasis/OASISFindlib.ml" 199 6923 6953 "src/oasis/OASISFindlib.ml" 199 6923 6961
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 198 6884 6910 "src/oasis/OASISFindlib.ml" 198 6884 6918
)
"src/oasis/OASISFindlib.ml" 199 6923 6937 "src/oasis/OASISFindlib.ml" 199 6923 6962
type(
  tree
)
"src/oasis/OASISFindlib.ml" 200 6963 6983 "src/oasis/OASISFindlib.ml" 200 6963 6986
type(
  OASISTypes.common_section
)
ident(
  def cs' "src/oasis/OASISFindlib.ml" 204 7151 7165 "src/oasis/OASISFindlib.ml" 207 7288 7341
)
"src/oasis/OASISFindlib.ml" 200 6963 6988 "src/oasis/OASISFindlib.ml" 200 6963 6989
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 200 6963 6991 "src/oasis/OASISFindlib.ml" 200 6963 6992
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 200 6963 6982 "src/oasis/OASISFindlib.ml" 200 6963 6993
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 200 6963 6977 "src/oasis/OASISFindlib.ml" 200 6963 6993
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 200 6963 7008 "src/oasis/OASISFindlib.ml" 200 6963 7011
type(
  OASISTypes.common_section
)
ident(
  def cs' "src/oasis/OASISFindlib.ml" 204 7151 7165 "src/oasis/OASISFindlib.ml" 207 7288 7341
)
"src/oasis/OASISFindlib.ml" 200 6963 7013 "src/oasis/OASISFindlib.ml" 200 6963 7014
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 200 6963 7016 "src/oasis/OASISFindlib.ml" 200 6963 7017
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 200 6963 7007 "src/oasis/OASISFindlib.ml" 200 6963 7018
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 200 6963 7002 "src/oasis/OASISFindlib.ml" 200 6963 7018
type(
  data option
)
"src/oasis/OASISFindlib.ml" 200 6963 7020 "src/oasis/OASISFindlib.ml" 200 6963 7021
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 200 6963 6996 "src/oasis/OASISFindlib.ml" 200 6963 7022
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 200 6963 6977 "src/oasis/OASISFindlib.ml" 200 6963 7022
type(
  tree
)
"src/oasis/OASISFindlib.ml" 204 7151 7169 "src/oasis/OASISFindlib.ml" 204 7151 7171
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 205 7187 7201 "src/oasis/OASISFindlib.ml" 207 7288 7341
)
"src/oasis/OASISFindlib.ml" 204 7151 7173 "src/oasis/OASISFindlib.ml" 204 7151 7174
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 204 7151 7176 "src/oasis/OASISFindlib.ml" 204 7151 7177
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 204 7151 7169 "src/oasis/OASISFindlib.ml" 204 7151 7177
type(
  data
)
"src/oasis/OASISFindlib.ml" 204 7151 7180 "src/oasis/OASISFindlib.ml" 204 7151 7183
type(
  data
)
ident(
  int_ref sct "src/oasis/OASISFindlib.ml" 172 6158 6168 "src/oasis/OASISFindlib.ml" 172 6158 6171
)
"src/oasis/OASISFindlib.ml" 205 7187 7201 "src/oasis/OASISFindlib.ml" 205 7187 7210
type(
  (OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree, unit,
   string, tree)
  format4 -> OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 206 7211 7228 "src/oasis/OASISFindlib.ml" 206 7211 7230
type(
  (OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree, unit,
   string, tree)
  format4 ->
  (OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree, unit,
   string, tree)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 206 7211 7231 "src/oasis/OASISFindlib.ml" 206 7211 7286
type(
  (OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree, unit,
   string, tree)
  format4
)
"src/oasis/OASISFindlib.ml" 206 7211 7227 "src/oasis/OASISFindlib.ml" 206 7211 7287
type(
  (OASISTypes.name -> OASISTypes.name -> OASISTypes.name -> tree, unit,
   string, tree)
  format4
)
"src/oasis/OASISFindlib.ml" 207 7288 7304 "src/oasis/OASISFindlib.ml" 207 7288 7306
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 204 7151 7169 "src/oasis/OASISFindlib.ml" 204 7151 7171
)
"src/oasis/OASISFindlib.ml" 207 7288 7304 "src/oasis/OASISFindlib.ml" 207 7288 7314
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 207 7288 7315 "src/oasis/OASISFindlib.ml" 207 7288 7318
type(
  OASISTypes.common_section
)
ident(
  int_ref cs' "src/oasis/OASISFindlib.ml" 200 6963 6983 "src/oasis/OASISFindlib.ml" 200 6963 6986
)
"src/oasis/OASISFindlib.ml" 207 7288 7315 "src/oasis/OASISFindlib.ml" 207 7288 7326
type(
  OASISTypes.name
)
"src/oasis/OASISFindlib.ml" 207 7288 7327 "src/oasis/OASISFindlib.ml" 207 7288 7341
type(
  OASISTypes.name
)
ident(
  int_ref fndlb_fullname "src/oasis/OASISFindlib.ml" 173 6177 6185 "src/oasis/OASISFindlib.ml" 173 6177 6199
)
"src/oasis/OASISFindlib.ml" 205 7187 7201 "src/oasis/OASISFindlib.ml" 207 7288 7341
type(
  tree
)
"src/oasis/OASISFindlib.ml" 204 7151 7165 "src/oasis/OASISFindlib.ml" 207 7288 7341
type(
  tree
)
"src/oasis/OASISFindlib.ml" 196 6844 6852 "src/oasis/OASISFindlib.ml" 208 7342 7353
type(
  tree
)
"src/oasis/OASISFindlib.ml" 211 7379 7395 "src/oasis/OASISFindlib.ml" 211 7379 7399
type(
  tree
)
ident(
  int_ref node "src/oasis/OASISFindlib.ml" 194 6795 6815 "src/oasis/OASISFindlib.ml" 194 6795 6819
)
"src/oasis/OASISFindlib.ml" 212 7405 7424 "src/oasis/OASISFindlib.ml" 212 7405 7428
type(
  data
)
ident(
  def data "src/oasis/OASISFindlib.ml" 213 7432 7446 "src/oasis/OASISFindlib.ml" 213 7432 7495
)
"src/oasis/OASISFindlib.ml" 212 7405 7419 "src/oasis/OASISFindlib.ml" 212 7405 7428
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 213 7432 7457 "src/oasis/OASISFindlib.ml" 213 7432 7461
type(
  data
)
ident(
  int_ref data "src/oasis/OASISFindlib.ml" 212 7405 7424 "src/oasis/OASISFindlib.ml" 212 7405 7428
)
"src/oasis/OASISFindlib.ml" 213 7432 7452 "src/oasis/OASISFindlib.ml" 213 7432 7461
type(
  data option
)
"src/oasis/OASISFindlib.ml" 213 7432 7463 "src/oasis/OASISFindlib.ml" 213 7432 7475
type(
  OASISUtils.MapString.key list ->
  tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref add_children "src/oasis/OASISFindlib.ml" 178 6316 6328 "src/oasis/OASISFindlib.ml" 178 6316 6340
)
"src/oasis/OASISFindlib.ml" 213 7432 7476 "src/oasis/OASISFindlib.ml" 213 7432 7478
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 194 6795 6812 "src/oasis/OASISFindlib.ml" 194 6795 6814
)
"src/oasis/OASISFindlib.ml" 213 7432 7479 "src/oasis/OASISFindlib.ml" 213 7432 7494
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFindlib.ml" 213 7432 7463 "src/oasis/OASISFindlib.ml" 213 7432 7494
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 213 7432 7446 "src/oasis/OASISFindlib.ml" 213 7432 7495
type(
  tree
)
"src/oasis/OASISFindlib.ml" 214 7496 7516 "src/oasis/OASISFindlib.ml" 214 7496 7524
type(
  data option
)
ident(
  def data_opt "src/oasis/OASISFindlib.ml" 215 7539 7553 "src/oasis/OASISFindlib.ml" 215 7539 7594
)
"src/oasis/OASISFindlib.ml" 214 7496 7526 "src/oasis/OASISFindlib.ml" 214 7496 7534
type(
  tree OASISUtils.MapString.t
)
ident(
  def children "src/oasis/OASISFindlib.ml" 215 7539 7553 "src/oasis/OASISFindlib.ml" 215 7539 7594
)
"src/oasis/OASISFindlib.ml" 214 7496 7510 "src/oasis/OASISFindlib.ml" 214 7496 7535
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 215 7539 7559 "src/oasis/OASISFindlib.ml" 215 7539 7567
type(
  data option
)
ident(
  int_ref data_opt "src/oasis/OASISFindlib.ml" 214 7496 7516 "src/oasis/OASISFindlib.ml" 214 7496 7524
)
"src/oasis/OASISFindlib.ml" 215 7539 7569 "src/oasis/OASISFindlib.ml" 215 7539 7581
type(
  OASISUtils.MapString.key list ->
  tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref add_children "src/oasis/OASISFindlib.ml" 178 6316 6328 "src/oasis/OASISFindlib.ml" 178 6316 6340
)
"src/oasis/OASISFindlib.ml" 215 7539 7582 "src/oasis/OASISFindlib.ml" 215 7539 7584
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 194 6795 6812 "src/oasis/OASISFindlib.ml" 194 6795 6814
)
"src/oasis/OASISFindlib.ml" 215 7539 7585 "src/oasis/OASISFindlib.ml" 215 7539 7593
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 214 7496 7526 "src/oasis/OASISFindlib.ml" 214 7496 7534
)
"src/oasis/OASISFindlib.ml" 215 7539 7569 "src/oasis/OASISFindlib.ml" 215 7539 7593
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 215 7539 7553 "src/oasis/OASISFindlib.ml" 215 7539 7594
type(
  tree
)
"src/oasis/OASISFindlib.ml" 210 7365 7373 "src/oasis/OASISFindlib.ml" 216 7595 7606
type(
  tree
)
"src/oasis/OASISFindlib.ml" 195 6822 6828 "src/oasis/OASISFindlib.ml" 216 7595 7606
type(
  tree
)
"src/oasis/OASISFindlib.ml" 217 7607 7615 "src/oasis/OASISFindlib.ml" 217 7607 7623
type(
  OASISUtils.MapString.key list -> tree
)
ident(
  def new_node "src/oasis/OASISFindlib.ml" 178 6316 6320 "src/oasis/OASISFindlib.ml" 224 7775 7834
)
"src/oasis/OASISFindlib.ml" 219 7641 7651 "src/oasis/OASISFindlib.ml" 219 7641 7653
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 220 7657 7672 "src/oasis/OASISFindlib.ml" 220 7657 7675
type(
  data
)
ident(
  int_ref sct "src/oasis/OASISFindlib.ml" 172 6158 6168 "src/oasis/OASISFindlib.ml" 172 6158 6171
)
"src/oasis/OASISFindlib.ml" 220 7657 7667 "src/oasis/OASISFindlib.ml" 220 7657 7675
type(
  tree
)
"src/oasis/OASISFindlib.ml" 221 7676 7686 "src/oasis/OASISFindlib.ml" 221 7676 7688
type(
  OASISUtils.MapString.key
)
ident(
  def hd "src/oasis/OASISFindlib.ml" 222 7698 7708 "src/oasis/OASISFindlib.ml" 222 7698 7767
)
"src/oasis/OASISFindlib.ml" 221 7676 7692 "src/oasis/OASISFindlib.ml" 221 7676 7694
type(
  OASISUtils.MapString.key list
)
ident(
  def tl "src/oasis/OASISFindlib.ml" 222 7698 7708 "src/oasis/OASISFindlib.ml" 222 7698 7767
)
"src/oasis/OASISFindlib.ml" 221 7676 7686 "src/oasis/OASISFindlib.ml" 221 7676 7694
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 222 7698 7714 "src/oasis/OASISFindlib.ml" 222 7698 7718
type(
  data option
)
"src/oasis/OASISFindlib.ml" 222 7698 7720 "src/oasis/OASISFindlib.ml" 222 7698 7733
type(
  OASISUtils.MapString.key ->
  tree -> tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 222 7698 7734 "src/oasis/OASISFindlib.ml" 222 7698 7736
type(
  OASISUtils.MapString.key
)
ident(
  int_ref hd "src/oasis/OASISFindlib.ml" 221 7676 7686 "src/oasis/OASISFindlib.ml" 221 7676 7688
)
"src/oasis/OASISFindlib.ml" 222 7698 7738 "src/oasis/OASISFindlib.ml" 222 7698 7746
type(
  OASISUtils.MapString.key list -> tree
)
ident(
  int_ref new_node "src/oasis/OASISFindlib.ml" 217 7607 7615 "src/oasis/OASISFindlib.ml" 217 7607 7623
)
"src/oasis/OASISFindlib.ml" 222 7698 7747 "src/oasis/OASISFindlib.ml" 222 7698 7749
type(
  OASISUtils.MapString.key list
)
ident(
  int_ref tl "src/oasis/OASISFindlib.ml" 221 7676 7692 "src/oasis/OASISFindlib.ml" 221 7676 7694
)
"src/oasis/OASISFindlib.ml" 222 7698 7737 "src/oasis/OASISFindlib.ml" 222 7698 7750
type(
  tree
)
"src/oasis/OASISFindlib.ml" 222 7698 7751 "src/oasis/OASISFindlib.ml" 222 7698 7766
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFindlib.ml" 222 7698 7720 "src/oasis/OASISFindlib.ml" 222 7698 7766
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 222 7698 7708 "src/oasis/OASISFindlib.ml" 222 7698 7767
type(
  tree
)
"src/oasis/OASISFindlib.ml" 218 7626 7632 "src/oasis/OASISFindlib.ml" 222 7698 7767
type(
  OASISUtils.MapString.key list -> tree
)
"src/oasis/OASISFindlib.ml" 224 7775 7779 "src/oasis/OASISFindlib.ml" 224 7775 7791
type(
  OASISUtils.MapString.key list ->
  tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref add_children "src/oasis/OASISFindlib.ml" 178 6316 6328 "src/oasis/OASISFindlib.ml" 178 6316 6340
)
"src/oasis/OASISFindlib.ml" 224 7775 7793 "src/oasis/OASISFindlib.ml" 224 7775 7811
type(
  OASISTypes.name -> char -> OASISUtils.MapString.key list
)
ident(
  int_ref OASISString.nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISFindlib.ml" 224 7775 7812 "src/oasis/OASISFindlib.ml" 224 7775 7826
type(
  OASISTypes.name
)
ident(
  int_ref fndlb_fullname "src/oasis/OASISFindlib.ml" 173 6177 6185 "src/oasis/OASISFindlib.ml" 173 6177 6199
)
"src/oasis/OASISFindlib.ml" 224 7775 7827 "src/oasis/OASISFindlib.ml" 224 7775 7830
type(
  char
)
"src/oasis/OASISFindlib.ml" 224 7775 7792 "src/oasis/OASISFindlib.ml" 224 7775 7831
type(
  OASISUtils.MapString.key list
)
"src/oasis/OASISFindlib.ml" 224 7775 7832 "src/oasis/OASISFindlib.ml" 224 7775 7834
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 172 6158 6172 "src/oasis/OASISFindlib.ml" 172 6158 6174
)
"src/oasis/OASISFindlib.ml" 224 7775 7779 "src/oasis/OASISFindlib.ml" 224 7775 7834
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 178 6316 6320 "src/oasis/OASISFindlib.ml" 224 7775 7834
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 173 6177 6181 "src/oasis/OASISFindlib.ml" 224 7775 7834
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 227 7841 7847 "src/oasis/OASISFindlib.ml" 227 7841 7861
type(
  OASISTypes.unix_dirname option ->
  [< `Library of OASISTypes.library | `Object of OASISTypes.object_ ] ->
  OASISTypes.unix_dirname option
)
ident(
  def unix_directory "src/oasis/OASISFindlib.ml" 239 8189 8191 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 227 7841 7862 "src/oasis/OASISFindlib.ml" 227 7841 7864
type(
  OASISTypes.unix_dirname option
)
ident(
  def dn "src/oasis/OASISFindlib.ml" 227 7841 7865 "src/oasis/OASISFindlib.ml" 236 8119 8182
)
"src/oasis/OASISFindlib.ml" 227 7841 7865 "src/oasis/OASISFindlib.ml" 227 7841 7868
type(
  [< `Library of OASISTypes.library | `Object of OASISTypes.object_ ] as 'c
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 228 7871 7875 "src/oasis/OASISFindlib.ml" 236 8119 8182
)
"src/oasis/OASISFindlib.ml" 228 7871 7879 "src/oasis/OASISFindlib.ml" 228 7871 7888
type(
  OASISTypes.unix_dirname option
)
ident(
  def directory "src/oasis/OASISFindlib.ml" 233 8018 8022 "src/oasis/OASISFindlib.ml" 236 8119 8182
)
"src/oasis/OASISFindlib.ml" 229 7891 7903 "src/oasis/OASISFindlib.ml" 229 7891 7906
type(
  'c
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 227 7841 7865 "src/oasis/OASISFindlib.ml" 227 7841 7868
)
"src/oasis/OASISFindlib.ml" 230 7912 7929 "src/oasis/OASISFindlib.ml" 230 7912 7932
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 230 7912 7936 "src/oasis/OASISFindlib.ml" 230 7912 7961
)
"src/oasis/OASISFindlib.ml" 230 7912 7920 "src/oasis/OASISFindlib.ml" 230 7912 7932
type(
  'c
)
type(
  'c
)
"src/oasis/OASISFindlib.ml" 230 7912 7936 "src/oasis/OASISFindlib.ml" 230 7912 7939
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 230 7912 7929 "src/oasis/OASISFindlib.ml" 230 7912 7932
)
"src/oasis/OASISFindlib.ml" 230 7912 7936 "src/oasis/OASISFindlib.ml" 230 7912 7961
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 231 7962 7978 "src/oasis/OASISFindlib.ml" 231 7962 7981
type(
  OASISTypes.object_
)
ident(
  def obj "src/oasis/OASISFindlib.ml" 231 7962 7985 "src/oasis/OASISFindlib.ml" 231 7962 8010
)
"src/oasis/OASISFindlib.ml" 231 7962 7970 "src/oasis/OASISFindlib.ml" 231 7962 7981
type(
  'c
)
type(
  'c
)
"src/oasis/OASISFindlib.ml" 231 7962 7985 "src/oasis/OASISFindlib.ml" 231 7962 7988
type(
  OASISTypes.object_
)
ident(
  int_ref obj "src/oasis/OASISFindlib.ml" 231 7962 7978 "src/oasis/OASISFindlib.ml" 231 7962 7981
)
"src/oasis/OASISFindlib.ml" 231 7962 7985 "src/oasis/OASISFindlib.ml" 231 7962 8010
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 229 7891 7897 "src/oasis/OASISFindlib.ml" 231 7962 8010
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 233 8018 8028 "src/oasis/OASISFindlib.ml" 233 8018 8030
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref dn "src/oasis/OASISFindlib.ml" 227 7841 7862 "src/oasis/OASISFindlib.ml" 227 7841 7864
)
"src/oasis/OASISFindlib.ml" 233 8018 8032 "src/oasis/OASISFindlib.ml" 233 8018 8041
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref directory "src/oasis/OASISFindlib.ml" 228 7871 7879 "src/oasis/OASISFindlib.ml" 228 7871 7888
)
"src/oasis/OASISFindlib.ml" 233 8018 8028 "src/oasis/OASISFindlib.ml" 233 8018 8041
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 234 8047 8053 "src/oasis/OASISFindlib.ml" 234 8047 8057
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 234 8047 8059 "src/oasis/OASISFindlib.ml" 234 8047 8063
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 234 8047 8053 "src/oasis/OASISFindlib.ml" 234 8047 8063
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 234 8047 8067 "src/oasis/OASISFindlib.ml" 234 8047 8071
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8078 "src/oasis/OASISFindlib.ml" 235 8072 8082
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8089 "src/oasis/OASISFindlib.ml" 235 8072 8091
type(
  OASISTypes.unix_dirname
)
ident(
  def dn "src/oasis/OASISFindlib.ml" 235 8072 8111 "src/oasis/OASISFindlib.ml" 235 8072 8118
)
"src/oasis/OASISFindlib.ml" 235 8072 8084 "src/oasis/OASISFindlib.ml" 235 8072 8091
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8078 "src/oasis/OASISFindlib.ml" 235 8072 8091
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8099 "src/oasis/OASISFindlib.ml" 235 8072 8101
type(
  OASISTypes.unix_dirname
)
ident(
  def dn "src/oasis/OASISFindlib.ml" 235 8072 8111 "src/oasis/OASISFindlib.ml" 235 8072 8118
)
"src/oasis/OASISFindlib.ml" 235 8072 8094 "src/oasis/OASISFindlib.ml" 235 8072 8101
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8103 "src/oasis/OASISFindlib.ml" 235 8072 8107
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8094 "src/oasis/OASISFindlib.ml" 235 8072 8107
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8078 "src/oasis/OASISFindlib.ml" 235 8072 8107
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 235 8072 8116 "src/oasis/OASISFindlib.ml" 235 8072 8118
type(
  OASISTypes.unix_dirname
)
ident(
  int_ref dn "src/oasis/OASISFindlib.ml" 235 8072 8089 "src/oasis/OASISFindlib.ml" 235 8072 8091
)
"src/oasis/OASISFindlib.ml" 235 8072 8111 "src/oasis/OASISFindlib.ml" 235 8072 8118
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 236 8119 8130 "src/oasis/OASISFindlib.ml" 236 8119 8133
type(
  OASISTypes.unix_dirname
)
ident(
  def dn1 "src/oasis/OASISFindlib.ml" 236 8119 8147 "src/oasis/OASISFindlib.ml" 236 8119 8182
)
"src/oasis/OASISFindlib.ml" 236 8119 8125 "src/oasis/OASISFindlib.ml" 236 8119 8133
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 236 8119 8140 "src/oasis/OASISFindlib.ml" 236 8119 8143
type(
  OASISTypes.unix_dirname
)
ident(
  def dn2 "src/oasis/OASISFindlib.ml" 236 8119 8147 "src/oasis/OASISFindlib.ml" 236 8119 8182
)
"src/oasis/OASISFindlib.ml" 236 8119 8135 "src/oasis/OASISFindlib.ml" 236 8119 8143
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 236 8119 8125 "src/oasis/OASISFindlib.ml" 236 8119 8143
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option * OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 236 8119 8153 "src/oasis/OASISFindlib.ml" 236 8119 8173
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.concat "src/oasis/OASISUnixPath.mli" 53 2362 2362 "src/oasis/OASISUnixPath.mli" 53 2362 2421
)
"src/oasis/OASISFindlib.ml" 236 8119 8174 "src/oasis/OASISFindlib.ml" 236 8119 8177
type(
  OASISTypes.unix_dirname
)
ident(
  int_ref dn1 "src/oasis/OASISFindlib.ml" 236 8119 8130 "src/oasis/OASISFindlib.ml" 236 8119 8133
)
"src/oasis/OASISFindlib.ml" 236 8119 8178 "src/oasis/OASISFindlib.ml" 236 8119 8181
type(
  OASISTypes.unix_dirname
)
ident(
  int_ref dn2 "src/oasis/OASISFindlib.ml" 236 8119 8140 "src/oasis/OASISFindlib.ml" 236 8119 8143
)
"src/oasis/OASISFindlib.ml" 236 8119 8152 "src/oasis/OASISFindlib.ml" 236 8119 8182
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISFindlib.ml" 236 8119 8147 "src/oasis/OASISFindlib.ml" 236 8119 8182
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 233 8018 8022 "src/oasis/OASISFindlib.ml" 236 8119 8182
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 228 7871 7875 "src/oasis/OASISFindlib.ml" 236 8119 8182
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 239 8189 8199 "src/oasis/OASISFindlib.ml" 239 8189 8212
type(
  OASISTypes.unix_dirname option ->
  tree OASISUtils.MapString.t -> group_t list
)
ident(
  def group_of_tree "src/oasis/OASISFindlib.ml" 239 8189 8191 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 239 8189 8213 "src/oasis/OASISFindlib.ml" 239 8189 8215
type(
  OASISTypes.unix_dirname option
)
ident(
  def dn "src/oasis/OASISFindlib.ml" 239 8189 8216 "src/oasis/OASISFindlib.ml" 254 8776 8787
)
"src/oasis/OASISFindlib.ml" 239 8189 8216 "src/oasis/OASISFindlib.ml" 239 8189 8218
type(
  tree OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 240 8221 8225 "src/oasis/OASISFindlib.ml" 254 8776 8787
)
"src/oasis/OASISFindlib.ml" 240 8221 8225 "src/oasis/OASISFindlib.ml" 240 8221 8239
type(
  (OASISUtils.MapString.key -> tree -> group_t list -> group_t list) ->
  tree OASISUtils.MapString.t -> group_t list -> group_t list
)
ident(
  int_ref OASISUtils.MapString.fold "map.mli" 160 6864 6868 "map.mli" 160 6864 6921
)
"src/oasis/OASISFindlib.ml" 241 8240 8251 "src/oasis/OASISFindlib.ml" 241 8240 8253
type(
  OASISUtils.MapString.key
)
ident(
  def nm "src/oasis/OASISFindlib.ml" 241 8240 8254 "src/oasis/OASISFindlib.ml" 253 8755 8774
)
"src/oasis/OASISFindlib.ml" 241 8240 8254 "src/oasis/OASISFindlib.ml" 241 8240 8258
type(
  tree
)
ident(
  def node "src/oasis/OASISFindlib.ml" 241 8240 8259 "src/oasis/OASISFindlib.ml" 253 8755 8774
)
"src/oasis/OASISFindlib.ml" 241 8240 8259 "src/oasis/OASISFindlib.ml" 241 8240 8262
type(
  group_t list
)
ident(
  def acc "src/oasis/OASISFindlib.ml" 242 8266 8275 "src/oasis/OASISFindlib.ml" 253 8755 8774
)
"src/oasis/OASISFindlib.ml" 242 8266 8279 "src/oasis/OASISFindlib.ml" 242 8266 8282
type(
  group_t
)
ident(
  def cur "src/oasis/OASISFindlib.ml" 253 8755 8764 "src/oasis/OASISFindlib.ml" 253 8755 8774
)
"src/oasis/OASISFindlib.ml" 243 8285 8302 "src/oasis/OASISFindlib.ml" 243 8285 8306
type(
  tree
)
ident(
  int_ref node "src/oasis/OASISFindlib.ml" 241 8240 8254 "src/oasis/OASISFindlib.ml" 241 8240 8258
)
"src/oasis/OASISFindlib.ml" 244 8312 8337 "src/oasis/OASISFindlib.ml" 244 8312 8339
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 245 8364 8377 "src/oasis/OASISFindlib.ml" 246 8419 8504
)
"src/oasis/OASISFindlib.ml" 244 8312 8341 "src/oasis/OASISFindlib.ml" 244 8312 8343
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISFindlib.ml" 245 8364 8377 "src/oasis/OASISFindlib.ml" 246 8419 8504
)
"src/oasis/OASISFindlib.ml" 244 8312 8345 "src/oasis/OASISFindlib.ml" 244 8312 8348
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 245 8364 8377 "src/oasis/OASISFindlib.ml" 246 8419 8504
)
"src/oasis/OASISFindlib.ml" 244 8312 8336 "src/oasis/OASISFindlib.ml" 244 8312 8349
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 244 8312 8331 "src/oasis/OASISFindlib.ml" 244 8312 8349
type(
  data option
)
"src/oasis/OASISFindlib.ml" 244 8312 8351 "src/oasis/OASISFindlib.ml" 244 8312 8359
type(
  tree OASISUtils.MapString.t
)
ident(
  def children "src/oasis/OASISFindlib.ml" 245 8364 8377 "src/oasis/OASISFindlib.ml" 246 8419 8504
)
"src/oasis/OASISFindlib.ml" 244 8312 8325 "src/oasis/OASISFindlib.ml" 244 8312 8360
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 245 8364 8381 "src/oasis/OASISFindlib.ml" 245 8364 8391
type(
  OASISTypes.unix_dirname option
)
ident(
  def current_dn "src/oasis/OASISFindlib.ml" 246 8419 8432 "src/oasis/OASISFindlib.ml" 246 8419 8504
)
"src/oasis/OASISFindlib.ml" 245 8364 8394 "src/oasis/OASISFindlib.ml" 245 8364 8408
type(
  OASISTypes.unix_dirname option ->
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] ->
  OASISTypes.unix_dirname option
)
ident(
  int_ref unix_directory "src/oasis/OASISFindlib.ml" 227 7841 7847 "src/oasis/OASISFindlib.ml" 227 7841 7861
)
"src/oasis/OASISFindlib.ml" 245 8364 8409 "src/oasis/OASISFindlib.ml" 245 8364 8411
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref dn "src/oasis/OASISFindlib.ml" 239 8189 8213 "src/oasis/OASISFindlib.ml" 239 8189 8215
)
"src/oasis/OASISFindlib.ml" 245 8364 8412 "src/oasis/OASISFindlib.ml" 245 8364 8415
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 244 8312 8345 "src/oasis/OASISFindlib.ml" 244 8312 8348
)
"src/oasis/OASISFindlib.ml" 245 8364 8394 "src/oasis/OASISFindlib.ml" 245 8364 8415
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 246 8419 8441 "src/oasis/OASISFindlib.ml" 246 8419 8443
type(
  OASISUtils.MapString.key
)
ident(
  int_ref nm "src/oasis/OASISFindlib.ml" 241 8240 8251 "src/oasis/OASISFindlib.ml" 241 8240 8253
)
"src/oasis/OASISFindlib.ml" 246 8419 8445 "src/oasis/OASISFindlib.ml" 246 8419 8447
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 244 8312 8337 "src/oasis/OASISFindlib.ml" 244 8312 8339
)
"src/oasis/OASISFindlib.ml" 246 8419 8449 "src/oasis/OASISFindlib.ml" 246 8419 8451
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISFindlib.ml" 244 8312 8341 "src/oasis/OASISFindlib.ml" 244 8312 8343
)
"src/oasis/OASISFindlib.ml" 246 8419 8453 "src/oasis/OASISFindlib.ml" 246 8419 8456
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 244 8312 8345 "src/oasis/OASISFindlib.ml" 244 8312 8348
)
"src/oasis/OASISFindlib.ml" 246 8419 8458 "src/oasis/OASISFindlib.ml" 246 8419 8468
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref current_dn "src/oasis/OASISFindlib.ml" 245 8364 8381 "src/oasis/OASISFindlib.ml" 245 8364 8391
)
"src/oasis/OASISFindlib.ml" 246 8419 8470 "src/oasis/OASISFindlib.ml" 246 8419 8483
type(
  OASISTypes.unix_dirname option ->
  tree OASISUtils.MapString.t -> group_t list
)
ident(
  int_ref group_of_tree "src/oasis/OASISFindlib.ml" 239 8189 8199 "src/oasis/OASISFindlib.ml" 239 8189 8212
)
"src/oasis/OASISFindlib.ml" 246 8419 8484 "src/oasis/OASISFindlib.ml" 246 8419 8494
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref current_dn "src/oasis/OASISFindlib.ml" 245 8364 8381 "src/oasis/OASISFindlib.ml" 245 8364 8391
)
"src/oasis/OASISFindlib.ml" 246 8419 8495 "src/oasis/OASISFindlib.ml" 246 8419 8503
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 244 8312 8351 "src/oasis/OASISFindlib.ml" 244 8312 8359
)
"src/oasis/OASISFindlib.ml" 246 8419 8470 "src/oasis/OASISFindlib.ml" 246 8419 8503
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 246 8419 8440 "src/oasis/OASISFindlib.ml" 246 8419 8504
type(
  OASISTypes.findlib_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * group_t list
)
"src/oasis/OASISFindlib.ml" 246 8419 8432 "src/oasis/OASISFindlib.ml" 246 8419 8504
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 245 8364 8377 "src/oasis/OASISFindlib.ml" 246 8419 8504
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 247 8505 8524 "src/oasis/OASISFindlib.ml" 247 8505 8528
type(
  data option
)
"src/oasis/OASISFindlib.ml" 247 8505 8530 "src/oasis/OASISFindlib.ml" 247 8505 8538
type(
  tree OASISUtils.MapString.t
)
ident(
  def children "src/oasis/OASISFindlib.ml" 248 8543 8556 "src/oasis/OASISFindlib.ml" 248 8543 8597
)
"src/oasis/OASISFindlib.ml" 247 8505 8518 "src/oasis/OASISFindlib.ml" 247 8505 8539
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 248 8543 8567 "src/oasis/OASISFindlib.ml" 248 8543 8569
type(
  OASISUtils.MapString.key
)
ident(
  int_ref nm "src/oasis/OASISFindlib.ml" 241 8240 8251 "src/oasis/OASISFindlib.ml" 241 8240 8253
)
"src/oasis/OASISFindlib.ml" 248 8543 8571 "src/oasis/OASISFindlib.ml" 248 8543 8584
type(
  OASISTypes.unix_dirname option ->
  tree OASISUtils.MapString.t -> group_t list
)
ident(
  int_ref group_of_tree "src/oasis/OASISFindlib.ml" 239 8189 8199 "src/oasis/OASISFindlib.ml" 239 8189 8212
)
"src/oasis/OASISFindlib.ml" 248 8543 8585 "src/oasis/OASISFindlib.ml" 248 8543 8587
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref dn "src/oasis/OASISFindlib.ml" 239 8189 8213 "src/oasis/OASISFindlib.ml" 239 8189 8215
)
"src/oasis/OASISFindlib.ml" 248 8543 8588 "src/oasis/OASISFindlib.ml" 248 8543 8596
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 247 8505 8530 "src/oasis/OASISFindlib.ml" 247 8505 8538
)
"src/oasis/OASISFindlib.ml" 248 8543 8571 "src/oasis/OASISFindlib.ml" 248 8543 8596
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 248 8543 8556 "src/oasis/OASISFindlib.ml" 248 8543 8597
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 249 8598 8617 "src/oasis/OASISFindlib.ml" 249 8598 8619
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 250 8633 8646 "src/oasis/OASISFindlib.ml" 251 8688 8742
)
"src/oasis/OASISFindlib.ml" 249 8598 8621 "src/oasis/OASISFindlib.ml" 249 8598 8623
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISFindlib.ml" 250 8633 8646 "src/oasis/OASISFindlib.ml" 251 8688 8742
)
"src/oasis/OASISFindlib.ml" 249 8598 8625 "src/oasis/OASISFindlib.ml" 249 8598 8628
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 250 8633 8646 "src/oasis/OASISFindlib.ml" 251 8688 8742
)
"src/oasis/OASISFindlib.ml" 249 8598 8616 "src/oasis/OASISFindlib.ml" 249 8598 8629
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 249 8598 8611 "src/oasis/OASISFindlib.ml" 249 8598 8629
type(
  tree
)
type(
  tree
)
"src/oasis/OASISFindlib.ml" 250 8633 8650 "src/oasis/OASISFindlib.ml" 250 8633 8660
type(
  OASISTypes.unix_dirname option
)
ident(
  def current_dn "src/oasis/OASISFindlib.ml" 251 8688 8701 "src/oasis/OASISFindlib.ml" 251 8688 8742
)
"src/oasis/OASISFindlib.ml" 250 8633 8663 "src/oasis/OASISFindlib.ml" 250 8633 8677
type(
  OASISTypes.unix_dirname option ->
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] ->
  OASISTypes.unix_dirname option
)
ident(
  int_ref unix_directory "src/oasis/OASISFindlib.ml" 227 7841 7847 "src/oasis/OASISFindlib.ml" 227 7841 7861
)
"src/oasis/OASISFindlib.ml" 250 8633 8678 "src/oasis/OASISFindlib.ml" 250 8633 8680
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref dn "src/oasis/OASISFindlib.ml" 239 8189 8213 "src/oasis/OASISFindlib.ml" 239 8189 8215
)
"src/oasis/OASISFindlib.ml" 250 8633 8681 "src/oasis/OASISFindlib.ml" 250 8633 8684
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 249 8598 8625 "src/oasis/OASISFindlib.ml" 249 8598 8628
)
"src/oasis/OASISFindlib.ml" 250 8633 8663 "src/oasis/OASISFindlib.ml" 250 8633 8684
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 251 8688 8710 "src/oasis/OASISFindlib.ml" 251 8688 8712
type(
  OASISUtils.MapString.key
)
ident(
  int_ref nm "src/oasis/OASISFindlib.ml" 241 8240 8251 "src/oasis/OASISFindlib.ml" 241 8240 8253
)
"src/oasis/OASISFindlib.ml" 251 8688 8714 "src/oasis/OASISFindlib.ml" 251 8688 8716
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 249 8598 8617 "src/oasis/OASISFindlib.ml" 249 8598 8619
)
"src/oasis/OASISFindlib.ml" 251 8688 8718 "src/oasis/OASISFindlib.ml" 251 8688 8720
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISFindlib.ml" 249 8598 8621 "src/oasis/OASISFindlib.ml" 249 8598 8623
)
"src/oasis/OASISFindlib.ml" 251 8688 8722 "src/oasis/OASISFindlib.ml" 251 8688 8725
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 249 8598 8625 "src/oasis/OASISFindlib.ml" 249 8598 8628
)
"src/oasis/OASISFindlib.ml" 251 8688 8727 "src/oasis/OASISFindlib.ml" 251 8688 8737
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref current_dn "src/oasis/OASISFindlib.ml" 250 8633 8650 "src/oasis/OASISFindlib.ml" 250 8633 8660
)
"src/oasis/OASISFindlib.ml" 251 8688 8739 "src/oasis/OASISFindlib.ml" 251 8688 8741
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 251 8688 8709 "src/oasis/OASISFindlib.ml" 251 8688 8742
type(
  OASISTypes.findlib_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * group_t list
)
"src/oasis/OASISFindlib.ml" 251 8688 8701 "src/oasis/OASISFindlib.ml" 251 8688 8742
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 250 8633 8646 "src/oasis/OASISFindlib.ml" 251 8688 8742
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 243 8285 8296 "src/oasis/OASISFindlib.ml" 251 8688 8742
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 253 8755 8764 "src/oasis/OASISFindlib.ml" 253 8755 8767
type(
  group_t
)
ident(
  int_ref cur "src/oasis/OASISFindlib.ml" 242 8266 8279 "src/oasis/OASISFindlib.ml" 242 8266 8282
)
"src/oasis/OASISFindlib.ml" 253 8755 8771 "src/oasis/OASISFindlib.ml" 253 8755 8774
type(
  group_t list
)
ident(
  int_ref acc "src/oasis/OASISFindlib.ml" 241 8240 8259 "src/oasis/OASISFindlib.ml" 241 8240 8262
)
"src/oasis/OASISFindlib.ml" 253 8755 8764 "src/oasis/OASISFindlib.ml" 253 8755 8774
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 242 8266 8275 "src/oasis/OASISFindlib.ml" 253 8755 8774
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 241 8240 8246 "src/oasis/OASISFindlib.ml" 253 8755 8775
type(
  OASISUtils.MapString.key -> tree -> group_t list -> group_t list
)
"src/oasis/OASISFindlib.ml" 254 8776 8782 "src/oasis/OASISFindlib.ml" 254 8776 8784
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 239 8189 8216 "src/oasis/OASISFindlib.ml" 239 8189 8218
)
"src/oasis/OASISFindlib.ml" 254 8776 8785 "src/oasis/OASISFindlib.ml" 254 8776 8787
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 240 8221 8225 "src/oasis/OASISFindlib.ml" 254 8776 8787
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 257 8794 8800 "src/oasis/OASISFindlib.ml" 257 8794 8808
type(
  tree OASISUtils.MapString.t
)
ident(
  def group_mp "src/oasis/OASISFindlib.ml" 271 9107 9109 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 258 8811 8815 "src/oasis/OASISFindlib.ml" 258 8811 8829
type(
  (tree OASISUtils.MapString.t ->
   OASISTypes.section -> tree OASISUtils.MapString.t) ->
  tree OASISUtils.MapString.t ->
  OASISTypes.section list -> tree OASISUtils.MapString.t
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISFindlib.ml" 259 8830 8841 "src/oasis/OASISFindlib.ml" 259 8830 8843
type(
  tree OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 260 8847 8856 "src/oasis/OASISFindlib.ml" 266 9043 9058
)
"src/oasis/OASISFindlib.ml" 261 8865 8887 "src/oasis/OASISFindlib.ml" 261 8865 8889
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 262 8903 8916 "src/oasis/OASISFindlib.ml" 262 8903 8945
)
"src/oasis/OASISFindlib.ml" 261 8865 8891 "src/oasis/OASISFindlib.ml" 261 8865 8893
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISFindlib.ml" 262 8903 8916 "src/oasis/OASISFindlib.ml" 262 8903 8945
)
"src/oasis/OASISFindlib.ml" 261 8865 8895 "src/oasis/OASISFindlib.ml" 261 8865 8898
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 262 8903 8916 "src/oasis/OASISFindlib.ml" 262 8903 8945
)
"src/oasis/OASISFindlib.ml" 261 8865 8878 "src/oasis/OASISFindlib.ml" 261 8865 8899
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 262 8903 8916 "src/oasis/OASISFindlib.ml" 262 8903 8919
type(
  data -> tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref add "src/oasis/OASISFindlib.ml" 172 6158 6164 "src/oasis/OASISFindlib.ml" 172 6158 6167
)
"src/oasis/OASISFindlib.ml" 262 8903 8921 "src/oasis/OASISFindlib.ml" 262 8903 8923
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 261 8865 8887 "src/oasis/OASISFindlib.ml" 261 8865 8889
)
"src/oasis/OASISFindlib.ml" 262 8903 8925 "src/oasis/OASISFindlib.ml" 262 8903 8927
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISFindlib.ml" 261 8865 8891 "src/oasis/OASISFindlib.ml" 261 8865 8893
)
"src/oasis/OASISFindlib.ml" 262 8903 8938 "src/oasis/OASISFindlib.ml" 262 8903 8941
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 261 8865 8895 "src/oasis/OASISFindlib.ml" 261 8865 8898
)
"src/oasis/OASISFindlib.ml" 262 8903 8929 "src/oasis/OASISFindlib.ml" 262 8903 8941
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 262 8903 8920 "src/oasis/OASISFindlib.ml" 262 8903 8942
type(
  data
)
"src/oasis/OASISFindlib.ml" 262 8903 8943 "src/oasis/OASISFindlib.ml" 262 8903 8945
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 259 8830 8841 "src/oasis/OASISFindlib.ml" 259 8830 8843
)
"src/oasis/OASISFindlib.ml" 262 8903 8916 "src/oasis/OASISFindlib.ml" 262 8903 8945
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 263 8946 8967 "src/oasis/OASISFindlib.ml" 263 8946 8969
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 264 8983 8996 "src/oasis/OASISFindlib.ml" 264 8983 9024
)
"src/oasis/OASISFindlib.ml" 263 8946 8971 "src/oasis/OASISFindlib.ml" 263 8946 8973
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISFindlib.ml" 264 8983 8996 "src/oasis/OASISFindlib.ml" 264 8983 9024
)
"src/oasis/OASISFindlib.ml" 263 8946 8975 "src/oasis/OASISFindlib.ml" 263 8946 8978
type(
  OASISTypes.object_
)
ident(
  def obj "src/oasis/OASISFindlib.ml" 264 8983 8996 "src/oasis/OASISFindlib.ml" 264 8983 9024
)
"src/oasis/OASISFindlib.ml" 263 8946 8959 "src/oasis/OASISFindlib.ml" 263 8946 8979
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 264 8983 8996 "src/oasis/OASISFindlib.ml" 264 8983 8999
type(
  data -> tree OASISUtils.MapString.t -> tree OASISUtils.MapString.t
)
ident(
  int_ref add "src/oasis/OASISFindlib.ml" 172 6158 6164 "src/oasis/OASISFindlib.ml" 172 6158 6167
)
"src/oasis/OASISFindlib.ml" 264 8983 9001 "src/oasis/OASISFindlib.ml" 264 8983 9003
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 263 8946 8967 "src/oasis/OASISFindlib.ml" 263 8946 8969
)
"src/oasis/OASISFindlib.ml" 264 8983 9005 "src/oasis/OASISFindlib.ml" 264 8983 9007
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISFindlib.ml" 263 8946 8971 "src/oasis/OASISFindlib.ml" 263 8946 8973
)
"src/oasis/OASISFindlib.ml" 264 8983 9017 "src/oasis/OASISFindlib.ml" 264 8983 9020
type(
  OASISTypes.object_
)
ident(
  int_ref obj "src/oasis/OASISFindlib.ml" 263 8946 8975 "src/oasis/OASISFindlib.ml" 263 8946 8978
)
"src/oasis/OASISFindlib.ml" 264 8983 9009 "src/oasis/OASISFindlib.ml" 264 8983 9020
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 264 8983 9000 "src/oasis/OASISFindlib.ml" 264 8983 9021
type(
  data
)
"src/oasis/OASISFindlib.ml" 264 8983 9022 "src/oasis/OASISFindlib.ml" 264 8983 9024
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 259 8830 8841 "src/oasis/OASISFindlib.ml" 259 8830 8843
)
"src/oasis/OASISFindlib.ml" 264 8983 8996 "src/oasis/OASISFindlib.ml" 264 8983 9024
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 265 9025 9038 "src/oasis/OASISFindlib.ml" 265 9025 9039
type(
  OASISTypes.section
)
"src/oasis/OASISFindlib.ml" 266 9043 9056 "src/oasis/OASISFindlib.ml" 266 9043 9058
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 259 8830 8841 "src/oasis/OASISFindlib.ml" 259 8830 8843
)
"src/oasis/OASISFindlib.ml" 260 8847 8856 "src/oasis/OASISFindlib.ml" 266 9043 9058
type(
  OASISTypes.section -> tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 259 8830 8836 "src/oasis/OASISFindlib.ml" 266 9043 9059
type(
  tree OASISUtils.MapString.t ->
  OASISTypes.section -> tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 267 9060 9066 "src/oasis/OASISFindlib.ml" 267 9060 9081
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFindlib.ml" 268 9082 9088 "src/oasis/OASISFindlib.ml" 268 9082 9091
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFindlib.ml" 56 2435 2455 "src/oasis/OASISFindlib.ml" 56 2435 2458
)
"src/oasis/OASISFindlib.ml" 268 9082 9088 "src/oasis/OASISFindlib.ml" 268 9082 9100
type(
  OASISTypes.section list
)
"src/oasis/OASISFindlib.ml" 258 8811 8815 "src/oasis/OASISFindlib.ml" 268 9082 9100
type(
  tree OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 271 9107 9113 "src/oasis/OASISFindlib.ml" 271 9107 9119
type(
  group_t list
)
ident(
  def groups "src/oasis/OASISFindlib.ml" 273 9154 9156 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 271 9107 9122 "src/oasis/OASISFindlib.ml" 271 9107 9135
type(
  OASISTypes.unix_dirname option ->
  tree OASISUtils.MapString.t -> group_t list
)
ident(
  int_ref group_of_tree "src/oasis/OASISFindlib.ml" 239 8189 8199 "src/oasis/OASISFindlib.ml" 239 8189 8212
)
"src/oasis/OASISFindlib.ml" 271 9107 9136 "src/oasis/OASISFindlib.ml" 271 9107 9140
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 271 9107 9141 "src/oasis/OASISFindlib.ml" 271 9107 9149
type(
  tree OASISUtils.MapString.t
)
ident(
  int_ref group_mp "src/oasis/OASISFindlib.ml" 257 8794 8800 "src/oasis/OASISFindlib.ml" 257 8794 8808
)
"src/oasis/OASISFindlib.ml" 271 9107 9122 "src/oasis/OASISFindlib.ml" 271 9107 9149
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 273 9154 9160 "src/oasis/OASISFindlib.ml" 273 9154 9188
type(
  OASISUtils.MapString.key OASISUtils.MapString.t lazy_t
)
ident(
  def library_name_of_findlib_name "src/oasis/OASISFindlib.ml" 282 9389 9391 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 276 9255 9261 "src/oasis/OASISFindlib.ml" 276 9255 9275
type(
  (OASISUtils.MapString.key ->
   OASISUtils.MapString.key ->
   OASISUtils.MapString.key OASISUtils.MapString.t ->
   OASISUtils.MapString.key OASISUtils.MapString.t) ->
  OASISUtils.MapString.key OASISUtils.MapString.t ->
  OASISUtils.MapString.key OASISUtils.MapString.t ->
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.fold "map.mli" 160 6864 6868 "map.mli" 160 6864 6921
)
"src/oasis/OASISFindlib.ml" 277 9276 9289 "src/oasis/OASISFindlib.ml" 277 9276 9290
type(
  OASISUtils.MapString.key
)
ident(
  def k "src/oasis/OASISFindlib.ml" 277 9276 9291 "src/oasis/OASISFindlib.ml" 277 9276 9319
)
"src/oasis/OASISFindlib.ml" 277 9276 9291 "src/oasis/OASISFindlib.ml" 277 9276 9292
type(
  OASISUtils.MapString.key
)
ident(
  def v "src/oasis/OASISFindlib.ml" 277 9276 9293 "src/oasis/OASISFindlib.ml" 277 9276 9319
)
"src/oasis/OASISFindlib.ml" 277 9276 9293 "src/oasis/OASISFindlib.ml" 277 9276 9295
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  def mp "src/oasis/OASISFindlib.ml" 277 9276 9299 "src/oasis/OASISFindlib.ml" 277 9276 9319
)
"src/oasis/OASISFindlib.ml" 277 9276 9299 "src/oasis/OASISFindlib.ml" 277 9276 9312
type(
  OASISUtils.MapString.key ->
  OASISUtils.MapString.key ->
  OASISUtils.MapString.key OASISUtils.MapString.t ->
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFindlib.ml" 277 9276 9313 "src/oasis/OASISFindlib.ml" 277 9276 9314
type(
  OASISUtils.MapString.key
)
ident(
  int_ref v "src/oasis/OASISFindlib.ml" 277 9276 9291 "src/oasis/OASISFindlib.ml" 277 9276 9292
)
"src/oasis/OASISFindlib.ml" 277 9276 9315 "src/oasis/OASISFindlib.ml" 277 9276 9316
type(
  OASISUtils.MapString.key
)
ident(
  int_ref k "src/oasis/OASISFindlib.ml" 277 9276 9289 "src/oasis/OASISFindlib.ml" 277 9276 9290
)
"src/oasis/OASISFindlib.ml" 277 9276 9317 "src/oasis/OASISFindlib.ml" 277 9276 9319
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref mp "src/oasis/OASISFindlib.ml" 277 9276 9293 "src/oasis/OASISFindlib.ml" 277 9276 9295
)
"src/oasis/OASISFindlib.ml" 277 9276 9299 "src/oasis/OASISFindlib.ml" 277 9276 9319
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 277 9276 9284 "src/oasis/OASISFindlib.ml" 277 9276 9320
type(
  OASISUtils.MapString.key ->
  OASISUtils.MapString.key ->
  OASISUtils.MapString.key OASISUtils.MapString.t ->
  OASISUtils.MapString.key OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 278 9321 9329 "src/oasis/OASISFindlib.ml" 278 9321 9351
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref fndlb_name_of_lib_name "src/oasis/OASISFindlib.ml" 118 4434 4440 "src/oasis/OASISFindlib.ml" 118 4434 4462
)
"src/oasis/OASISFindlib.ml" 279 9352 9360 "src/oasis/OASISFindlib.ml" 279 9352 9375
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref OASISUtils.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFindlib.ml" 274 9191 9200 "src/oasis/OASISFindlib.ml" 280 9376 9383
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 274 9191 9195 "src/oasis/OASISFindlib.ml" 280 9376 9383
type(
  OASISUtils.MapString.key OASISUtils.MapString.t lazy_t
)
"src/oasis/OASISFindlib.ml" 282 9389 9395 "src/oasis/OASISFindlib.ml" 282 9389 9423
type(
  OASISUtils.MapString.key -> OASISUtils.MapString.key
)
ident(
  def library_name_of_findlib_name "src/oasis/OASISFindlib.ml" 289 9589 9591 "src/oasis/OASISFindlib.ml" 291 9631 9661
)
"src/oasis/OASISFindlib.ml" 282 9389 9424 "src/oasis/OASISFindlib.ml" 282 9389 9432
type(
  OASISUtils.MapString.key
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 283 9435 9439 "src/oasis/OASISFindlib.ml" 286 9537 9582
)
"src/oasis/OASISFindlib.ml" 284 9443 9449 "src/oasis/OASISFindlib.ml" 284 9443 9463
type(
  OASISUtils.MapString.key ->
  OASISUtils.MapString.key OASISUtils.MapString.t -> OASISUtils.MapString.key
)
ident(
  int_ref OASISUtils.MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISFindlib.ml" 284 9443 9464 "src/oasis/OASISFindlib.ml" 284 9443 9472
type(
  OASISUtils.MapString.key
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 282 9389 9424 "src/oasis/OASISFindlib.ml" 282 9389 9432
)
"src/oasis/OASISFindlib.ml" 284 9443 9474 "src/oasis/OASISFindlib.ml" 284 9443 9484
type(
  OASISUtils.MapString.key OASISUtils.MapString.t Lazy.t ->
  OASISUtils.MapString.key OASISUtils.MapString.t
)
ident(
  int_ref Stdlib.Lazy.force "lazy.mli" 60 2783 2783 "lazy.mli" 60 2783 2826
)
"src/oasis/OASISFindlib.ml" 284 9443 9485 "src/oasis/OASISFindlib.ml" 284 9443 9513
type(
  OASISUtils.MapString.key OASISUtils.MapString.t Lazy.t
)
ident(
  int_ref library_name_of_findlib_name "src/oasis/OASISFindlib.ml" 273 9154 9160 "src/oasis/OASISFindlib.ml" 273 9154 9188
)
"src/oasis/OASISFindlib.ml" 284 9443 9473 "src/oasis/OASISFindlib.ml" 284 9443 9514
type(
  OASISUtils.MapString.key OASISUtils.MapString.t
)
"src/oasis/OASISFindlib.ml" 284 9443 9449 "src/oasis/OASISFindlib.ml" 284 9443 9514
type(
  OASISUtils.MapString.key
)
"src/oasis/OASISFindlib.ml" 285 9515 9524 "src/oasis/OASISFindlib.ml" 285 9515 9533
type(
  exn
)
"src/oasis/OASISFindlib.ml" 286 9537 9543 "src/oasis/OASISFindlib.ml" 286 9537 9548
type(
  exn -> OASISUtils.MapString.key
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISFindlib.ml" 286 9537 9573 "src/oasis/OASISFindlib.ml" 286 9537 9581
type(
  OASISUtils.MapString.key
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 282 9389 9424 "src/oasis/OASISFindlib.ml" 282 9389 9432
)
"src/oasis/OASISFindlib.ml" 286 9537 9549 "src/oasis/OASISFindlib.ml" 286 9537 9582
type(
  exn
)
"src/oasis/OASISFindlib.ml" 286 9537 9543 "src/oasis/OASISFindlib.ml" 286 9537 9582
type(
  OASISUtils.MapString.key
)
"src/oasis/OASISFindlib.ml" 283 9435 9439 "src/oasis/OASISFindlib.ml" 286 9537 9582
type(
  OASISUtils.MapString.key
)
"src/oasis/OASISFindlib.ml" 289 9589 9591 "src/oasis/OASISFindlib.ml" 289 9589 9597
type(
  group_t list
)
ident(
  int_ref groups "src/oasis/OASISFindlib.ml" 271 9107 9113 "src/oasis/OASISFindlib.ml" 271 9107 9119
)
"src/oasis/OASISFindlib.ml" 290 9599 9601 "src/oasis/OASISFindlib.ml" 290 9599 9629
type(
  OASISUtils.MapString.key -> OASISTypes.name
)
ident(
  int_ref findlib_name_of_library_name "src/oasis/OASISFindlib.ml" 163 5945 5951 "src/oasis/OASISFindlib.ml" 163 5945 5979
)
"src/oasis/OASISFindlib.ml" 291 9631 9633 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  OASISUtils.MapString.key -> OASISUtils.MapString.key
)
ident(
  int_ref library_name_of_findlib_name "src/oasis/OASISFindlib.ml" 282 9389 9395 "src/oasis/OASISFindlib.ml" 282 9389 9423
)
"src/oasis/OASISFindlib.ml" 289 9589 9591 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 282 9389 9391 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 273 9154 9156 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 271 9107 9109 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 257 8794 8796 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 239 8189 8191 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 227 7841 7843 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 172 6158 6160 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 163 5945 5947 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 118 4434 4436 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 58 2538 2540 "src/oasis/OASISFindlib.ml" 291 9631 9661
type(
  group_t list * (OASISUtils.MapString.key -> OASISTypes.name) *
  (OASISUtils.MapString.key -> OASISUtils.MapString.key)
)
"src/oasis/OASISFindlib.ml" 294 9664 9668 "src/oasis/OASISFindlib.ml" 294 9664 9684
type(
  group_t -> OASISTypes.findlib_name
)
ident(
  def findlib_of_group "src/oasis/OASISFindlib.ml" 300 9782 9782 "src/oasis/OASISFindlib.ml" 0 0 -1
)
"src/oasis/OASISFindlib.ml" 296 9698 9715 "src/oasis/OASISFindlib.ml" 296 9698 9723
type(
  OASISTypes.findlib_name
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 297 9728 9771 "src/oasis/OASISFindlib.ml" 297 9728 9779
)
"src/oasis/OASISFindlib.ml" 296 9698 9725 "src/oasis/OASISFindlib.ml" 296 9698 9726
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 296 9698 9704 "src/oasis/OASISFindlib.ml" 296 9698 9727
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 297 9728 9743 "src/oasis/OASISFindlib.ml" 297 9728 9751
type(
  OASISTypes.findlib_name
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 297 9728 9771 "src/oasis/OASISFindlib.ml" 297 9728 9779
)
"src/oasis/OASISFindlib.ml" 297 9728 9753 "src/oasis/OASISFindlib.ml" 297 9728 9754
type(
  OASISTypes.common_section
)
"src/oasis/OASISFindlib.ml" 297 9728 9756 "src/oasis/OASISFindlib.ml" 297 9728 9757
type(
  OASISTypes.build_section
)
"src/oasis/OASISFindlib.ml" 297 9728 9759 "src/oasis/OASISFindlib.ml" 297 9728 9760
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 297 9728 9762 "src/oasis/OASISFindlib.ml" 297 9728 9763
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 297 9728 9765 "src/oasis/OASISFindlib.ml" 297 9728 9766
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 297 9728 9742 "src/oasis/OASISFindlib.ml" 297 9728 9767
type(
  OASISTypes.findlib_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * group_t list
)
"src/oasis/OASISFindlib.ml" 297 9728 9734 "src/oasis/OASISFindlib.ml" 297 9728 9767
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 296 9698 9704 "src/oasis/OASISFindlib.ml" 297 9728 9767
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 297 9728 9771 "src/oasis/OASISFindlib.ml" 297 9728 9779
type(
  OASISTypes.findlib_name
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 296 9698 9715 "src/oasis/OASISFindlib.ml" 296 9698 9723
)
"src/oasis/OASISFindlib.ml" 295 9687 9689 "src/oasis/OASISFindlib.ml" 297 9728 9779
type(
  group_t -> OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 300 9782 9786 "src/oasis/OASISFindlib.ml" 300 9782 9799
type(
  group_t ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def root_of_group "src/oasis/OASISFindlib.ml" 328 10386 10386 "src/oasis/OASISFindlib.ml" 0 0 -1
)
"src/oasis/OASISFindlib.ml" 300 9782 9800 "src/oasis/OASISFindlib.ml" 300 9782 9803
type(
  group_t
)
ident(
  def grp "src/oasis/OASISFindlib.ml" 301 9806 9808 "src/oasis/OASISFindlib.ml" 322 10334 10364
)
"src/oasis/OASISFindlib.ml" 301 9806 9816 "src/oasis/OASISFindlib.ml" 301 9806 9828
type(
  group_t ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  def root_lib_aux "src/oasis/OASISFindlib.ml" 301 9806 9808 "src/oasis/OASISFindlib.ml" 322 10334 10364
)
"src/oasis/OASISFindlib.ml" 304 9880 9899 "src/oasis/OASISFindlib.ml" 304 9880 9900
type(
  OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 304 9880 9902 "src/oasis/OASISFindlib.ml" 304 9880 9910
type(
  group_t list
)
ident(
  def children "src/oasis/OASISFindlib.ml" 305 9915 9923 "src/oasis/OASISFindlib.ml" 312 10081 10099
)
"src/oasis/OASISFindlib.ml" 304 9880 9888 "src/oasis/OASISFindlib.ml" 304 9880 9911
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 305 9915 9923 "src/oasis/OASISFindlib.ml" 305 9915 9937
type(
  ((OASISTypes.common_section * OASISTypes.build_section *
    [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
   option ->
   group_t ->
   (OASISTypes.common_section * OASISTypes.build_section *
    [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
   option) ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option ->
  group_t list ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISFindlib.ml" 306 9938 9953 "src/oasis/OASISFindlib.ml" 306 9938 9956
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  def res "src/oasis/OASISFindlib.ml" 306 9938 9957 "src/oasis/OASISFindlib.ml" 310 10046 10064
)
"src/oasis/OASISFindlib.ml" 306 9938 9957 "src/oasis/OASISFindlib.ml" 306 9938 9960
type(
  group_t
)
ident(
  def grp "src/oasis/OASISFindlib.ml" 307 9964 9977 "src/oasis/OASISFindlib.ml" 310 10046 10064
)
"src/oasis/OASISFindlib.ml" 307 9964 9980 "src/oasis/OASISFindlib.ml" 307 9964 9983
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  int_ref res "src/oasis/OASISFindlib.ml" 306 9938 9953 "src/oasis/OASISFindlib.ml" 306 9938 9956
)
"src/oasis/OASISFindlib.ml" 307 9964 9984 "src/oasis/OASISFindlib.ml" 307 9964 9985
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFindlib.ml" 307 9964 9986 "src/oasis/OASISFindlib.ml" 307 9964 9990
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 307 9964 9980 "src/oasis/OASISFindlib.ml" 307 9964 9990
type(
  bool
)
"src/oasis/OASISFindlib.ml" 308 9996 10011 "src/oasis/OASISFindlib.ml" 308 9996 10023
type(
  group_t ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  int_ref root_lib_aux "src/oasis/OASISFindlib.ml" 301 9806 9816 "src/oasis/OASISFindlib.ml" 301 9806 9828
)
"src/oasis/OASISFindlib.ml" 308 9996 10024 "src/oasis/OASISFindlib.ml" 308 9996 10027
type(
  group_t
)
ident(
  int_ref grp "src/oasis/OASISFindlib.ml" 306 9938 9957 "src/oasis/OASISFindlib.ml" 306 9938 9960
)
"src/oasis/OASISFindlib.ml" 308 9996 10011 "src/oasis/OASISFindlib.ml" 308 9996 10027
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 310 10046 10061 "src/oasis/OASISFindlib.ml" 310 10046 10064
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  int_ref res "src/oasis/OASISFindlib.ml" 306 9938 9953 "src/oasis/OASISFindlib.ml" 306 9938 9956
)
"src/oasis/OASISFindlib.ml" 307 9964 9977 "src/oasis/OASISFindlib.ml" 310 10046 10064
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 306 9938 9948 "src/oasis/OASISFindlib.ml" 310 10046 10065
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option ->
  group_t ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 311 10066 10076 "src/oasis/OASISFindlib.ml" 311 10066 10080
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 312 10081 10091 "src/oasis/OASISFindlib.ml" 312 10081 10099
type(
  group_t list
)
ident(
  int_ref children "src/oasis/OASISFindlib.ml" 304 9880 9902 "src/oasis/OASISFindlib.ml" 304 9880 9910
)
"src/oasis/OASISFindlib.ml" 305 9915 9923 "src/oasis/OASISFindlib.ml" 312 10081 10099
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 313 10100 10117 "src/oasis/OASISFindlib.ml" 313 10100 10118
type(
  OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 313 10100 10120 "src/oasis/OASISFindlib.ml" 313 10100 10122
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISFindlib.ml" 314 10142 10150 "src/oasis/OASISFindlib.ml" 314 10142 10168
)
"src/oasis/OASISFindlib.ml" 313 10100 10124 "src/oasis/OASISFindlib.ml" 313 10100 10126
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISFindlib.ml" 314 10142 10150 "src/oasis/OASISFindlib.ml" 314 10142 10168
)
"src/oasis/OASISFindlib.ml" 313 10100 10128 "src/oasis/OASISFindlib.ml" 313 10100 10131
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def lib "src/oasis/OASISFindlib.ml" 314 10142 10150 "src/oasis/OASISFindlib.ml" 314 10142 10168
)
"src/oasis/OASISFindlib.ml" 313 10100 10133 "src/oasis/OASISFindlib.ml" 313 10100 10134
type(
  OASISTypes.unix_dirname option
)
"src/oasis/OASISFindlib.ml" 313 10100 10136 "src/oasis/OASISFindlib.ml" 313 10100 10137
type(
  group_t list
)
"src/oasis/OASISFindlib.ml" 313 10100 10116 "src/oasis/OASISFindlib.ml" 313 10100 10138
type(
  OASISTypes.findlib_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * group_t list
)
"src/oasis/OASISFindlib.ml" 313 10100 10108 "src/oasis/OASISFindlib.ml" 313 10100 10138
type(
  group_t
)
"src/oasis/OASISFindlib.ml" 314 10142 10156 "src/oasis/OASISFindlib.ml" 314 10142 10158
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISFindlib.ml" 313 10100 10120 "src/oasis/OASISFindlib.ml" 313 10100 10122
)
"src/oasis/OASISFindlib.ml" 314 10142 10160 "src/oasis/OASISFindlib.ml" 314 10142 10162
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISFindlib.ml" 313 10100 10124 "src/oasis/OASISFindlib.ml" 313 10100 10126
)
"src/oasis/OASISFindlib.ml" 314 10142 10164 "src/oasis/OASISFindlib.ml" 314 10142 10167
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/oasis/OASISFindlib.ml" 313 10100 10128 "src/oasis/OASISFindlib.ml" 313 10100 10131
)
"src/oasis/OASISFindlib.ml" 314 10142 10155 "src/oasis/OASISFindlib.ml" 314 10142 10168
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 314 10142 10150 "src/oasis/OASISFindlib.ml" 314 10142 10168
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 303 9867 9871 "src/oasis/OASISFindlib.ml" 314 10142 10168
type(
  group_t ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 316 10174 10182 "src/oasis/OASISFindlib.ml" 316 10174 10194
type(
  group_t ->
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
ident(
  int_ref root_lib_aux "src/oasis/OASISFindlib.ml" 301 9806 9816 "src/oasis/OASISFindlib.ml" 301 9806 9828
)
"src/oasis/OASISFindlib.ml" 316 10174 10195 "src/oasis/OASISFindlib.ml" 316 10174 10198
type(
  group_t
)
ident(
  int_ref grp "src/oasis/OASISFindlib.ml" 300 9782 9800 "src/oasis/OASISFindlib.ml" 300 9782 9803
)
"src/oasis/OASISFindlib.ml" 316 10174 10182 "src/oasis/OASISFindlib.ml" 316 10174 10198
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 317 10204 10215 "src/oasis/OASISFindlib.ml" 317 10204 10218
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def res "src/oasis/OASISFindlib.ml" 318 10222 10228 "src/oasis/OASISFindlib.ml" 318 10222 10231
)
"src/oasis/OASISFindlib.ml" 317 10204 10210 "src/oasis/OASISFindlib.ml" 317 10204 10218
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 318 10222 10228 "src/oasis/OASISFindlib.ml" 318 10222 10231
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref res "src/oasis/OASISFindlib.ml" 317 10204 10215 "src/oasis/OASISFindlib.ml" 317 10204 10218
)
"src/oasis/OASISFindlib.ml" 319 10232 10238 "src/oasis/OASISFindlib.ml" 319 10232 10242
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  option
)
"src/oasis/OASISFindlib.ml" 320 10246 10252 "src/oasis/OASISFindlib.ml" 320 10246 10261
type(
  (OASISTypes.findlib_name ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ], 
   unit, string,
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  format4 ->
  OASISTypes.findlib_name ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFindlib.ml" 321 10262 10271 "src/oasis/OASISFindlib.ml" 321 10262 10273
type(
  (OASISTypes.findlib_name ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ], 
   unit, string,
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  format4 ->
  (OASISTypes.findlib_name ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ], 
   unit, string,
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 321 10262 10274 "src/oasis/OASISFindlib.ml" 321 10262 10332
type(
  (OASISTypes.findlib_name ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ], 
   unit, string,
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  format4
)
"src/oasis/OASISFindlib.ml" 321 10262 10270 "src/oasis/OASISFindlib.ml" 321 10262 10333
type(
  (OASISTypes.findlib_name ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ], 
   unit, string,
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ])
  format4
)
"src/oasis/OASISFindlib.ml" 322 10334 10343 "src/oasis/OASISFindlib.ml" 322 10334 10359
type(
  group_t -> OASISTypes.findlib_name
)
ident(
  int_ref findlib_of_group "src/oasis/OASISFindlib.ml" 294 9664 9668 "src/oasis/OASISFindlib.ml" 294 9664 9684
)
"src/oasis/OASISFindlib.ml" 322 10334 10360 "src/oasis/OASISFindlib.ml" 322 10334 10363
type(
  group_t
)
ident(
  int_ref grp "src/oasis/OASISFindlib.ml" 300 9782 9800 "src/oasis/OASISFindlib.ml" 300 9782 9803
)
"src/oasis/OASISFindlib.ml" 322 10334 10342 "src/oasis/OASISFindlib.ml" 322 10334 10364
type(
  OASISTypes.findlib_name
)
"src/oasis/OASISFindlib.ml" 320 10246 10252 "src/oasis/OASISFindlib.ml" 322 10334 10364
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 316 10174 10176 "src/oasis/OASISFindlib.ml" 322 10334 10364
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 301 9806 9808 "src/oasis/OASISFindlib.ml" 322 10334 10364
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/oasis/OASISFindlib.ml" 328 10386 10390 "src/oasis/OASISFindlib.ml" 328 10386 10392
type(
  unit
)
"src/oasis/OASISFindlib.ml" 329 10395 10397 "src/oasis/OASISFindlib.ml" 329 10395 10422
type(
  (exn -> string option) -> unit
)
ident(
  int_ref Stdlib.Printexc.register_printer "printexc.mli" 85 3761 3761 "printexc.mli" 85 3761 3813
)
"src/oasis/OASISFindlib.ml" 331 10437 10469 "src/oasis/OASISFindlib.ml" 331 10437 10475
type(
  library_name
)
ident(
  def lib_nm "src/oasis/OASISFindlib.ml" 332 10479 10487 "src/oasis/OASISFindlib.ml" 336 10622 10642
)
"src/oasis/OASISFindlib.ml" 331 10437 10445 "src/oasis/OASISFindlib.ml" 331 10437 10475
type(
  exn
)
"src/oasis/OASISFindlib.ml" 333 10492 10503 "src/oasis/OASISFindlib.ml" 333 10492 10517
type(
  (library_name -> string, unit, string) format -> library_name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFindlib.ml" 334 10518 10532 "src/oasis/OASISFindlib.ml" 334 10518 10534
type(
  (library_name -> string, unit, string, string) format4 ->
  (library_name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 334 10518 10535 "src/oasis/OASISFindlib.ml" 335 10585 10620
type(
  (library_name -> string, unit, string, string) format4
)
"src/oasis/OASISFindlib.ml" 334 10518 10531 "src/oasis/OASISFindlib.ml" 335 10585 10621
type(
  (library_name -> string, unit, string, string) format4
)
"src/oasis/OASISFindlib.ml" 336 10622 10635 "src/oasis/OASISFindlib.ml" 336 10622 10641
type(
  library_name
)
ident(
  int_ref lib_nm "src/oasis/OASISFindlib.ml" 331 10437 10469 "src/oasis/OASISFindlib.ml" 331 10437 10475
)
"src/oasis/OASISFindlib.ml" 333 10492 10502 "src/oasis/OASISFindlib.ml" 336 10622 10642
type(
  string
)
"src/oasis/OASISFindlib.ml" 332 10479 10487 "src/oasis/OASISFindlib.ml" 336 10622 10642
type(
  string option
)
"src/oasis/OASISFindlib.ml" 337 10643 10674 "src/oasis/OASISFindlib.ml" 337 10643 10682
type(
  OASISTypes.findlib_name
)
ident(
  def fndlb_nm "src/oasis/OASISFindlib.ml" 338 10686 10694 "src/oasis/OASISFindlib.ml" 342 10829 10851
)
"src/oasis/OASISFindlib.ml" 337 10643 10651 "src/oasis/OASISFindlib.ml" 337 10643 10682
type(
  exn
)
"src/oasis/OASISFindlib.ml" 339 10699 10710 "src/oasis/OASISFindlib.ml" 339 10699 10724
type(
  (OASISTypes.findlib_name -> string, unit, string) format ->
  OASISTypes.findlib_name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFindlib.ml" 340 10725 10739 "src/oasis/OASISFindlib.ml" 340 10725 10741
type(
  (OASISTypes.findlib_name -> string, unit, string, string) format4 ->
  (OASISTypes.findlib_name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFindlib.ml" 340 10725 10742 "src/oasis/OASISFindlib.ml" 341 10783 10827
type(
  (OASISTypes.findlib_name -> string, unit, string, string) format4
)
"src/oasis/OASISFindlib.ml" 340 10725 10738 "src/oasis/OASISFindlib.ml" 341 10783 10828
type(
  (OASISTypes.findlib_name -> string, unit, string, string) format4
)
"src/oasis/OASISFindlib.ml" 342 10829 10842 "src/oasis/OASISFindlib.ml" 342 10829 10850
type(
  OASISTypes.findlib_name
)
ident(
  int_ref fndlb_nm "src/oasis/OASISFindlib.ml" 337 10643 10674 "src/oasis/OASISFindlib.ml" 337 10643 10682
)
"src/oasis/OASISFindlib.ml" 339 10699 10709 "src/oasis/OASISFindlib.ml" 342 10829 10851
type(
  string
)
"src/oasis/OASISFindlib.ml" 338 10686 10694 "src/oasis/OASISFindlib.ml" 342 10829 10851
type(
  string option
)
"src/oasis/OASISFindlib.ml" 343 10852 10860 "src/oasis/OASISFindlib.ml" 343 10852 10861
type(
  exn
)
"src/oasis/OASISFindlib.ml" 344 10865 10873 "src/oasis/OASISFindlib.ml" 344 10865 10877
type(
  string option
)
"src/oasis/OASISFindlib.ml" 330 10423 10427 "src/oasis/OASISFindlib.ml" 344 10865 10878
type(
  exn -> string option
)
"src/oasis/OASISFindlib.ml" 329 10395 10397 "src/oasis/OASISFindlib.ml" 344 10865 10878
type(
  unit
)
