"src/oasis/OASISSchema.ml" 29 1788 1792 "src/oasis/OASISSchema.ml" 29 1788 1807
type(
  'a * string * 'b -> string -> string
)
ident(
  def make_field_name "src/oasis/OASISSchema.ml" 35 1908 1908 "src/oasis/OASISSchema.ml" 0 0 -1
)
"src/oasis/OASISSchema.ml" 29 1788 1809 "src/oasis/OASISSchema.ml" 29 1788 1810
type(
  'a
)
"src/oasis/OASISSchema.ml" 29 1788 1812 "src/oasis/OASISSchema.ml" 29 1788 1815
type(
  string
)
ident(
  def nm' "src/oasis/OASISSchema.ml" 29 1788 1820 "src/oasis/OASISSchema.ml" 30 1825 1837
)
"src/oasis/OASISSchema.ml" 29 1788 1817 "src/oasis/OASISSchema.ml" 29 1788 1818
type(
  'b
)
"src/oasis/OASISSchema.ml" 29 1788 1808 "src/oasis/OASISSchema.ml" 29 1788 1819
type(
  'a * string * 'b
)
"src/oasis/OASISSchema.ml" 29 1788 1820 "src/oasis/OASISSchema.ml" 29 1788 1822
type(
  string
)
ident(
  def nm "src/oasis/OASISSchema.ml" 30 1825 1827 "src/oasis/OASISSchema.ml" 30 1825 1837
)
"src/oasis/OASISSchema.ml" 30 1825 1827 "src/oasis/OASISSchema.ml" 30 1825 1830
type(
  string
)
"src/oasis/OASISSchema.ml" 30 1825 1830 "src/oasis/OASISSchema.ml" 30 1825 1831
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISSchema.ml" 30 1825 1831 "src/oasis/OASISSchema.ml" 30 1825 1834
type(
  string
)
ident(
  int_ref nm' "src/oasis/OASISSchema.ml" 29 1788 1812 "src/oasis/OASISSchema.ml" 29 1788 1815
)
"src/oasis/OASISSchema.ml" 30 1825 1834 "src/oasis/OASISSchema.ml" 30 1825 1835
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISSchema.ml" 30 1825 1835 "src/oasis/OASISSchema.ml" 30 1825 1837
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 29 1788 1820 "src/oasis/OASISSchema.ml" 29 1788 1822
)
"src/oasis/OASISSchema.ml" 30 1825 1831 "src/oasis/OASISSchema.ml" 30 1825 1837
type(
  string
)
"src/oasis/OASISSchema.ml" 30 1825 1827 "src/oasis/OASISSchema.ml" 30 1825 1837
type(
  string
)
"src/oasis/OASISSchema.ml" 35 1908 1912 "src/oasis/OASISSchema.ml" 35 1908 1922
type(
  'a OASISSchema_intern.t ->
  'b * string * 'c ->
  string ->
  'd * (OASISTypes.plugin_data ref -> 'e) -> ('a -> 'e -> 'f) -> 'a -> 'f
)
ident(
  def sync_proxy "src/oasis/OASISSchema.ml" 51 2324 2324 "src/oasis/OASISSchema.ml" 0 0 -1
)
"src/oasis/OASISSchema.ml" 35 1908 1923 "src/oasis/OASISSchema.ml" 35 1908 1929
type(
  'a OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISSchema.ml" 35 1908 1930 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 35 1908 1930 "src/oasis/OASISSchema.ml" 35 1908 1931
type(
  'b * string * 'c
)
ident(
  def t "src/oasis/OASISSchema.ml" 35 1908 1932 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 35 1908 1932 "src/oasis/OASISSchema.ml" 35 1908 1934
type(
  string
)
ident(
  def nm "src/oasis/OASISSchema.ml" 35 1908 1935 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 35 1908 1936 "src/oasis/OASISSchema.ml" 35 1908 1937
type(
  'd
)
"src/oasis/OASISSchema.ml" 35 1908 1939 "src/oasis/OASISSchema.ml" 35 1908 1942
type(
  OASISTypes.plugin_data ref -> 'e
)
ident(
  def get "src/oasis/OASISSchema.ml" 35 1908 1944 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 35 1908 1935 "src/oasis/OASISSchema.ml" 35 1908 1943
type(
  'd * (OASISTypes.plugin_data ref -> 'e)
)
"src/oasis/OASISSchema.ml" 35 1908 1944 "src/oasis/OASISSchema.ml" 35 1908 1948
type(
  'a -> 'e -> 'f
)
ident(
  def sync "src/oasis/OASISSchema.ml" 35 1908 1949 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 35 1908 1949 "src/oasis/OASISSchema.ml" 35 1908 1951
type(
  'a
)
ident(
  def ds "src/oasis/OASISSchema.ml" 36 1954 1956 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 37 1960 1968 "src/oasis/OASISSchema.ml" 37 1960 1970
type(
  'e
)
ident(
  def t' "src/oasis/OASISSchema.ml" 41 2085 2089 "src/oasis/OASISSchema.ml" 41 2085 2099
)
"src/oasis/OASISSchema.ml" 39 2024 2030 "src/oasis/OASISSchema.ml" 39 2024 2033
type(
  OASISTypes.plugin_data ref -> 'e
)
ident(
  int_ref get "src/oasis/OASISSchema.ml" 35 1908 1939 "src/oasis/OASISSchema.ml" 35 1908 1942
)
"src/oasis/OASISSchema.ml" 39 2024 2035 "src/oasis/OASISSchema.ml" 39 2024 2038
type(
  OASISTypes.plugin_data -> OASISTypes.plugin_data ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISSchema.ml" 39 2024 2040 "src/oasis/OASISSchema.ml" 39 2024 2046
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 35 1908 1923 "src/oasis/OASISSchema.ml" 35 1908 1929
)
"src/oasis/OASISSchema.ml" 39 2024 2040 "src/oasis/OASISSchema.ml" 39 2024 2072
type(
  'a -> OASISTypes.plugin_data
)
"src/oasis/OASISSchema.ml" 39 2024 2073 "src/oasis/OASISSchema.ml" 39 2024 2075
type(
  'a
)
ident(
  int_ref ds "src/oasis/OASISSchema.ml" 35 1908 1949 "src/oasis/OASISSchema.ml" 35 1908 1951
)
"src/oasis/OASISSchema.ml" 39 2024 2039 "src/oasis/OASISSchema.ml" 39 2024 2076
type(
  OASISTypes.plugin_data
)
"src/oasis/OASISSchema.ml" 39 2024 2034 "src/oasis/OASISSchema.ml" 39 2024 2077
type(
  OASISTypes.plugin_data ref
)
"src/oasis/OASISSchema.ml" 39 2024 2030 "src/oasis/OASISSchema.ml" 39 2024 2077
type(
  'e
)
"src/oasis/OASISSchema.ml" 41 2085 2089 "src/oasis/OASISSchema.ml" 41 2085 2093
type(
  'a -> 'e -> 'f
)
ident(
  int_ref sync "src/oasis/OASISSchema.ml" 35 1908 1944 "src/oasis/OASISSchema.ml" 35 1908 1948
)
"src/oasis/OASISSchema.ml" 41 2085 2094 "src/oasis/OASISSchema.ml" 41 2085 2096
type(
  'a
)
ident(
  int_ref ds "src/oasis/OASISSchema.ml" 35 1908 1949 "src/oasis/OASISSchema.ml" 35 1908 1951
)
"src/oasis/OASISSchema.ml" 41 2085 2097 "src/oasis/OASISSchema.ml" 41 2085 2099
type(
  'e
)
ident(
  int_ref t' "src/oasis/OASISSchema.ml" 37 1960 1968 "src/oasis/OASISSchema.ml" 37 1960 1970
)
"src/oasis/OASISSchema.ml" 41 2085 2089 "src/oasis/OASISSchema.ml" 41 2085 2099
type(
  'f
)
"src/oasis/OASISSchema.ml" 37 1960 1964 "src/oasis/OASISSchema.ml" 41 2085 2099
type(
  'f
)
"src/oasis/OASISSchema.ml" 42 2100 2107 "src/oasis/OASISSchema.ml" 42 2100 2108
type(
  exn
)
ident(
  def e "src/oasis/OASISSchema.ml" 43 2112 2116 "src/oasis/OASISSchema.ml" 48 2286 2321
)
"src/oasis/OASISSchema.ml" 43 2112 2116 "src/oasis/OASISSchema.ml" 43 2112 2130
type(
  (string -> PropList.name -> string -> unit, out_channel, unit) format ->
  string -> PropList.name -> string -> unit
)
ident(
  int_ref Stdlib.Printf.eprintf "printf.mli" 132 6998 6998 "printf.mli" 132 6998 7048
)
"src/oasis/OASISSchema.ml" 44 2131 2137 "src/oasis/OASISSchema.ml" 44 2131 2166
type(
  (string -> PropList.name -> string -> unit, out_channel, unit) format
)
"src/oasis/OASISSchema.ml" 45 2167 2174 "src/oasis/OASISSchema.ml" 45 2167 2189
type(
  'b * string * 'c -> string -> string
)
ident(
  int_ref make_field_name "src/oasis/OASISSchema.ml" 29 1788 1792 "src/oasis/OASISSchema.ml" 29 1788 1807
)
"src/oasis/OASISSchema.ml" 45 2167 2190 "src/oasis/OASISSchema.ml" 45 2167 2191
type(
  'b * string * 'c
)
ident(
  int_ref t "src/oasis/OASISSchema.ml" 35 1908 1930 "src/oasis/OASISSchema.ml" 35 1908 1931
)
"src/oasis/OASISSchema.ml" 45 2167 2192 "src/oasis/OASISSchema.ml" 45 2167 2194
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 35 1908 1932 "src/oasis/OASISSchema.ml" 35 1908 1934
)
"src/oasis/OASISSchema.ml" 45 2167 2173 "src/oasis/OASISSchema.ml" 45 2167 2195
type(
  string
)
"src/oasis/OASISSchema.ml" 46 2196 2203 "src/oasis/OASISSchema.ml" 46 2196 2223
type(
  (OASISAst_types.ctxt, OASISSchema_intern.extra) PropList.Schema.t ->
  PropList.name
)
ident(
  int_ref PropList.Schema.name "src/oasis/PropList.mli" 114 3736 3738 "src/oasis/PropList.mli" 114 3736 3766
)
"src/oasis/OASISSchema.ml" 46 2196 2224 "src/oasis/OASISSchema.ml" 46 2196 2230
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 35 1908 1923 "src/oasis/OASISSchema.ml" 35 1908 1929
)
"src/oasis/OASISSchema.ml" 46 2196 2224 "src/oasis/OASISSchema.ml" 46 2196 2254
type(
  (OASISAst_types.ctxt, OASISSchema_intern.extra) PropList.Schema.t
)
"src/oasis/OASISSchema.ml" 46 2196 2202 "src/oasis/OASISSchema.ml" 46 2196 2255
type(
  PropList.name
)
"src/oasis/OASISSchema.ml" 47 2256 2263 "src/oasis/OASISSchema.ml" 47 2256 2281
type(
  exn -> string
)
ident(
  int_ref Stdlib.Printexc.to_string "printexc.mli" 21 1213 1213 "printexc.mli" 21 1213 1241
)
"src/oasis/OASISSchema.ml" 47 2256 2282 "src/oasis/OASISSchema.ml" 47 2256 2283
type(
  exn
)
ident(
  int_ref e "src/oasis/OASISSchema.ml" 42 2100 2107 "src/oasis/OASISSchema.ml" 42 2100 2108
)
"src/oasis/OASISSchema.ml" 47 2256 2262 "src/oasis/OASISSchema.ml" 47 2256 2284
type(
  string
)
"src/oasis/OASISSchema.ml" 43 2112 2116 "src/oasis/OASISSchema.ml" 47 2256 2284
type(
  unit
)
"src/oasis/OASISSchema.ml" 48 2286 2290 "src/oasis/OASISSchema.ml" 48 2286 2295
type(
  exn -> 'f
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISSchema.ml" 48 2286 2296 "src/oasis/OASISSchema.ml" 48 2286 2321
type(
  exn
)
"src/oasis/OASISSchema.ml" 48 2286 2290 "src/oasis/OASISSchema.ml" 48 2286 2321
type(
  'f
)
"src/oasis/OASISSchema.ml" 43 2112 2116 "src/oasis/OASISSchema.ml" 48 2286 2321
type(
  'f
)
"src/oasis/OASISSchema.ml" 36 1954 1956 "src/oasis/OASISSchema.ml" 48 2286 2321
type(
  'f
)
"src/oasis/OASISSchema.ml" 51 2324 2328 "src/oasis/OASISSchema.ml" 51 2324 2337
type(
  'a OASISSchema_intern.t ->
  OASISTypes.plugin_kind OASISPlugin.t ->
  string ->
  ?default:'b ->
  ?feature:OASISFeatures.t ->
  'b OASISValues.t ->
  (unit -> string) ->
  'c * (OASISTypes.plugin_data ref -> 'd) ->
  ('a -> 'd -> 'b) -> PropList.Data.t -> 'b
)
ident(
  def new_field "src/oasis/OASISSchema.ml" 64 2620 2620 "src/oasis/OASISSchema.ml" 0 0 -1
)
"src/oasis/OASISSchema.ml" 51 2324 2338 "src/oasis/OASISSchema.ml" 51 2324 2344
type(
  'a OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISSchema.ml" 51 2324 2345 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2345 "src/oasis/OASISSchema.ml" 51 2324 2346
type(
  OASISTypes.plugin_kind OASISPlugin.t
)
ident(
  def t "src/oasis/OASISSchema.ml" 51 2324 2347 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2347 "src/oasis/OASISSchema.ml" 51 2324 2349
type(
  string
)
ident(
  def nm "src/oasis/OASISSchema.ml" 51 2324 2350 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2351 "src/oasis/OASISSchema.ml" 51 2324 2358
type(
  'b option
)
ident(
  def default "src/oasis/OASISSchema.ml" 51 2324 2359 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2360 "src/oasis/OASISSchema.ml" 51 2324 2367
type(
  OASISFeatures.t option
)
ident(
  def feature "src/oasis/OASISSchema.ml" 51 2324 2368 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2368 "src/oasis/OASISSchema.ml" 51 2324 2373
type(
  'b OASISValues.t
)
ident(
  def parse "src/oasis/OASISSchema.ml" 51 2324 2374 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2374 "src/oasis/OASISSchema.ml" 51 2324 2377
type(
  unit -> string
)
ident(
  def hlp "src/oasis/OASISSchema.ml" 51 2324 2378 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2378 "src/oasis/OASISSchema.ml" 51 2324 2388
type(
  'c * (OASISTypes.plugin_data ref -> 'd)
)
ident(
  def pivot_data "src/oasis/OASISSchema.ml" 51 2324 2389 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 51 2324 2389 "src/oasis/OASISSchema.ml" 51 2324 2393
type(
  'a -> 'd -> 'b
)
ident(
  def sync "src/oasis/OASISSchema.ml" 52 2396 2398 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 52 2396 2402 "src/oasis/OASISSchema.ml" 52 2396 2408
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  def plugin "src/oasis/OASISSchema.ml" 53 2438 2440 "src/oasis/OASISSchema.ml" 61 2568 2617
)
"src/oasis/OASISSchema.ml" 52 2396 2411 "src/oasis/OASISSchema.ml" 52 2396 2432
type(
  OASISTypes.plugin_kind OASISPlugin.t ->
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref OASISPlugin.to_plugin "src/oasis/OASISPlugin.mli" 198 5613 5613 "src/oasis/OASISPlugin.mli" 198 5613 5645
)
"src/oasis/OASISSchema.ml" 52 2396 2433 "src/oasis/OASISSchema.ml" 52 2396 2434
type(
  OASISTypes.plugin_kind OASISPlugin.t
)
ident(
  int_ref t "src/oasis/OASISSchema.ml" 51 2324 2345 "src/oasis/OASISSchema.ml" 51 2324 2346
)
"src/oasis/OASISSchema.ml" 52 2396 2411 "src/oasis/OASISSchema.ml" 52 2396 2434
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISSchema.ml" 53 2438 2440 "src/oasis/OASISSchema.ml" 53 2438 2468
type(
  'a OASISSchema_intern.t ->
  PropList.name ->
  ?plugin:OASISTypes.plugin_kind OASISTypes.plugin ->
  ?default:'b ->
  ?quickstart_level:'b OASISTypes.quickstart_level ->
  ?quickstart_question:(unit -> 'b OASISTypes.quickstart_question) ->
  ?feature:OASISFeatures.t ->
  'b OASISValues.t -> (unit -> string) -> ('a -> 'b) -> PropList.Data.t -> 'b
)
ident(
  int_ref OASISSchema_intern.new_field "src/oasis/OASISSchema_intern.ml" 323 8177 8181 "src/oasis/OASISSchema_intern.ml" 323 8177 8190
)
"src/oasis/OASISSchema.ml" 54 2469 2473 "src/oasis/OASISSchema.ml" 54 2469 2479
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 51 2324 2338 "src/oasis/OASISSchema.ml" 51 2324 2344
)
"src/oasis/OASISSchema.ml" 55 2480 2485 "src/oasis/OASISSchema.ml" 55 2480 2500
type(
  OASISTypes.plugin_kind OASISTypes.plugin -> string -> PropList.name
)
ident(
  int_ref make_field_name "src/oasis/OASISSchema.ml" 29 1788 1792 "src/oasis/OASISSchema.ml" 29 1788 1807
)
"src/oasis/OASISSchema.ml" 55 2480 2501 "src/oasis/OASISSchema.ml" 55 2480 2507
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 52 2396 2402 "src/oasis/OASISSchema.ml" 52 2396 2408
)
"src/oasis/OASISSchema.ml" 55 2480 2508 "src/oasis/OASISSchema.ml" 55 2480 2510
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 51 2324 2347 "src/oasis/OASISSchema.ml" 51 2324 2349
)
"src/oasis/OASISSchema.ml" 55 2480 2484 "src/oasis/OASISSchema.ml" 55 2480 2511
type(
  PropList.name
)
"src/oasis/OASISSchema.ml" 56 2512 2517 "src/oasis/OASISSchema.ml" 56 2512 2524
type(
  'b option
)
ident(
  int_ref default "src/oasis/OASISSchema.ml" 51 2324 2351 "src/oasis/OASISSchema.ml" 51 2324 2358
)
"src/oasis/OASISSchema.ml" 57 2525 2530 "src/oasis/OASISSchema.ml" 57 2525 2537
type(
  OASISFeatures.t option
)
ident(
  int_ref feature "src/oasis/OASISSchema.ml" 51 2324 2360 "src/oasis/OASISSchema.ml" 51 2324 2367
)
"src/oasis/OASISSchema.ml" 58 2538 2543 "src/oasis/OASISSchema.ml" 58 2538 2549
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 52 2396 2402 "src/oasis/OASISSchema.ml" 52 2396 2408
)
type(
  OASISTypes.plugin_kind OASISTypes.plugin option
)
"src/oasis/OASISSchema.ml" 59 2550 2554 "src/oasis/OASISSchema.ml" 59 2550 2559
type(
  'b OASISValues.t
)
ident(
  int_ref parse "src/oasis/OASISSchema.ml" 51 2324 2368 "src/oasis/OASISSchema.ml" 51 2324 2373
)
"src/oasis/OASISSchema.ml" 60 2560 2564 "src/oasis/OASISSchema.ml" 60 2560 2567
type(
  unit -> string
)
ident(
  int_ref hlp "src/oasis/OASISSchema.ml" 51 2324 2374 "src/oasis/OASISSchema.ml" 51 2324 2377
)
"src/oasis/OASISSchema.ml" 61 2568 2573 "src/oasis/OASISSchema.ml" 61 2568 2583
type(
  'a OASISSchema_intern.t ->
  OASISTypes.plugin_kind OASISTypes.plugin ->
  string ->
  'c * (OASISTypes.plugin_data ref -> 'd) -> ('a -> 'd -> 'b) -> 'a -> 'b
)
ident(
  int_ref sync_proxy "src/oasis/OASISSchema.ml" 35 1908 1912 "src/oasis/OASISSchema.ml" 35 1908 1922
)
"src/oasis/OASISSchema.ml" 61 2568 2584 "src/oasis/OASISSchema.ml" 61 2568 2590
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 51 2324 2338 "src/oasis/OASISSchema.ml" 51 2324 2344
)
"src/oasis/OASISSchema.ml" 61 2568 2591 "src/oasis/OASISSchema.ml" 61 2568 2597
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 52 2396 2402 "src/oasis/OASISSchema.ml" 52 2396 2408
)
"src/oasis/OASISSchema.ml" 61 2568 2598 "src/oasis/OASISSchema.ml" 61 2568 2600
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 51 2324 2347 "src/oasis/OASISSchema.ml" 51 2324 2349
)
"src/oasis/OASISSchema.ml" 61 2568 2601 "src/oasis/OASISSchema.ml" 61 2568 2611
type(
  'c * (OASISTypes.plugin_data ref -> 'd)
)
ident(
  int_ref pivot_data "src/oasis/OASISSchema.ml" 51 2324 2378 "src/oasis/OASISSchema.ml" 51 2324 2388
)
"src/oasis/OASISSchema.ml" 61 2568 2612 "src/oasis/OASISSchema.ml" 61 2568 2616
type(
  'a -> 'd -> 'b
)
ident(
  int_ref sync "src/oasis/OASISSchema.ml" 51 2324 2389 "src/oasis/OASISSchema.ml" 51 2324 2393
)
"src/oasis/OASISSchema.ml" 61 2568 2572 "src/oasis/OASISSchema.ml" 61 2568 2617
type(
  'a -> 'b
)
"src/oasis/OASISSchema.ml" 53 2438 2440 "src/oasis/OASISSchema.ml" 61 2568 2617
type(
  PropList.Data.t -> 'b
)
"src/oasis/OASISSchema.ml" 52 2396 2398 "src/oasis/OASISSchema.ml" 61 2568 2617
type(
  PropList.Data.t -> 'b
)
"src/oasis/OASISSchema.ml" 64 2620 2624 "src/oasis/OASISSchema.ml" 64 2620 2645
type(
  'a OASISSchema_intern.t ->
  OASISTypes.plugin_kind OASISPlugin.t ->
  string ->
  ?default_cond:'b OASISExpr.choices ->
  ?default:'b ->
  ?feature:OASISFeatures.t ->
  'b OASISValues.t ->
  (unit -> string) ->
  'c * (OASISTypes.plugin_data ref -> 'd) ->
  ('a -> 'd -> (OASISExpr.t * 'b) list) ->
  PropList.Data.t -> 'b OASISExpr.choices
)
ident(
  def new_field_conditional "src/oasis/OASISSchema.ml" 85 2960 3009 "src/oasis/OASISSchema.ml" 0 0 -1
)
"src/oasis/OASISSchema.ml" 65 2646 2650 "src/oasis/OASISSchema.ml" 65 2646 2656
type(
  'a OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISSchema.ml" 66 2657 2661 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 66 2657 2661 "src/oasis/OASISSchema.ml" 66 2657 2662
type(
  OASISTypes.plugin_kind OASISPlugin.t
)
ident(
  def t "src/oasis/OASISSchema.ml" 67 2663 2667 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 67 2663 2667 "src/oasis/OASISSchema.ml" 67 2663 2669
type(
  string
)
ident(
  def nm "src/oasis/OASISSchema.ml" 68 2670 2674 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 68 2670 2675 "src/oasis/OASISSchema.ml" 68 2670 2687
type(
  'b OASISExpr.choices option
)
ident(
  def default_cond "src/oasis/OASISSchema.ml" 69 2688 2692 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 69 2688 2693 "src/oasis/OASISSchema.ml" 69 2688 2700
type(
  'b option
)
ident(
  def default "src/oasis/OASISSchema.ml" 70 2701 2705 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 70 2701 2706 "src/oasis/OASISSchema.ml" 70 2701 2713
type(
  OASISFeatures.t option
)
ident(
  def feature "src/oasis/OASISSchema.ml" 71 2714 2718 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 71 2714 2718 "src/oasis/OASISSchema.ml" 71 2714 2723
type(
  'b OASISValues.t
)
ident(
  def parse "src/oasis/OASISSchema.ml" 72 2724 2728 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 72 2724 2728 "src/oasis/OASISSchema.ml" 72 2724 2731
type(
  unit -> string
)
ident(
  def hlp "src/oasis/OASISSchema.ml" 73 2732 2736 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 73 2732 2736 "src/oasis/OASISSchema.ml" 73 2732 2746
type(
  'c * (OASISTypes.plugin_data ref -> 'd)
)
ident(
  def pivot_data "src/oasis/OASISSchema.ml" 74 2747 2751 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 74 2747 2751 "src/oasis/OASISSchema.ml" 74 2747 2755
type(
  'a -> 'd -> (OASISExpr.t * 'b) list
)
ident(
  def sync "src/oasis/OASISSchema.ml" 75 2758 2760 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 75 2758 2764 "src/oasis/OASISSchema.ml" 75 2758 2770
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  def plugin "src/oasis/OASISSchema.ml" 76 2800 2802 "src/oasis/OASISSchema.ml" 85 2960 3009
)
"src/oasis/OASISSchema.ml" 75 2758 2773 "src/oasis/OASISSchema.ml" 75 2758 2794
type(
  OASISTypes.plugin_kind OASISPlugin.t ->
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref OASISPlugin.to_plugin "src/oasis/OASISPlugin.mli" 198 5613 5613 "src/oasis/OASISPlugin.mli" 198 5613 5645
)
"src/oasis/OASISSchema.ml" 75 2758 2795 "src/oasis/OASISSchema.ml" 75 2758 2796
type(
  OASISTypes.plugin_kind OASISPlugin.t
)
ident(
  int_ref t "src/oasis/OASISSchema.ml" 66 2657 2661 "src/oasis/OASISSchema.ml" 66 2657 2662
)
"src/oasis/OASISSchema.ml" 75 2758 2773 "src/oasis/OASISSchema.ml" 75 2758 2796
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISSchema.ml" 76 2800 2802 "src/oasis/OASISSchema.ml" 76 2800 2842
type(
  'a OASISSchema_intern.t ->
  PropList.name ->
  ?plugin:OASISTypes.plugin_kind OASISTypes.plugin ->
  ?default_cond:'b OASISExpr.choices ->
  ?default:'b ->
  ?quickstart_level:'b OASISTypes.quickstart_level ->
  ?quickstart_question:(unit -> 'b OASISTypes.quickstart_question) ->
  ?feature:OASISFeatures.t ->
  'b OASISValues.t ->
  (unit -> string) ->
  ('a -> (OASISExpr.t * 'b) list) -> PropList.Data.t -> 'b OASISExpr.choices
)
ident(
  int_ref OASISSchema_intern.new_field_conditional "src/oasis/OASISSchema_intern.ml" 172 4704 4708 "src/oasis/OASISSchema_intern.ml" 172 4704 4729
)
"src/oasis/OASISSchema.ml" 77 2843 2847 "src/oasis/OASISSchema.ml" 77 2843 2853
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 65 2646 2650 "src/oasis/OASISSchema.ml" 65 2646 2656
)
"src/oasis/OASISSchema.ml" 78 2854 2859 "src/oasis/OASISSchema.ml" 78 2854 2874
type(
  OASISTypes.plugin_kind OASISTypes.plugin -> string -> PropList.name
)
ident(
  int_ref make_field_name "src/oasis/OASISSchema.ml" 29 1788 1792 "src/oasis/OASISSchema.ml" 29 1788 1807
)
"src/oasis/OASISSchema.ml" 78 2854 2875 "src/oasis/OASISSchema.ml" 78 2854 2881
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 75 2758 2764 "src/oasis/OASISSchema.ml" 75 2758 2770
)
"src/oasis/OASISSchema.ml" 78 2854 2882 "src/oasis/OASISSchema.ml" 78 2854 2884
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 67 2663 2667 "src/oasis/OASISSchema.ml" 67 2663 2669
)
"src/oasis/OASISSchema.ml" 78 2854 2858 "src/oasis/OASISSchema.ml" 78 2854 2885
type(
  PropList.name
)
"src/oasis/OASISSchema.ml" 79 2886 2891 "src/oasis/OASISSchema.ml" 79 2886 2903
type(
  'b OASISExpr.choices option
)
ident(
  int_ref default_cond "src/oasis/OASISSchema.ml" 68 2670 2675 "src/oasis/OASISSchema.ml" 68 2670 2687
)
"src/oasis/OASISSchema.ml" 80 2904 2909 "src/oasis/OASISSchema.ml" 80 2904 2916
type(
  'b option
)
ident(
  int_ref default "src/oasis/OASISSchema.ml" 69 2688 2693 "src/oasis/OASISSchema.ml" 69 2688 2700
)
"src/oasis/OASISSchema.ml" 81 2917 2922 "src/oasis/OASISSchema.ml" 81 2917 2929
type(
  OASISFeatures.t option
)
ident(
  int_ref feature "src/oasis/OASISSchema.ml" 70 2701 2706 "src/oasis/OASISSchema.ml" 70 2701 2713
)
"src/oasis/OASISSchema.ml" 82 2930 2935 "src/oasis/OASISSchema.ml" 82 2930 2941
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 75 2758 2764 "src/oasis/OASISSchema.ml" 75 2758 2770
)
type(
  OASISTypes.plugin_kind OASISTypes.plugin option
)
"src/oasis/OASISSchema.ml" 83 2942 2946 "src/oasis/OASISSchema.ml" 83 2942 2951
type(
  'b OASISValues.t
)
ident(
  int_ref parse "src/oasis/OASISSchema.ml" 71 2714 2718 "src/oasis/OASISSchema.ml" 71 2714 2723
)
"src/oasis/OASISSchema.ml" 84 2952 2956 "src/oasis/OASISSchema.ml" 84 2952 2959
type(
  unit -> string
)
ident(
  int_ref hlp "src/oasis/OASISSchema.ml" 72 2724 2728 "src/oasis/OASISSchema.ml" 72 2724 2731
)
"src/oasis/OASISSchema.ml" 85 2960 2965 "src/oasis/OASISSchema.ml" 85 2960 2975
type(
  'a OASISSchema_intern.t ->
  OASISTypes.plugin_kind OASISTypes.plugin ->
  string ->
  'c * (OASISTypes.plugin_data ref -> 'd) ->
  ('a -> 'd -> (OASISExpr.t * 'b) list) -> 'a -> (OASISExpr.t * 'b) list
)
ident(
  int_ref sync_proxy "src/oasis/OASISSchema.ml" 35 1908 1912 "src/oasis/OASISSchema.ml" 35 1908 1922
)
"src/oasis/OASISSchema.ml" 85 2960 2976 "src/oasis/OASISSchema.ml" 85 2960 2982
type(
  'a OASISSchema_intern.t
)
ident(
  int_ref schema "src/oasis/OASISSchema.ml" 65 2646 2650 "src/oasis/OASISSchema.ml" 65 2646 2656
)
"src/oasis/OASISSchema.ml" 85 2960 2983 "src/oasis/OASISSchema.ml" 85 2960 2989
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/oasis/OASISSchema.ml" 75 2758 2764 "src/oasis/OASISSchema.ml" 75 2758 2770
)
"src/oasis/OASISSchema.ml" 85 2960 2990 "src/oasis/OASISSchema.ml" 85 2960 2992
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISSchema.ml" 67 2663 2667 "src/oasis/OASISSchema.ml" 67 2663 2669
)
"src/oasis/OASISSchema.ml" 85 2960 2993 "src/oasis/OASISSchema.ml" 85 2960 3003
type(
  'c * (OASISTypes.plugin_data ref -> 'd)
)
ident(
  int_ref pivot_data "src/oasis/OASISSchema.ml" 73 2732 2736 "src/oasis/OASISSchema.ml" 73 2732 2746
)
"src/oasis/OASISSchema.ml" 85 2960 3004 "src/oasis/OASISSchema.ml" 85 2960 3008
type(
  'a -> 'd -> (OASISExpr.t * 'b) list
)
ident(
  int_ref sync "src/oasis/OASISSchema.ml" 74 2747 2751 "src/oasis/OASISSchema.ml" 74 2747 2755
)
"src/oasis/OASISSchema.ml" 85 2960 2964 "src/oasis/OASISSchema.ml" 85 2960 3009
type(
  'a -> (OASISExpr.t * 'b) list
)
"src/oasis/OASISSchema.ml" 76 2800 2802 "src/oasis/OASISSchema.ml" 85 2960 3009
type(
  PropList.Data.t -> 'b OASISExpr.choices
)
"src/oasis/OASISSchema.ml" 75 2758 2760 "src/oasis/OASISSchema.ml" 85 2960 3009
type(
  PropList.Data.t -> 'b OASISExpr.choices
)
