"src/oasis/OASISFileSystem.ml" 57 2372 2379 "src/oasis/OASISFileSystem.ml" 57 2372 2383
ident(
  def Mode "src/oasis/OASISFileSystem.ml" 67 2658 2661 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 59 2393 2399 "src/oasis/OASISFileSystem.ml" 59 2393 2409
type(
  open_flag list
)
ident(
  def default_in "src/oasis/OASISFileSystem.ml" 60 2426 2428 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 59 2393 2413 "src/oasis/OASISFileSystem.ml" 59 2393 2424
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 59 2393 2412 "src/oasis/OASISFileSystem.ml" 59 2393 2425
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 60 2426 2432 "src/oasis/OASISFileSystem.ml" 60 2426 2443
type(
  open_flag list
)
ident(
  def default_out "src/oasis/OASISFileSystem.ml" 62 2485 2487 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 60 2426 2447 "src/oasis/OASISFileSystem.ml" 60 2426 2458
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 60 2426 2460 "src/oasis/OASISFileSystem.ml" 60 2426 2470
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 60 2426 2472 "src/oasis/OASISFileSystem.ml" 60 2426 2482
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 60 2426 2446 "src/oasis/OASISFileSystem.ml" 60 2426 2483
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 62 2485 2491 "src/oasis/OASISFileSystem.ml" 62 2485 2498
type(
  open_flag list
)
ident(
  def text_in "src/oasis/OASISFileSystem.ml" 63 2525 2527 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 62 2485 2501 "src/oasis/OASISFileSystem.ml" 62 2485 2510
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 62 2485 2514 "src/oasis/OASISFileSystem.ml" 62 2485 2524
type(
  open_flag list
)
ident(
  int_ref default_in "src/oasis/OASISFileSystem.ml" 59 2393 2399 "src/oasis/OASISFileSystem.ml" 59 2393 2409
)
"src/oasis/OASISFileSystem.ml" 62 2485 2501 "src/oasis/OASISFileSystem.ml" 62 2485 2524
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 63 2525 2531 "src/oasis/OASISFileSystem.ml" 63 2525 2539
type(
  open_flag list
)
ident(
  def text_out "src/oasis/OASISFileSystem.ml" 65 2568 2570 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 63 2525 2542 "src/oasis/OASISFileSystem.ml" 63 2525 2551
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 63 2525 2555 "src/oasis/OASISFileSystem.ml" 63 2525 2566
type(
  open_flag list
)
ident(
  int_ref default_out "src/oasis/OASISFileSystem.ml" 60 2426 2432 "src/oasis/OASISFileSystem.ml" 60 2426 2443
)
"src/oasis/OASISFileSystem.ml" 63 2525 2542 "src/oasis/OASISFileSystem.ml" 63 2525 2566
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 65 2568 2574 "src/oasis/OASISFileSystem.ml" 65 2568 2583
type(
  open_flag list
)
ident(
  def binary_in "src/oasis/OASISFileSystem.ml" 66 2612 2614 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 65 2568 2586 "src/oasis/OASISFileSystem.ml" 65 2568 2597
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 65 2568 2601 "src/oasis/OASISFileSystem.ml" 65 2568 2611
type(
  open_flag list
)
ident(
  int_ref default_in "src/oasis/OASISFileSystem.ml" 59 2393 2399 "src/oasis/OASISFileSystem.ml" 59 2393 2409
)
"src/oasis/OASISFileSystem.ml" 65 2568 2586 "src/oasis/OASISFileSystem.ml" 65 2568 2611
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 66 2612 2618 "src/oasis/OASISFileSystem.ml" 66 2612 2628
type(
  open_flag list
)
ident(
  def binary_out "src/oasis/OASISFileSystem.ml" 66 2612 2657 "src/oasis/OASISFileSystem.ml" 67 2658 2661
)
"src/oasis/OASISFileSystem.ml" 66 2612 2631 "src/oasis/OASISFileSystem.ml" 66 2612 2642
type(
  open_flag
)
"src/oasis/OASISFileSystem.ml" 66 2612 2646 "src/oasis/OASISFileSystem.ml" 66 2612 2657
type(
  open_flag list
)
ident(
  int_ref default_out "src/oasis/OASISFileSystem.ml" 60 2426 2432 "src/oasis/OASISFileSystem.ml" 60 2426 2443
)
"src/oasis/OASISFileSystem.ml" 66 2612 2631 "src/oasis/OASISFileSystem.ml" 66 2612 2657
type(
  open_flag list
)
"src/oasis/OASISFileSystem.ml" 69 2663 2667 "src/oasis/OASISFileSystem.ml" 69 2663 2677
type(
  int
)
ident(
  def std_length "src/oasis/OASISFileSystem.ml" 70 2720 2720 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 69 2663 2680 "src/oasis/OASISFileSystem.ml" 69 2663 2684
type(
  int
)
"src/oasis/OASISFileSystem.ml" 70 2720 2724 "src/oasis/OASISFileSystem.ml" 70 2720 2734
type(
  open_flag list
)
ident(
  def binary_out "src/oasis/OASISFileSystem.ml" 71 2753 2753 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 70 2720 2737 "src/oasis/OASISFileSystem.ml" 70 2720 2752
type(
  open_flag list
)
ident(
  int_ref Mode.binary_out "src/oasis/OASISFileSystem.ml" 66 2612 2618 "src/oasis/OASISFileSystem.ml" 66 2612 2628
)
"src/oasis/OASISFileSystem.ml" 71 2753 2757 "src/oasis/OASISFileSystem.ml" 71 2753 2766
type(
  open_flag list
)
ident(
  def binary_in "src/oasis/OASISFileSystem.ml" 73 2785 2785 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 71 2753 2769 "src/oasis/OASISFileSystem.ml" 71 2753 2783
type(
  open_flag list
)
ident(
  int_ref Mode.binary_in "src/oasis/OASISFileSystem.ml" 65 2568 2574 "src/oasis/OASISFileSystem.ml" 65 2568 2583
)
"src/oasis/OASISFileSystem.ml" 73 2785 2789 "src/oasis/OASISFileSystem.ml" 73 2785 2805
type(
  'a filename -> 'a filename
)
ident(
  def of_unix_filename "src/oasis/OASISFileSystem.ml" 74 2831 2831 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 73 2785 2806 "src/oasis/OASISFileSystem.ml" 73 2785 2809
type(
  'a filename
)
ident(
  def ufn "src/oasis/OASISFileSystem.ml" 73 2785 2813 "src/oasis/OASISFileSystem.ml" 73 2785 2816
)
"src/oasis/OASISFileSystem.ml" 73 2785 2813 "src/oasis/OASISFileSystem.ml" 73 2785 2816
type(
  'a filename
)
ident(
  int_ref ufn "src/oasis/OASISFileSystem.ml" 73 2785 2806 "src/oasis/OASISFileSystem.ml" 73 2785 2809
)
"src/oasis/OASISFileSystem.ml" 74 2831 2835 "src/oasis/OASISFileSystem.ml" 74 2831 2851
type(
  string -> string
)
ident(
  def to_unix_filename "src/oasis/OASISFileSystem.ml" 77 2872 2872 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 74 2831 2852 "src/oasis/OASISFileSystem.ml" 74 2831 2854
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 74 2831 2858 "src/oasis/OASISFileSystem.ml" 74 2831 2860
)
"src/oasis/OASISFileSystem.ml" 74 2831 2858 "src/oasis/OASISFileSystem.ml" 74 2831 2860
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 74 2831 2852 "src/oasis/OASISFileSystem.ml" 74 2831 2854
)
"src/oasis/OASISFileSystem.ml" 77 2872 2876 "src/oasis/OASISFileSystem.ml" 77 2872 2887
type(
  (< close : 'b; .. > as 'a) -> ('a -> 'c) -> 'c
)
ident(
  def defer_close "src/oasis/OASISFileSystem.ml" 84 2965 2965 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 77 2872 2888 "src/oasis/OASISFileSystem.ml" 77 2872 2889
type(
  'a
)
ident(
  def o "src/oasis/OASISFileSystem.ml" 77 2872 2890 "src/oasis/OASISFileSystem.ml" 81 2942 2962
)
"src/oasis/OASISFileSystem.ml" 77 2872 2890 "src/oasis/OASISFileSystem.ml" 77 2872 2891
type(
  'a -> 'c
)
ident(
  def f "src/oasis/OASISFileSystem.ml" 78 2894 2896 "src/oasis/OASISFileSystem.ml" 81 2942 2962
)
"src/oasis/OASISFileSystem.ml" 79 2900 2908 "src/oasis/OASISFileSystem.ml" 79 2900 2909
type(
  'c
)
ident(
  def r "src/oasis/OASISFileSystem.ml" 79 2900 2919 "src/oasis/OASISFileSystem.ml" 79 2900 2929
)
"src/oasis/OASISFileSystem.ml" 79 2900 2912 "src/oasis/OASISFileSystem.ml" 79 2900 2913
type(
  'a -> 'c
)
ident(
  int_ref f "src/oasis/OASISFileSystem.ml" 77 2872 2890 "src/oasis/OASISFileSystem.ml" 77 2872 2891
)
"src/oasis/OASISFileSystem.ml" 79 2900 2914 "src/oasis/OASISFileSystem.ml" 79 2900 2915
type(
  'a
)
ident(
  int_ref o "src/oasis/OASISFileSystem.ml" 77 2872 2888 "src/oasis/OASISFileSystem.ml" 77 2872 2889
)
"src/oasis/OASISFileSystem.ml" 79 2900 2912 "src/oasis/OASISFileSystem.ml" 79 2900 2915
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 79 2900 2919 "src/oasis/OASISFileSystem.ml" 79 2900 2920
type(
  'a
)
ident(
  int_ref o "src/oasis/OASISFileSystem.ml" 77 2872 2888 "src/oasis/OASISFileSystem.ml" 77 2872 2889
)
"src/oasis/OASISFileSystem.ml" 79 2900 2919 "src/oasis/OASISFileSystem.ml" 79 2900 2926
type(
  'b
)
"src/oasis/OASISFileSystem.ml" 79 2900 2928 "src/oasis/OASISFileSystem.ml" 79 2900 2929
type(
  'c
)
ident(
  int_ref r "src/oasis/OASISFileSystem.ml" 79 2900 2908 "src/oasis/OASISFileSystem.ml" 79 2900 2909
)
"src/oasis/OASISFileSystem.ml" 79 2900 2919 "src/oasis/OASISFileSystem.ml" 79 2900 2929
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 79 2900 2904 "src/oasis/OASISFileSystem.ml" 79 2900 2929
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 80 2930 2937 "src/oasis/OASISFileSystem.ml" 80 2930 2938
type(
  exn
)
ident(
  def e "src/oasis/OASISFileSystem.ml" 81 2942 2946 "src/oasis/OASISFileSystem.ml" 81 2942 2962
)
"src/oasis/OASISFileSystem.ml" 81 2942 2946 "src/oasis/OASISFileSystem.ml" 81 2942 2947
type(
  'a
)
ident(
  int_ref o "src/oasis/OASISFileSystem.ml" 77 2872 2888 "src/oasis/OASISFileSystem.ml" 77 2872 2889
)
"src/oasis/OASISFileSystem.ml" 81 2942 2946 "src/oasis/OASISFileSystem.ml" 81 2942 2953
type(
  'b
)
"src/oasis/OASISFileSystem.ml" 81 2942 2955 "src/oasis/OASISFileSystem.ml" 81 2942 2960
type(
  exn -> 'c
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISFileSystem.ml" 81 2942 2961 "src/oasis/OASISFileSystem.ml" 81 2942 2962
type(
  exn
)
ident(
  int_ref e "src/oasis/OASISFileSystem.ml" 80 2930 2937 "src/oasis/OASISFileSystem.ml" 80 2930 2938
)
"src/oasis/OASISFileSystem.ml" 81 2942 2955 "src/oasis/OASISFileSystem.ml" 81 2942 2962
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 81 2942 2946 "src/oasis/OASISFileSystem.ml" 81 2942 2962
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 78 2894 2896 "src/oasis/OASISFileSystem.ml" 81 2942 2962
type(
  'c
)
"src/oasis/OASISFileSystem.ml" 84 2965 2969 "src/oasis/OASISFileSystem.ml" 84 2965 2985
type(
  < input : Buffer.t -> int -> unit; .. > -> char Stream.t
)
ident(
  def stream_of_reader "src/oasis/OASISFileSystem.ml" 110 3541 3541 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 84 2965 2986 "src/oasis/OASISFileSystem.ml" 84 2965 2989
type(
  < input : Buffer.t -> int -> unit; .. > as 'a
)
ident(
  def rdr "src/oasis/OASISFileSystem.ml" 85 2992 2994 "src/oasis/OASISFileSystem.ml" 107 3520 3538
)
"src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISFileSystem.ml" 86 3032 3034 "src/oasis/OASISFileSystem.ml" 107 3520 3538
)
"src/oasis/OASISFileSystem.ml" 85 2992 3004 "src/oasis/OASISFileSystem.ml" 85 2992 3017
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISFileSystem.ml" 85 2992 3018 "src/oasis/OASISFileSystem.ml" 85 2992 3028
type(
  int
)
ident(
  int_ref std_length "src/oasis/OASISFileSystem.ml" 69 2663 2667 "src/oasis/OASISFileSystem.ml" 69 2663 2677
)
"src/oasis/OASISFileSystem.ml" 85 2992 3004 "src/oasis/OASISFileSystem.ml" 85 2992 3028
type(
  Buffer.t
)
"src/oasis/OASISFileSystem.ml" 86 3032 3038 "src/oasis/OASISFileSystem.ml" 86 3032 3041
type(
  int ref
)
ident(
  def pos "src/oasis/OASISFileSystem.ml" 87 3053 3055 "src/oasis/OASISFileSystem.ml" 107 3520 3538
)
"src/oasis/OASISFileSystem.ml" 86 3032 3044 "src/oasis/OASISFileSystem.ml" 86 3032 3047
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISFileSystem.ml" 86 3032 3048 "src/oasis/OASISFileSystem.ml" 86 3032 3049
type(
  int
)
"src/oasis/OASISFileSystem.ml" 86 3032 3044 "src/oasis/OASISFileSystem.ml" 86 3032 3049
type(
  int ref
)
"src/oasis/OASISFileSystem.ml" 87 3053 3059 "src/oasis/OASISFileSystem.ml" 87 3053 3062
type(
  bool ref
)
ident(
  def eof "src/oasis/OASISFileSystem.ml" 88 3078 3080 "src/oasis/OASISFileSystem.ml" 107 3520 3538
)
"src/oasis/OASISFileSystem.ml" 87 3053 3065 "src/oasis/OASISFileSystem.ml" 87 3053 3068
type(
  bool -> bool ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISFileSystem.ml" 87 3053 3069 "src/oasis/OASISFileSystem.ml" 87 3053 3074
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 87 3053 3065 "src/oasis/OASISFileSystem.ml" 87 3053 3074
type(
  bool ref
)
"src/oasis/OASISFileSystem.ml" 88 3078 3088 "src/oasis/OASISFileSystem.ml" 88 3078 3092
type(
  int -> char option
)
ident(
  def next "src/oasis/OASISFileSystem.ml" 88 3078 3080 "src/oasis/OASISFileSystem.ml" 107 3520 3538
)
"src/oasis/OASISFileSystem.ml" 88 3078 3093 "src/oasis/OASISFileSystem.ml" 88 3078 3096
type(
  int
)
ident(
  def idx "src/oasis/OASISFileSystem.ml" 89 3099 3103 "src/oasis/OASISFileSystem.ml" 105 3507 3514
)
"src/oasis/OASISFileSystem.ml" 89 3099 3107 "src/oasis/OASISFileSystem.ml" 89 3099 3111
type(
  int
)
ident(
  def bpos "src/oasis/OASISFileSystem.ml" 90 3128 3132 "src/oasis/OASISFileSystem.ml" 105 3507 3514
)
"src/oasis/OASISFileSystem.ml" 89 3099 3114 "src/oasis/OASISFileSystem.ml" 89 3099 3117
type(
  int
)
ident(
  int_ref idx "src/oasis/OASISFileSystem.ml" 88 3078 3093 "src/oasis/OASISFileSystem.ml" 88 3078 3096
)
"src/oasis/OASISFileSystem.ml" 89 3099 3118 "src/oasis/OASISFileSystem.ml" 89 3099 3119
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISFileSystem.ml" 89 3099 3120 "src/oasis/OASISFileSystem.ml" 89 3099 3121
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISFileSystem.ml" 89 3099 3121 "src/oasis/OASISFileSystem.ml" 89 3099 3124
type(
  int ref
)
ident(
  int_ref pos "src/oasis/OASISFileSystem.ml" 86 3032 3038 "src/oasis/OASISFileSystem.ml" 86 3032 3041
)
"src/oasis/OASISFileSystem.ml" 89 3099 3120 "src/oasis/OASISFileSystem.ml" 89 3099 3124
type(
  int
)
"src/oasis/OASISFileSystem.ml" 89 3099 3114 "src/oasis/OASISFileSystem.ml" 89 3099 3124
type(
  int
)
"src/oasis/OASISFileSystem.ml" 90 3128 3135 "src/oasis/OASISFileSystem.ml" 90 3128 3136
type(
  bool ref -> bool
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISFileSystem.ml" 90 3128 3136 "src/oasis/OASISFileSystem.ml" 90 3128 3139
type(
  bool ref
)
ident(
  int_ref eof "src/oasis/OASISFileSystem.ml" 87 3053 3059 "src/oasis/OASISFileSystem.ml" 87 3053 3062
)
"src/oasis/OASISFileSystem.ml" 90 3128 3135 "src/oasis/OASISFileSystem.ml" 90 3128 3139
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 90 3128 3145 "src/oasis/OASISFileSystem.ml" 92 3162 3169
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 92 3162 3178 "src/oasis/OASISFileSystem.ml" 92 3162 3182
type(
  int
)
ident(
  int_ref bpos "src/oasis/OASISFileSystem.ml" 89 3099 3107 "src/oasis/OASISFileSystem.ml" 89 3099 3111
)
"src/oasis/OASISFileSystem.ml" 92 3162 3183 "src/oasis/OASISFileSystem.ml" 92 3162 3184
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISFileSystem.ml" 92 3162 3185 "src/oasis/OASISFileSystem.ml" 92 3162 3198
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISFileSystem.ml" 92 3162 3199 "src/oasis/OASISFileSystem.ml" 92 3162 3202
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 92 3162 3185 "src/oasis/OASISFileSystem.ml" 92 3162 3202
type(
  int
)
"src/oasis/OASISFileSystem.ml" 92 3162 3178 "src/oasis/OASISFileSystem.ml" 92 3162 3202
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 93 3214 3226 "src/oasis/OASISFileSystem.ml" 93 3214 3236
type(
  Buffer.t -> int -> char
)
ident(
  int_ref Stdlib.Buffer.nth "buffer.mli" 75 3258 3258 "buffer.mli" 75 3258 3284
)
"src/oasis/OASISFileSystem.ml" 93 3214 3237 "src/oasis/OASISFileSystem.ml" 93 3214 3240
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 93 3214 3241 "src/oasis/OASISFileSystem.ml" 93 3214 3245
type(
  int
)
ident(
  int_ref bpos "src/oasis/OASISFileSystem.ml" 89 3099 3107 "src/oasis/OASISFileSystem.ml" 89 3099 3111
)
"src/oasis/OASISFileSystem.ml" 93 3214 3225 "src/oasis/OASISFileSystem.ml" 93 3214 3246
type(
  char
)
"src/oasis/OASISFileSystem.ml" 92 3162 3208 "src/oasis/OASISFileSystem.ml" 94 3247 3254
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 95 3266 3272 "src/oasis/OASISFileSystem.ml" 95 3266 3275
type(
  int ref
)
ident(
  int_ref pos "src/oasis/OASISFileSystem.ml" 86 3032 3038 "src/oasis/OASISFileSystem.ml" 86 3032 3041
)
"src/oasis/OASISFileSystem.ml" 95 3266 3276 "src/oasis/OASISFileSystem.ml" 95 3266 3278
type(
  int ref -> int -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISFileSystem.ml" 95 3266 3279 "src/oasis/OASISFileSystem.ml" 95 3266 3280
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISFileSystem.ml" 95 3266 3280 "src/oasis/OASISFileSystem.ml" 95 3266 3283
type(
  int ref
)
ident(
  int_ref pos "src/oasis/OASISFileSystem.ml" 86 3032 3038 "src/oasis/OASISFileSystem.ml" 86 3032 3041
)
"src/oasis/OASISFileSystem.ml" 95 3266 3279 "src/oasis/OASISFileSystem.ml" 95 3266 3283
type(
  int
)
"src/oasis/OASISFileSystem.ml" 95 3266 3284 "src/oasis/OASISFileSystem.ml" 95 3266 3285
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISFileSystem.ml" 95 3266 3286 "src/oasis/OASISFileSystem.ml" 95 3266 3299
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISFileSystem.ml" 95 3266 3300 "src/oasis/OASISFileSystem.ml" 95 3266 3303
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 95 3266 3286 "src/oasis/OASISFileSystem.ml" 95 3266 3303
type(
  int
)
"src/oasis/OASISFileSystem.ml" 95 3266 3279 "src/oasis/OASISFileSystem.ml" 95 3266 3303
type(
  int
)
"src/oasis/OASISFileSystem.ml" 95 3266 3272 "src/oasis/OASISFileSystem.ml" 95 3266 3303
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 96 3305 3311 "src/oasis/OASISFileSystem.ml" 96 3305 3323
type(
  Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.clear "buffer.mli" 83 3483 3483 "buffer.mli" 83 3483 3504
)
"src/oasis/OASISFileSystem.ml" 96 3305 3324 "src/oasis/OASISFileSystem.ml" 96 3305 3327
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 96 3305 3311 "src/oasis/OASISFileSystem.ml" 96 3305 3327
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 99 3353 3363 "src/oasis/OASISFileSystem.ml" 99 3353 3366
type(
  'a
)
ident(
  int_ref rdr "src/oasis/OASISFileSystem.ml" 84 2965 2986 "src/oasis/OASISFileSystem.ml" 84 2965 2989
)
"src/oasis/OASISFileSystem.ml" 99 3353 3363 "src/oasis/OASISFileSystem.ml" 99 3353 3372
type(
  Buffer.t -> int -> unit
)
"src/oasis/OASISFileSystem.ml" 99 3353 3373 "src/oasis/OASISFileSystem.ml" 99 3353 3376
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 99 3353 3377 "src/oasis/OASISFileSystem.ml" 99 3353 3387
type(
  int
)
ident(
  int_ref std_length "src/oasis/OASISFileSystem.ml" 69 2663 2667 "src/oasis/OASISFileSystem.ml" 69 2663 2677
)
"src/oasis/OASISFileSystem.ml" 99 3353 3363 "src/oasis/OASISFileSystem.ml" 99 3353 3387
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 100 3389 3402 "src/oasis/OASISFileSystem.ml" 100 3389 3413
type(
  exn
)
"src/oasis/OASISFileSystem.ml" 101 3417 3430 "src/oasis/OASISFileSystem.ml" 101 3417 3443
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISFileSystem.ml" 101 3417 3444 "src/oasis/OASISFileSystem.ml" 101 3417 3447
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 85 2992 2998 "src/oasis/OASISFileSystem.ml" 85 2992 3001
)
"src/oasis/OASISFileSystem.ml" 101 3417 3430 "src/oasis/OASISFileSystem.ml" 101 3417 3447
type(
  int
)
"src/oasis/OASISFileSystem.ml" 101 3417 3448 "src/oasis/OASISFileSystem.ml" 101 3417 3449
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileSystem.ml" 101 3417 3450 "src/oasis/OASISFileSystem.ml" 101 3417 3451
type(
  int
)
"src/oasis/OASISFileSystem.ml" 101 3417 3430 "src/oasis/OASISFileSystem.ml" 101 3417 3451
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 102 3457 3469 "src/oasis/OASISFileSystem.ml" 102 3457 3472
type(
  bool ref
)
ident(
  int_ref eof "src/oasis/OASISFileSystem.ml" 87 3053 3059 "src/oasis/OASISFileSystem.ml" 87 3053 3062
)
"src/oasis/OASISFileSystem.ml" 102 3457 3473 "src/oasis/OASISFileSystem.ml" 102 3457 3475
type(
  bool ref -> bool -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISFileSystem.ml" 102 3457 3476 "src/oasis/OASISFileSystem.ml" 102 3457 3480
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 102 3457 3469 "src/oasis/OASISFileSystem.ml" 102 3457 3480
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 101 3417 3427 "src/oasis/OASISFileSystem.ml" 102 3457 3480
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 97 3329 3335 "src/oasis/OASISFileSystem.ml" 103 3481 3490
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 104 3492 3498 "src/oasis/OASISFileSystem.ml" 104 3492 3502
type(
  int -> char option
)
ident(
  int_ref next "src/oasis/OASISFileSystem.ml" 88 3078 3088 "src/oasis/OASISFileSystem.ml" 88 3078 3092
)
"src/oasis/OASISFileSystem.ml" 104 3492 3503 "src/oasis/OASISFileSystem.ml" 104 3492 3506
type(
  int
)
ident(
  int_ref idx "src/oasis/OASISFileSystem.ml" 88 3078 3093 "src/oasis/OASISFileSystem.ml" 88 3078 3096
)
"src/oasis/OASISFileSystem.ml" 104 3492 3498 "src/oasis/OASISFileSystem.ml" 104 3492 3506
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 97 3329 3335 "src/oasis/OASISFileSystem.ml" 104 3492 3506
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 96 3305 3311 "src/oasis/OASISFileSystem.ml" 104 3492 3506
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 94 3247 3260 "src/oasis/OASISFileSystem.ml" 105 3507 3514
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 92 3162 3175 "src/oasis/OASISFileSystem.ml" 105 3507 3514
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 90 3128 3132 "src/oasis/OASISFileSystem.ml" 105 3507 3514
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 89 3099 3103 "src/oasis/OASISFileSystem.ml" 105 3507 3514
type(
  char option
)
"src/oasis/OASISFileSystem.ml" 107 3520 3522 "src/oasis/OASISFileSystem.ml" 107 3520 3533
type(
  (int -> char option) -> char Stream.t
)
ident(
  int_ref Stdlib.Stream.from "stream.mli" 32 1484 1484 "stream.mli" 32 1484 1521
)
"src/oasis/OASISFileSystem.ml" 107 3520 3534 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  int -> char option
)
ident(
  int_ref next "src/oasis/OASISFileSystem.ml" 88 3078 3088 "src/oasis/OASISFileSystem.ml" 88 3078 3092
)
"src/oasis/OASISFileSystem.ml" 107 3520 3522 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 88 3078 3080 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 87 3053 3055 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 86 3032 3034 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 85 2992 2994 "src/oasis/OASISFileSystem.ml" 107 3520 3538
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 110 3541 3545 "src/oasis/OASISFileSystem.ml" 110 3541 3553
type(
  'a -> < input : 'a -> int -> 'b; .. > -> unit
)
ident(
  def read_all "src/oasis/OASISFileSystem.ml" 118 3658 3658 "src/oasis/OASISFileSystem.ml" 0 0 -1
)
"src/oasis/OASISFileSystem.ml" 110 3541 3554 "src/oasis/OASISFileSystem.ml" 110 3541 3557
type(
  'a
)
ident(
  def buf "src/oasis/OASISFileSystem.ml" 110 3541 3558 "src/oasis/OASISFileSystem.ml" 116 3650 3656
)
"src/oasis/OASISFileSystem.ml" 110 3541 3558 "src/oasis/OASISFileSystem.ml" 110 3541 3561
type(
  < input : 'a -> int -> 'b; .. > as 'c
)
ident(
  def rdr "src/oasis/OASISFileSystem.ml" 111 3564 3566 "src/oasis/OASISFileSystem.ml" 116 3650 3656
)
"src/oasis/OASISFileSystem.ml" 112 3570 3580 "src/oasis/OASISFileSystem.ml" 112 3570 3584
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 113 3588 3594 "src/oasis/OASISFileSystem.ml" 113 3588 3597
type(
  'c
)
ident(
  int_ref rdr "src/oasis/OASISFileSystem.ml" 110 3541 3558 "src/oasis/OASISFileSystem.ml" 110 3541 3561
)
"src/oasis/OASISFileSystem.ml" 113 3588 3594 "src/oasis/OASISFileSystem.ml" 113 3588 3603
type(
  'a -> int -> 'b
)
"src/oasis/OASISFileSystem.ml" 113 3588 3604 "src/oasis/OASISFileSystem.ml" 113 3588 3607
type(
  'a
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 110 3541 3554 "src/oasis/OASISFileSystem.ml" 110 3541 3557
)
"src/oasis/OASISFileSystem.ml" 113 3588 3608 "src/oasis/OASISFileSystem.ml" 113 3588 3618
type(
  int
)
ident(
  int_ref std_length "src/oasis/OASISFileSystem.ml" 69 2663 2667 "src/oasis/OASISFileSystem.ml" 69 2663 2677
)
"src/oasis/OASISFileSystem.ml" 113 3588 3594 "src/oasis/OASISFileSystem.ml" 113 3588 3618
type(
  'b
)
"src/oasis/OASISFileSystem.ml" 112 3570 3574 "src/oasis/OASISFileSystem.ml" 114 3619 3627
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 115 3628 3635 "src/oasis/OASISFileSystem.ml" 115 3628 3646
type(
  exn
)
"src/oasis/OASISFileSystem.ml" 116 3650 3654 "src/oasis/OASISFileSystem.ml" 116 3650 3656
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 111 3564 3566 "src/oasis/OASISFileSystem.ml" 116 3650 3656
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 118 3658 3677 "src/oasis/OASISFileSystem.ml" 118 3658 3684
type(
  string
)
"src/oasis/OASISFileSystem.ml" 119 3697 3706 "src/oasis/OASISFileSystem.ml" 119 3697 3712
type(
  < file_exists : string -> bool;
    open_in : ?mode:open_flag list ->
              ?perm:int ->
              string -> < close : unit; input : Buffer.t -> int -> unit >;
    open_out : ?mode:open_flag list ->
               ?perm:int ->
               string -> < close : unit; output : Buffer.t -> unit >;
    remove : string -> unit; string_of_filename : string -> string; .. >
)
"src/oasis/OASISFileSystem.ml" 120 3713 3746 "src/oasis/OASISFileSystem.ml" 120 3713 3748
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 120 3713 3751 "src/oasis/OASISFileSystem.ml" 120 3713 3777
)
"src/oasis/OASISFileSystem.ml" 120 3713 3751 "src/oasis/OASISFileSystem.ml" 120 3713 3766
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.Filename.concat "filename.mli" 30 1434 1434 "filename.mli" 30 1434 1473
)
"src/oasis/OASISFileSystem.ml" 120 3713 3767 "src/oasis/OASISFileSystem.ml" 120 3713 3774
type(
  string
)
"src/oasis/OASISFileSystem.ml" 120 3713 3775 "src/oasis/OASISFileSystem.ml" 120 3713 3777
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 120 3713 3746 "src/oasis/OASISFileSystem.ml" 120 3713 3748
)
"src/oasis/OASISFileSystem.ml" 120 3713 3751 "src/oasis/OASISFileSystem.ml" 120 3713 3777
type(
  string
)
"src/oasis/OASISFileSystem.ml" 121 3778 3810 "src/oasis/OASISFileSystem.ml" 121 3778 3814
type(
  < file_exists : string -> bool;
    open_in : ?mode:open_flag list ->
              ?perm:int ->
              string -> < close : unit; input : Buffer.t -> int -> unit >;
    open_out : ?mode:open_flag list ->
               ?perm:int ->
               string -> < close : unit; output : Buffer.t -> unit >;
    remove : string -> unit; string_of_filename : string -> string; .. >
  as 'a
)
ident(
  ext_ref self-1
)
"src/oasis/OASISFileSystem.ml" 121 3778 3810 "src/oasis/OASISFileSystem.ml" 121 3778 3828
type(
  string -> string
)
"src/oasis/OASISFileSystem.ml" 123 3830 3852 "src/oasis/OASISFileSystem.ml" 123 3830 3856
type(
  open_flag list
)
ident(
  def mode "src/oasis/OASISFileSystem.ml" 123 3830 3873 "src/oasis/OASISFileSystem.ml" 128 4065 4074
)
"src/oasis/OASISFileSystem.ml" 123 3830 3857 "src/oasis/OASISFileSystem.ml" 123 3830 3870
type(
  open_flag list
)
ident(
  int_ref Mode.text_out "src/oasis/OASISFileSystem.ml" 63 2525 2531 "src/oasis/OASISFileSystem.ml" 63 2525 2539
)
type(
  open_flag list option
)
type(
  open_flag list option
)
type(
  open_flag list
)
ident(
  int_ref *sth* "src/oasis/OASISFileSystem.ml" 123 3830 3857 "src/oasis/OASISFileSystem.ml" 123 3830 3870
)
type(
  open_flag list
)
type(
  open_flag list option
)
type(
  open_flag list option
)
ident(
  def *sth* "src/oasis/OASISFileSystem.ml" 123 3830 3857 "src/oasis/OASISFileSystem.ml" 123 3830 3870
)
"src/oasis/OASISFileSystem.ml" 123 3830 3875 "src/oasis/OASISFileSystem.ml" 123 3830 3879
type(
  int
)
ident(
  def perm "src/oasis/OASISFileSystem.ml" 123 3830 3887 "src/oasis/OASISFileSystem.ml" 128 4065 4074
)
"src/oasis/OASISFileSystem.ml" 123 3830 3880 "src/oasis/OASISFileSystem.ml" 123 3830 3885
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISFileSystem.ml" 123 3830 3880 "src/oasis/OASISFileSystem.ml" 123 3830 3885
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISFileSystem.ml" 123 3830 3880 "src/oasis/OASISFileSystem.ml" 123 3830 3885
)
"src/oasis/OASISFileSystem.ml" 123 3830 3887 "src/oasis/OASISFileSystem.ml" 123 3830 3889
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 124 3892 3898 "src/oasis/OASISFileSystem.ml" 128 4065 4074
)
"src/oasis/OASISFileSystem.ml" 124 3892 3902 "src/oasis/OASISFileSystem.ml" 124 3892 3905
type(
  out_channel
)
ident(
  def chn "src/oasis/OASISFileSystem.ml" 125 3958 3964 "src/oasis/OASISFileSystem.ml" 128 4065 4074
)
"src/oasis/OASISFileSystem.ml" 124 3892 3908 "src/oasis/OASISFileSystem.ml" 124 3892 3920
type(
  open_flag list -> int -> string -> out_channel
)
ident(
  int_ref Stdlib.open_out_gen "stdlib.mli" 978 35475 35475 "stdlib.mli" 978 35475 35540
)
"src/oasis/OASISFileSystem.ml" 124 3892 3921 "src/oasis/OASISFileSystem.ml" 124 3892 3925
type(
  open_flag list
)
ident(
  int_ref mode "src/oasis/OASISFileSystem.ml" 123 3830 3852 "src/oasis/OASISFileSystem.ml" 123 3830 3856
)
"src/oasis/OASISFileSystem.ml" 124 3892 3926 "src/oasis/OASISFileSystem.ml" 124 3892 3930
type(
  int
)
ident(
  int_ref perm "src/oasis/OASISFileSystem.ml" 123 3830 3875 "src/oasis/OASISFileSystem.ml" 123 3830 3879
)
"src/oasis/OASISFileSystem.ml" 124 3892 3932 "src/oasis/OASISFileSystem.ml" 124 3892 3936
type(
  'a
)
ident(
  ext_ref self-1
)
"src/oasis/OASISFileSystem.ml" 124 3892 3932 "src/oasis/OASISFileSystem.ml" 124 3892 3950
type(
  string -> string
)
"src/oasis/OASISFileSystem.ml" 124 3892 3951 "src/oasis/OASISFileSystem.ml" 124 3892 3953
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 123 3830 3887 "src/oasis/OASISFileSystem.ml" 123 3830 3889
)
"src/oasis/OASISFileSystem.ml" 124 3892 3931 "src/oasis/OASISFileSystem.ml" 124 3892 3954
type(
  string
)
"src/oasis/OASISFileSystem.ml" 124 3892 3908 "src/oasis/OASISFileSystem.ml" 124 3892 3954
type(
  out_channel
)
"src/oasis/OASISFileSystem.ml" 126 3971 3994 "src/oasis/OASISFileSystem.ml" 126 3971 4003
type(
  out_channel -> unit
)
ident(
  int_ref Stdlib.close_out "stdlib.mli" 1059 39094 39094 "stdlib.mli" 1059 39094 39129
)
"src/oasis/OASISFileSystem.ml" 126 3971 4004 "src/oasis/OASISFileSystem.ml" 126 3971 4007
type(
  out_channel
)
ident(
  int_ref chn "src/oasis/OASISFileSystem.ml" 124 3892 3902 "src/oasis/OASISFileSystem.ml" 124 3892 3905
)
"src/oasis/OASISFileSystem.ml" 126 3971 3994 "src/oasis/OASISFileSystem.ml" 126 3971 4007
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 127 4008 4030 "src/oasis/OASISFileSystem.ml" 127 4008 4033
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISFileSystem.ml" 127 4008 4036 "src/oasis/OASISFileSystem.ml" 127 4008 4064
)
"src/oasis/OASISFileSystem.ml" 127 4008 4036 "src/oasis/OASISFileSystem.ml" 127 4008 4056
type(
  out_channel -> Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.output_buffer "buffer.mli" 93 3889 3889 "buffer.mli" 93 3889 3933
)
"src/oasis/OASISFileSystem.ml" 127 4008 4057 "src/oasis/OASISFileSystem.ml" 127 4008 4060
type(
  out_channel
)
ident(
  int_ref chn "src/oasis/OASISFileSystem.ml" 124 3892 3902 "src/oasis/OASISFileSystem.ml" 124 3892 3905
)
"src/oasis/OASISFileSystem.ml" 127 4008 4061 "src/oasis/OASISFileSystem.ml" 127 4008 4064
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 127 4008 4030 "src/oasis/OASISFileSystem.ml" 127 4008 4033
)
"src/oasis/OASISFileSystem.ml" 127 4008 4036 "src/oasis/OASISFileSystem.ml" 127 4008 4064
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 125 3958 3964 "src/oasis/OASISFileSystem.ml" 128 4065 4074
type(
  < close : unit; output : Buffer.t -> unit >
)
"src/oasis/OASISFileSystem.ml" 124 3892 3898 "src/oasis/OASISFileSystem.ml" 128 4065 4074
type(
  < close : unit; output : Buffer.t -> unit >
)
"src/oasis/OASISFileSystem.ml" 130 4076 4097 "src/oasis/OASISFileSystem.ml" 130 4076 4101
type(
  open_flag list
)
ident(
  def mode "src/oasis/OASISFileSystem.ml" 130 4076 4116 "src/oasis/OASISFileSystem.ml" 148 4740 4749
)
"src/oasis/OASISFileSystem.ml" 130 4076 4102 "src/oasis/OASISFileSystem.ml" 130 4076 4114
type(
  open_flag list
)
ident(
  int_ref Mode.text_in "src/oasis/OASISFileSystem.ml" 62 2485 2491 "src/oasis/OASISFileSystem.ml" 62 2485 2498
)
type(
  open_flag list option
)
type(
  open_flag list option
)
type(
  open_flag list
)
ident(
  int_ref *sth* "src/oasis/OASISFileSystem.ml" 130 4076 4102 "src/oasis/OASISFileSystem.ml" 130 4076 4114
)
type(
  open_flag list
)
type(
  open_flag list option
)
type(
  open_flag list option
)
ident(
  def *sth* "src/oasis/OASISFileSystem.ml" 130 4076 4102 "src/oasis/OASISFileSystem.ml" 130 4076 4114
)
"src/oasis/OASISFileSystem.ml" 130 4076 4118 "src/oasis/OASISFileSystem.ml" 130 4076 4122
type(
  int
)
ident(
  def perm "src/oasis/OASISFileSystem.ml" 130 4076 4130 "src/oasis/OASISFileSystem.ml" 148 4740 4749
)
"src/oasis/OASISFileSystem.ml" 130 4076 4123 "src/oasis/OASISFileSystem.ml" 130 4076 4128
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISFileSystem.ml" 130 4076 4123 "src/oasis/OASISFileSystem.ml" 130 4076 4128
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISFileSystem.ml" 130 4076 4123 "src/oasis/OASISFileSystem.ml" 130 4076 4128
)
"src/oasis/OASISFileSystem.ml" 130 4076 4130 "src/oasis/OASISFileSystem.ml" 130 4076 4132
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 134 4286 4292 "src/oasis/OASISFileSystem.ml" 148 4740 4749
)
"src/oasis/OASISFileSystem.ml" 134 4286 4296 "src/oasis/OASISFileSystem.ml" 134 4286 4299
type(
  in_channel
)
ident(
  def chn "src/oasis/OASISFileSystem.ml" 135 4351 4357 "src/oasis/OASISFileSystem.ml" 148 4740 4749
)
"src/oasis/OASISFileSystem.ml" 134 4286 4302 "src/oasis/OASISFileSystem.ml" 134 4286 4313
type(
  open_flag list -> int -> string -> in_channel
)
ident(
  int_ref Stdlib.open_in_gen "stdlib.mli" 1093 40648 40648 "stdlib.mli" 1093 40648 40711
)
"src/oasis/OASISFileSystem.ml" 134 4286 4314 "src/oasis/OASISFileSystem.ml" 134 4286 4318
type(
  open_flag list
)
ident(
  int_ref mode "src/oasis/OASISFileSystem.ml" 130 4076 4097 "src/oasis/OASISFileSystem.ml" 130 4076 4101
)
"src/oasis/OASISFileSystem.ml" 134 4286 4319 "src/oasis/OASISFileSystem.ml" 134 4286 4323
type(
  int
)
ident(
  int_ref perm "src/oasis/OASISFileSystem.ml" 130 4076 4118 "src/oasis/OASISFileSystem.ml" 130 4076 4122
)
"src/oasis/OASISFileSystem.ml" 134 4286 4325 "src/oasis/OASISFileSystem.ml" 134 4286 4329
type(
  'a
)
ident(
  ext_ref self-1
)
"src/oasis/OASISFileSystem.ml" 134 4286 4325 "src/oasis/OASISFileSystem.ml" 134 4286 4343
type(
  string -> string
)
"src/oasis/OASISFileSystem.ml" 134 4286 4344 "src/oasis/OASISFileSystem.ml" 134 4286 4346
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 130 4076 4130 "src/oasis/OASISFileSystem.ml" 130 4076 4132
)
"src/oasis/OASISFileSystem.ml" 134 4286 4324 "src/oasis/OASISFileSystem.ml" 134 4286 4347
type(
  string
)
"src/oasis/OASISFileSystem.ml" 134 4286 4302 "src/oasis/OASISFileSystem.ml" 134 4286 4347
type(
  in_channel
)
"src/oasis/OASISFileSystem.ml" 135 4351 4361 "src/oasis/OASISFileSystem.ml" 135 4351 4365
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISFileSystem.ml" 136 4393 4399 "src/oasis/OASISFileSystem.ml" 148 4740 4749
)
"src/oasis/OASISFileSystem.ml" 135 4351 4368 "src/oasis/OASISFileSystem.ml" 135 4351 4385
type(
  in_channel -> char Stream.t
)
ident(
  int_ref Stdlib.Stream.of_channel "stream.mli" 55 2316 2316 "stream.mli" 55 2316 2353
)
"src/oasis/OASISFileSystem.ml" 135 4351 4386 "src/oasis/OASISFileSystem.ml" 135 4351 4389
type(
  in_channel
)
ident(
  int_ref chn "src/oasis/OASISFileSystem.ml" 134 4286 4296 "src/oasis/OASISFileSystem.ml" 134 4286 4299
)
"src/oasis/OASISFileSystem.ml" 135 4351 4368 "src/oasis/OASISFileSystem.ml" 135 4351 4389
type(
  char Stream.t
)
"src/oasis/OASISFileSystem.ml" 137 4406 4429 "src/oasis/OASISFileSystem.ml" 137 4406 4437
type(
  in_channel -> unit
)
ident(
  int_ref Stdlib.close_in "stdlib.mli" 1183 44905 44905 "stdlib.mli" 1183 44905 44938
)
"src/oasis/OASISFileSystem.ml" 137 4406 4438 "src/oasis/OASISFileSystem.ml" 137 4406 4441
type(
  in_channel
)
ident(
  int_ref chn "src/oasis/OASISFileSystem.ml" 134 4286 4296 "src/oasis/OASISFileSystem.ml" 134 4286 4299
)
"src/oasis/OASISFileSystem.ml" 137 4406 4429 "src/oasis/OASISFileSystem.ml" 137 4406 4441
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 138 4442 4463 "src/oasis/OASISFileSystem.ml" 138 4442 4466
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISFileSystem.ml" 138 4442 4467 "src/oasis/OASISFileSystem.ml" 147 4708 4739
)
"src/oasis/OASISFileSystem.ml" 138 4442 4467 "src/oasis/OASISFileSystem.ml" 138 4442 4470
type(
  int
)
ident(
  def len "src/oasis/OASISFileSystem.ml" 139 4473 4483 "src/oasis/OASISFileSystem.ml" 147 4708 4739
)
"src/oasis/OASISFileSystem.ml" 139 4473 4487 "src/oasis/OASISFileSystem.ml" 139 4473 4491
type(
  int ref
)
ident(
  def read "src/oasis/OASISFileSystem.ml" 140 4503 4513 "src/oasis/OASISFileSystem.ml" 147 4708 4739
)
"src/oasis/OASISFileSystem.ml" 139 4473 4494 "src/oasis/OASISFileSystem.ml" 139 4473 4497
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISFileSystem.ml" 139 4473 4498 "src/oasis/OASISFileSystem.ml" 139 4473 4499
type(
  int
)
"src/oasis/OASISFileSystem.ml" 139 4473 4494 "src/oasis/OASISFileSystem.ml" 139 4473 4499
type(
  int ref
)
"src/oasis/OASISFileSystem.ml" 141 4517 4538 "src/oasis/OASISFileSystem.ml" 141 4517 4539
type(
  int
)
"src/oasis/OASISFileSystem.ml" 141 4517 4543 "src/oasis/OASISFileSystem.ml" 141 4517 4546
type(
  int
)
ident(
  int_ref len "src/oasis/OASISFileSystem.ml" 138 4442 4467 "src/oasis/OASISFileSystem.ml" 138 4442 4470
)
"src/oasis/OASISFileSystem.ml" 142 4550 4564 "src/oasis/OASISFileSystem.ml" 142 4550 4579
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISFileSystem.ml" 142 4550 4580 "src/oasis/OASISFileSystem.ml" 142 4550 4583
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISFileSystem.ml" 138 4442 4463 "src/oasis/OASISFileSystem.ml" 138 4442 4466
)
"src/oasis/OASISFileSystem.ml" 142 4550 4585 "src/oasis/OASISFileSystem.ml" 142 4550 4596
type(
  char Stream.t -> char
)
ident(
  int_ref Stdlib.Stream.next "stream.mli" 68 2649 2649 "stream.mli" 68 2649 2670
)
"src/oasis/OASISFileSystem.ml" 142 4550 4597 "src/oasis/OASISFileSystem.ml" 142 4550 4601
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISFileSystem.ml" 135 4351 4361 "src/oasis/OASISFileSystem.ml" 135 4351 4365
)
"src/oasis/OASISFileSystem.ml" 142 4550 4584 "src/oasis/OASISFileSystem.ml" 142 4550 4602
type(
  char
)
"src/oasis/OASISFileSystem.ml" 142 4550 4564 "src/oasis/OASISFileSystem.ml" 142 4550 4602
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 143 4604 4618 "src/oasis/OASISFileSystem.ml" 143 4604 4622
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISFileSystem.ml" 143 4604 4623 "src/oasis/OASISFileSystem.ml" 143 4604 4627
type(
  int ref
)
ident(
  int_ref read "src/oasis/OASISFileSystem.ml" 139 4473 4487 "src/oasis/OASISFileSystem.ml" 139 4473 4491
)
"src/oasis/OASISFileSystem.ml" 143 4604 4618 "src/oasis/OASISFileSystem.ml" 143 4604 4627
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 142 4550 4564 "src/oasis/OASISFileSystem.ml" 143 4604 4627
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 141 4517 4529 "src/oasis/OASISFileSystem.ml" 144 4628 4644
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 145 4645 4660 "src/oasis/OASISFileSystem.ml" 145 4645 4674
type(
  exn
)
"src/oasis/OASISFileSystem.ml" 146 4678 4693 "src/oasis/OASISFileSystem.ml" 146 4678 4694
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISFileSystem.ml" 146 4678 4694 "src/oasis/OASISFileSystem.ml" 146 4678 4698
type(
  int ref
)
ident(
  int_ref read "src/oasis/OASISFileSystem.ml" 139 4473 4487 "src/oasis/OASISFileSystem.ml" 139 4473 4491
)
"src/oasis/OASISFileSystem.ml" 146 4678 4693 "src/oasis/OASISFileSystem.ml" 146 4678 4698
type(
  int
)
"src/oasis/OASISFileSystem.ml" 146 4678 4699 "src/oasis/OASISFileSystem.ml" 146 4678 4700
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileSystem.ml" 146 4678 4701 "src/oasis/OASISFileSystem.ml" 146 4678 4702
type(
  int
)
"src/oasis/OASISFileSystem.ml" 146 4678 4693 "src/oasis/OASISFileSystem.ml" 146 4678 4702
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 147 4708 4722 "src/oasis/OASISFileSystem.ml" 147 4708 4727
type(
  exn -> unit
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISFileSystem.ml" 147 4708 4728 "src/oasis/OASISFileSystem.ml" 147 4708 4739
type(
  exn
)
"src/oasis/OASISFileSystem.ml" 147 4708 4722 "src/oasis/OASISFileSystem.ml" 147 4708 4739
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 146 4678 4690 "src/oasis/OASISFileSystem.ml" 147 4708 4739
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 140 4503 4513 "src/oasis/OASISFileSystem.ml" 147 4708 4739
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 139 4473 4483 "src/oasis/OASISFileSystem.ml" 147 4708 4739
type(
  unit
)
"src/oasis/OASISFileSystem.ml" 136 4393 4399 "src/oasis/OASISFileSystem.ml" 148 4740 4749
type(
  < close : unit; input : Buffer.t -> int -> unit >
)
"src/oasis/OASISFileSystem.ml" 135 4351 4357 "src/oasis/OASISFileSystem.ml" 148 4740 4749
type(
  < close : unit; input : Buffer.t -> int -> unit >
)
"src/oasis/OASISFileSystem.ml" 134 4286 4292 "src/oasis/OASISFileSystem.ml" 148 4740 4749
type(
  < close : unit; input : Buffer.t -> int -> unit >
)
"src/oasis/OASISFileSystem.ml" 150 4751 4774 "src/oasis/OASISFileSystem.ml" 150 4751 4776
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 150 4751 4779 "src/oasis/OASISFileSystem.ml" 150 4751 4818
)
"src/oasis/OASISFileSystem.ml" 150 4751 4779 "src/oasis/OASISFileSystem.ml" 150 4751 4794
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.file_exists "sys.mli" 35 1767 1767 "sys.mli" 35 1767 1829
)
"src/oasis/OASISFileSystem.ml" 150 4751 4796 "src/oasis/OASISFileSystem.ml" 150 4751 4800
type(
  'a
)
ident(
  ext_ref self-1
)
"src/oasis/OASISFileSystem.ml" 150 4751 4796 "src/oasis/OASISFileSystem.ml" 150 4751 4814
type(
  string -> string
)
"src/oasis/OASISFileSystem.ml" 150 4751 4815 "src/oasis/OASISFileSystem.ml" 150 4751 4817
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 150 4751 4774 "src/oasis/OASISFileSystem.ml" 150 4751 4776
)
"src/oasis/OASISFileSystem.ml" 150 4751 4795 "src/oasis/OASISFileSystem.ml" 150 4751 4818
type(
  string
)
"src/oasis/OASISFileSystem.ml" 150 4751 4779 "src/oasis/OASISFileSystem.ml" 150 4751 4818
type(
  bool
)
"src/oasis/OASISFileSystem.ml" 151 4819 4837 "src/oasis/OASISFileSystem.ml" 151 4819 4839
type(
  string
)
ident(
  def fn "src/oasis/OASISFileSystem.ml" 151 4819 4842 "src/oasis/OASISFileSystem.ml" 151 4819 4876
)
"src/oasis/OASISFileSystem.ml" 151 4819 4842 "src/oasis/OASISFileSystem.ml" 151 4819 4852
type(
  string -> unit
)
ident(
  int_ref Stdlib.Sys.remove "sys.mli" 45 2138 2138 "sys.mli" 45 2138 2190
)
"src/oasis/OASISFileSystem.ml" 151 4819 4854 "src/oasis/OASISFileSystem.ml" 151 4819 4858
type(
  'a
)
ident(
  ext_ref self-1
)
"src/oasis/OASISFileSystem.ml" 151 4819 4854 "src/oasis/OASISFileSystem.ml" 151 4819 4872
type(
  string -> string
)
"src/oasis/OASISFileSystem.ml" 151 4819 4873 "src/oasis/OASISFileSystem.ml" 151 4819 4875
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileSystem.ml" 151 4819 4837 "src/oasis/OASISFileSystem.ml" 151 4819 4839
)
"src/oasis/OASISFileSystem.ml" 151 4819 4853 "src/oasis/OASISFileSystem.ml" 151 4819 4876
type(
  string
)
"src/oasis/OASISFileSystem.ml" 151 4819 4842 "src/oasis/OASISFileSystem.ml" 151 4819 4876
type(
  unit
)
