"src/oasis/OASISTypes.ml" 301 8423 8427 "src/oasis/OASISTypes.ml" 301 8423 8446
type(
  string -> OASISDataNotation.t
)
ident(
  def odn_of_unix_dirname "src/oasis/OASISTypes.ml" 302 8477 8477 "src/oasis/OASISTypes.ml" 0 0 -1
)
"src/oasis/OASISTypes.ml" 301 8423 8449 "src/oasis/OASISTypes.ml" 301 8423 8476
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
type(
  string -> OASISDataNotation.t
)
ident(
  def odn_of_unix_filename "src/oasis/OASISTypes.ml" 303 8532 8532 "src/oasis/OASISTypes.ml" 0 0 -1
)
"src/oasis/OASISTypes.ml" 302 8477 8504 "src/oasis/OASISTypes.ml" 302 8477 8531
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
type(
  ('a -> OASISDataNotation.t) -> 'a OASISExpr.choices -> OASISDataNotation.t
)
ident(
  def odn_of_conditional "src/oasis/OASISTypes.ml" 305 8583 8583 "src/oasis/OASISTypes.ml" 0 0 -1
)
"src/oasis/OASISTypes.ml" 303 8532 8557 "src/oasis/OASISTypes.ml" 303 8532 8581
type(
  ('a -> OASISDataNotation.t) -> 'a OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref OASISExpr.odn_of_choices "src/oasis/OASISExpr.mli" 116 3717 3717 "src/oasis/OASISExpr.mli" 116 3717 3801
)
"src/oasis/OASISTypes.ml" 305 8583 8587 "src/oasis/OASISTypes.ml" 305 8583 8606
type(
  string * string list -> OASISDataNotation.t
)
ident(
  def odn_of_command_line "src/oasis/OASISTypes.ml" 308 8736 8736 "src/oasis/OASISTypes.ml" 0 0 -1
)
"src/oasis/OASISTypes.ml" 305 8583 8608 "src/oasis/OASISTypes.ml" 305 8583 8612
type(
  string
)
ident(
  def prog "src/oasis/OASISTypes.ml" 306 8622 8624 "src/oasis/OASISTypes.ml" 306 8622 8734
)
"src/oasis/OASISTypes.ml" 305 8583 8614 "src/oasis/OASISTypes.ml" 305 8583 8618
type(
  string list
)
ident(
  def args "src/oasis/OASISTypes.ml" 306 8622 8624 "src/oasis/OASISTypes.ml" 306 8622 8734
)
"src/oasis/OASISTypes.ml" 305 8583 8607 "src/oasis/OASISTypes.ml" 305 8583 8619
type(
  string * string list
)
"src/oasis/OASISTypes.ml" 306 8622 8669 "src/oasis/OASISTypes.ml" 306 8622 8673
type(
  string
)
ident(
  int_ref prog "src/oasis/OASISTypes.ml" 305 8583 8608 "src/oasis/OASISTypes.ml" 305 8583 8612
)
"src/oasis/OASISTypes.ml" 306 8622 8647 "src/oasis/OASISTypes.ml" 306 8622 8673
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 306 8622 8675 "src/oasis/OASISTypes.ml" 306 8622 8700
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 306 8622 8701 "src/oasis/OASISTypes.ml" 306 8622 8728
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 306 8622 8729 "src/oasis/OASISTypes.ml" 306 8622 8733
type(
  string list
)
ident(
  int_ref args "src/oasis/OASISTypes.ml" 305 8583 8614 "src/oasis/OASISTypes.ml" 305 8583 8618
)
"src/oasis/OASISTypes.ml" 306 8622 8675 "src/oasis/OASISTypes.ml" 306 8622 8733
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 306 8622 8646 "src/oasis/OASISTypes.ml" 306 8622 8734
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 306 8622 8624 "src/oasis/OASISTypes.ml" 306 8622 8734
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 308 8736 8740 "src/oasis/OASISTypes.ml" 308 8736 8754
type(
  package -> OASISDataNotation.t
)
ident(
  def odn_of_package "src/oasis/OASISTypes.ml" 571 19537 19543 "src/oasis/OASISTypes.ml" 0 0 -1
)
"src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
type(
  package
)
ident(
  def pkg "src/oasis/OASISTypes.ml" 309 8761 8763 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 310 8793 8799 "src/oasis/OASISTypes.ml" 310 8793 8812
type(
  OASISDataNotation.t
)
ident(
  def proplist_data "src/oasis/OASISTypes.ml" 311 8858 8860 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 310 8793 8820 "src/oasis/OASISTypes.ml" 310 8793 8842
type(
  OASISDataNotation.var_name
)
"src/oasis/OASISTypes.ml" 310 8793 8844 "src/oasis/OASISTypes.ml" 310 8793 8846
type(
  (OASISDataNotation.var_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 310 8793 8849 "src/oasis/OASISTypes.ml" 310 8793 8852
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 310 8793 8848 "src/oasis/OASISTypes.ml" 310 8793 8853
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 310 8793 8815 "src/oasis/OASISTypes.ml" 310 8793 8854
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
type(
  string list -> OASISDataNotation.t
)
ident(
  def odn_of_args "src/oasis/OASISTypes.ml" 312 8899 8901 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 311 8858 8878 "src/oasis/OASISTypes.ml" 311 8858 8885
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 311 8858 8886 "src/oasis/OASISTypes.ml" 311 8858 8895
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 311 8858 8878 "src/oasis/OASISTypes.ml" 311 8858 8895
type(
  string list -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
type(
  ('a -> OASISDataNotation.t) ->
  'a * string * OASISVersion.t option -> OASISDataNotation.t
)
ident(
  def odn_of_plugin "src/oasis/OASISTypes.ml" 318 9043 9045 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 312 8899 8919 "src/oasis/OASISTypes.ml" 312 8899 8927
type(
  'a -> OASISDataNotation.t
)
ident(
  def odn_of_a "src/oasis/OASISTypes.ml" 312 8899 8928 "src/oasis/OASISTypes.ml" 316 8994 9037
)
"src/oasis/OASISTypes.ml" 312 8899 8929 "src/oasis/OASISTypes.ml" 312 8899 8931
type(
  'a
)
ident(
  def v2 "src/oasis/OASISTypes.ml" 313 8943 8947 "src/oasis/OASISTypes.ml" 316 8994 9037
)
"src/oasis/OASISTypes.ml" 312 8899 8933 "src/oasis/OASISTypes.ml" 312 8899 8935
type(
  string
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 313 8943 8947 "src/oasis/OASISTypes.ml" 316 8994 9037
)
"src/oasis/OASISTypes.ml" 312 8899 8937 "src/oasis/OASISTypes.ml" 312 8899 8939
type(
  OASISVersion.t option
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 313 8943 8947 "src/oasis/OASISTypes.ml" 316 8994 9037
)
"src/oasis/OASISTypes.ml" 312 8899 8928 "src/oasis/OASISTypes.ml" 312 8899 8940
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISTypes.ml" 314 8951 8959 "src/oasis/OASISTypes.ml" 314 8951 8967
type(
  'a -> OASISDataNotation.t
)
ident(
  int_ref odn_of_a "src/oasis/OASISTypes.ml" 312 8899 8919 "src/oasis/OASISTypes.ml" 312 8899 8927
)
"src/oasis/OASISTypes.ml" 314 8951 8968 "src/oasis/OASISTypes.ml" 314 8951 8970
type(
  'a
)
ident(
  int_ref v2 "src/oasis/OASISTypes.ml" 312 8899 8929 "src/oasis/OASISTypes.ml" 312 8899 8931
)
"src/oasis/OASISTypes.ml" 314 8951 8959 "src/oasis/OASISTypes.ml" 314 8951 8970
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 315 8972 8980 "src/oasis/OASISTypes.ml" 315 8972 8989
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 315 8972 8990 "src/oasis/OASISTypes.ml" 315 8972 8992
type(
  string
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 312 8899 8933 "src/oasis/OASISTypes.ml" 312 8899 8935
)
"src/oasis/OASISTypes.ml" 315 8972 8980 "src/oasis/OASISTypes.ml" 315 8972 8992
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 316 8994 9002 "src/oasis/OASISTypes.ml" 316 8994 9011
type(
  (OASISVersion.t -> OASISDataNotation.t) ->
  OASISVersion.t option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 316 8994 9012 "src/oasis/OASISTypes.ml" 316 8994 9033
type(
  OASISVersion.t -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_t "src/oasis/OASISVersion.mli" 67 2629 2629 "src/oasis/OASISVersion.mli" 67 2629 2667
)
"src/oasis/OASISTypes.ml" 316 8994 9034 "src/oasis/OASISTypes.ml" 316 8994 9036
type(
  OASISVersion.t option
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 312 8899 8937 "src/oasis/OASISTypes.ml" 312 8899 8939
)
"src/oasis/OASISTypes.ml" 316 8994 9002 "src/oasis/OASISTypes.ml" 316 8994 9036
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 314 8951 8957 "src/oasis/OASISTypes.ml" 316 8994 9037
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 313 8943 8947 "src/oasis/OASISTypes.ml" 316 8994 9037
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
type(
  custom -> OASISDataNotation.t
)
ident(
  def odn_of_custom "src/oasis/OASISTypes.ml" 324 9273 9275 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 318 9043 9063 "src/oasis/OASISTypes.ml" 318 9043 9064
type(
  custom
)
ident(
  def v "src/oasis/OASISTypes.ml" 319 9067 9071 "src/oasis/OASISTypes.ml" 322 9180 9267
)
"src/oasis/OASISTypes.ml" 320 9075 9080 "src/oasis/OASISTypes.ml" 320 9075 9092
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 321 9094 9099 "src/oasis/OASISTypes.ml" 321 9094 9112
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 321 9094 9114 "src/oasis/OASISTypes.ml" 321 9094 9132
type(
  (command_line option -> OASISDataNotation.t) ->
  command_line option OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 321 9094 9134 "src/oasis/OASISTypes.ml" 321 9094 9143
type(
  (command_line -> OASISDataNotation.t) ->
  command_line option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 321 9094 9144 "src/oasis/OASISTypes.ml" 321 9094 9163
type(
  command_line -> OASISDataNotation.t
)
ident(
  int_ref odn_of_command_line "src/oasis/OASISTypes.ml" 305 8583 8587 "src/oasis/OASISTypes.ml" 305 8583 8606
)
"src/oasis/OASISTypes.ml" 321 9094 9133 "src/oasis/OASISTypes.ml" 321 9094 9164
type(
  command_line option -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 321 9094 9165 "src/oasis/OASISTypes.ml" 321 9094 9166
type(
  custom
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 318 9043 9063 "src/oasis/OASISTypes.ml" 318 9043 9064
)
"src/oasis/OASISTypes.ml" 321 9094 9165 "src/oasis/OASISTypes.ml" 321 9094 9178
type(
  command_line option conditional
)
"src/oasis/OASISTypes.ml" 321 9094 9114 "src/oasis/OASISTypes.ml" 321 9094 9178
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 321 9094 9099 "src/oasis/OASISTypes.ml" 321 9094 9178
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 322 9180 9184 "src/oasis/OASISTypes.ml" 322 9180 9198
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 322 9180 9200 "src/oasis/OASISTypes.ml" 322 9180 9218
type(
  (command_line option -> OASISDataNotation.t) ->
  command_line option OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 322 9180 9220 "src/oasis/OASISTypes.ml" 322 9180 9229
type(
  (command_line -> OASISDataNotation.t) ->
  command_line option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 322 9180 9230 "src/oasis/OASISTypes.ml" 322 9180 9249
type(
  command_line -> OASISDataNotation.t
)
ident(
  int_ref odn_of_command_line "src/oasis/OASISTypes.ml" 305 8583 8587 "src/oasis/OASISTypes.ml" 305 8583 8606
)
"src/oasis/OASISTypes.ml" 322 9180 9219 "src/oasis/OASISTypes.ml" 322 9180 9250
type(
  command_line option -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 322 9180 9251 "src/oasis/OASISTypes.ml" 322 9180 9252
type(
  custom
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 318 9043 9063 "src/oasis/OASISTypes.ml" 318 9043 9064
)
"src/oasis/OASISTypes.ml" 322 9180 9251 "src/oasis/OASISTypes.ml" 322 9180 9265
type(
  command_line option conditional
)
"src/oasis/OASISTypes.ml" 322 9180 9200 "src/oasis/OASISTypes.ml" 322 9180 9265
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 322 9180 9184 "src/oasis/OASISTypes.ml" 322 9180 9265
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 321 9094 9098 "src/oasis/OASISTypes.ml" 322 9180 9266
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 319 9067 9071 "src/oasis/OASISTypes.ml" 322 9180 9267
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 324 9273 9279 "src/oasis/OASISTypes.ml" 324 9273 9290
type(
  tool -> OASISDataNotation.t
)
ident(
  def odn_of_tool "src/oasis/OASISTypes.ml" 331 9477 9479 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 326 9306 9325 "src/oasis/OASISTypes.ml" 326 9306 9327
type(
  name
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 327 9331 9339 "src/oasis/OASISTypes.ml" 327 9331 9382
)
"src/oasis/OASISTypes.ml" 326 9306 9312 "src/oasis/OASISTypes.ml" 326 9306 9327
type(
  tool
)
"src/oasis/OASISTypes.ml" 327 9331 9344 "src/oasis/OASISTypes.ml" 327 9331 9369
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 327 9331 9377 "src/oasis/OASISTypes.ml" 327 9331 9379
type(
  name
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 326 9306 9325 "src/oasis/OASISTypes.ml" 326 9306 9327
)
"src/oasis/OASISTypes.ml" 327 9331 9373 "src/oasis/OASISTypes.ml" 327 9331 9379
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 327 9331 9371 "src/oasis/OASISTypes.ml" 327 9331 9381
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 327 9331 9339 "src/oasis/OASISTypes.ml" 327 9331 9382
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 328 9383 9408 "src/oasis/OASISTypes.ml" 328 9383 9410
type(
  name
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 329 9414 9422 "src/oasis/OASISTypes.ml" 329 9414 9471
)
"src/oasis/OASISTypes.ml" 328 9383 9389 "src/oasis/OASISTypes.ml" 328 9383 9410
type(
  tool
)
"src/oasis/OASISTypes.ml" 329 9414 9427 "src/oasis/OASISTypes.ml" 329 9414 9458
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 329 9414 9466 "src/oasis/OASISTypes.ml" 329 9414 9468
type(
  name
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 328 9383 9408 "src/oasis/OASISTypes.ml" 328 9383 9410
)
"src/oasis/OASISTypes.ml" 329 9414 9462 "src/oasis/OASISTypes.ml" 329 9414 9468
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 329 9414 9460 "src/oasis/OASISTypes.ml" 329 9414 9470
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 329 9414 9422 "src/oasis/OASISTypes.ml" 329 9414 9471
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 325 9293 9297 "src/oasis/OASISTypes.ml" 329 9414 9471
type(
  tool -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 331 9477 9483 "src/oasis/OASISTypes.ml" 331 9477 9500
type(
  dependency -> OASISDataNotation.t
)
ident(
  def odn_of_dependency "src/oasis/OASISTypes.ml" 339 9754 9756 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 333 9516 9539 "src/oasis/OASISTypes.ml" 333 9516 9541
type(
  findlib_full
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 334 9551 9559 "src/oasis/OASISTypes.ml" 335 9593 9665
)
"src/oasis/OASISTypes.ml" 333 9516 9543 "src/oasis/OASISTypes.ml" 333 9516 9545
type(
  OASISVersion.comparator option
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 334 9551 9559 "src/oasis/OASISTypes.ml" 335 9593 9665
)
"src/oasis/OASISTypes.ml" 333 9516 9522 "src/oasis/OASISTypes.ml" 333 9516 9547
type(
  dependency
)
"src/oasis/OASISTypes.ml" 334 9551 9564 "src/oasis/OASISTypes.ml" 334 9551 9591
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 335 9593 9605 "src/oasis/OASISTypes.ml" 335 9593 9614
type(
  findlib_full -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 335 9593 9615 "src/oasis/OASISTypes.ml" 335 9593 9617
type(
  findlib_full
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 333 9516 9539 "src/oasis/OASISTypes.ml" 333 9516 9541
)
"src/oasis/OASISTypes.ml" 335 9593 9605 "src/oasis/OASISTypes.ml" 335 9593 9617
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 335 9593 9619 "src/oasis/OASISTypes.ml" 335 9593 9628
type(
  (OASISVersion.comparator -> OASISDataNotation.t) ->
  OASISVersion.comparator option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 335 9593 9629 "src/oasis/OASISTypes.ml" 335 9593 9659
type(
  OASISVersion.comparator -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_comparator "src/oasis/OASISVersion.mli" 121 3694 3694 "src/oasis/OASISVersion.mli" 121 3694 3751
)
"src/oasis/OASISTypes.ml" 335 9593 9660 "src/oasis/OASISTypes.ml" 335 9593 9662
type(
  OASISVersion.comparator option
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 333 9516 9543 "src/oasis/OASISTypes.ml" 333 9516 9545
)
"src/oasis/OASISTypes.ml" 335 9593 9619 "src/oasis/OASISTypes.ml" 335 9593 9662
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 335 9593 9603 "src/oasis/OASISTypes.ml" 335 9593 9664
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 334 9551 9559 "src/oasis/OASISTypes.ml" 335 9593 9665
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 336 9666 9688 "src/oasis/OASISTypes.ml" 336 9666 9690
type(
  name
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 337 9694 9702 "src/oasis/OASISTypes.ml" 337 9694 9748
)
"src/oasis/OASISTypes.ml" 336 9666 9672 "src/oasis/OASISTypes.ml" 336 9666 9690
type(
  dependency
)
"src/oasis/OASISTypes.ml" 337 9694 9707 "src/oasis/OASISTypes.ml" 337 9694 9735
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 337 9694 9743 "src/oasis/OASISTypes.ml" 337 9694 9745
type(
  name
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 336 9666 9688 "src/oasis/OASISTypes.ml" 336 9666 9690
)
"src/oasis/OASISTypes.ml" 337 9694 9739 "src/oasis/OASISTypes.ml" 337 9694 9745
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 337 9694 9737 "src/oasis/OASISTypes.ml" 337 9694 9747
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 337 9694 9702 "src/oasis/OASISTypes.ml" 337 9694 9748
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 332 9503 9507 "src/oasis/OASISTypes.ml" 337 9694 9748
type(
  dependency -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 339 9754 9760 "src/oasis/OASISTypes.ml" 339 9754 9782
type(
  compiled_object -> OASISDataNotation.t
)
ident(
  def odn_of_compiled_object "src/oasis/OASISTypes.ml" 345 9933 9935 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 341 9798 9804 "src/oasis/OASISTypes.ml" 341 9798 9808
type(
  compiled_object
)
"src/oasis/OASISTypes.ml" 341 9798 9817 "src/oasis/OASISTypes.ml" 341 9798 9834
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 341 9798 9836 "src/oasis/OASISTypes.ml" 341 9798 9838
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 341 9798 9812 "src/oasis/OASISTypes.ml" 341 9798 9839
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 342 9840 9846 "src/oasis/OASISTypes.ml" 342 9840 9852
type(
  compiled_object
)
"src/oasis/OASISTypes.ml" 342 9840 9861 "src/oasis/OASISTypes.ml" 342 9840 9880
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 342 9840 9882 "src/oasis/OASISTypes.ml" 342 9840 9884
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 342 9840 9856 "src/oasis/OASISTypes.ml" 342 9840 9885
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 343 9886 9892 "src/oasis/OASISTypes.ml" 343 9886 9896
type(
  compiled_object
)
"src/oasis/OASISTypes.ml" 343 9886 9905 "src/oasis/OASISTypes.ml" 343 9886 9922
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 343 9886 9924 "src/oasis/OASISTypes.ml" 343 9886 9926
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 343 9886 9900 "src/oasis/OASISTypes.ml" 343 9886 9927
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 340 9785 9789 "src/oasis/OASISTypes.ml" 343 9886 9927
type(
  compiled_object -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
type(
  common_section -> OASISDataNotation.t
)
ident(
  def odn_of_common_section "src/oasis/OASISTypes.ml" 351 10105 10107 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 345 9933 9961 "src/oasis/OASISTypes.ml" 345 9933 9962
type(
  common_section
)
ident(
  def v "src/oasis/OASISTypes.ml" 346 9965 9969 "src/oasis/OASISTypes.ml" 349 10062 10099
)
"src/oasis/OASISTypes.ml" 346 9965 9974 "src/oasis/OASISTypes.ml" 346 9965 9986
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 347 9988 9997 "src/oasis/OASISTypes.ml" 347 9988 10006
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 347 9988 10013 "src/oasis/OASISTypes.ml" 347 9988 10014
type(
  common_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 345 9933 9961 "src/oasis/OASISTypes.ml" 345 9933 9962
)
"src/oasis/OASISTypes.ml" 347 9988 10013 "src/oasis/OASISTypes.ml" 347 9988 10022
type(
  name
)
"src/oasis/OASISTypes.ml" 347 9988 10008 "src/oasis/OASISTypes.ml" 347 9988 10023
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 347 9988 9996 "src/oasis/OASISTypes.ml" 347 9988 10024
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 348 10026 10035 "src/oasis/OASISTypes.ml" 348 10026 10044
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 348 10026 10046 "src/oasis/OASISTypes.ml" 348 10026 10059
type(
  OASISDataNotation.t
)
ident(
  int_ref proplist_data "src/oasis/OASISTypes.ml" 310 8793 8799 "src/oasis/OASISTypes.ml" 310 8793 8812
)
"src/oasis/OASISTypes.ml" 348 10026 10034 "src/oasis/OASISTypes.ml" 348 10026 10060
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 349 10062 10071 "src/oasis/OASISTypes.ml" 349 10062 10087
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 349 10062 10093 "src/oasis/OASISTypes.ml" 349 10062 10095
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 349 10062 10089 "src/oasis/OASISTypes.ml" 349 10062 10095
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 349 10062 10070 "src/oasis/OASISTypes.ml" 349 10062 10096
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 347 9988 9994 "src/oasis/OASISTypes.ml" 349 10062 10098
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 346 9965 9969 "src/oasis/OASISTypes.ml" 349 10062 10099
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 351 10105 10111 "src/oasis/OASISTypes.ml" 351 10105 10131
type(
  build_section -> OASISDataNotation.t
)
ident(
  def odn_of_build_section "src/oasis/OASISTypes.ml" 383 11646 11648 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
type(
  build_section
)
ident(
  def v "src/oasis/OASISTypes.ml" 352 10136 10140 "src/oasis/OASISTypes.ml" 381 11564 11640
)
"src/oasis/OASISTypes.ml" 352 10136 10145 "src/oasis/OASISTypes.ml" 352 10136 10157
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 353 10159 10168 "src/oasis/OASISTypes.ml" 353 10159 10178
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 353 10159 10181 "src/oasis/OASISTypes.ml" 353 10159 10199
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 353 10159 10200 "src/oasis/OASISTypes.ml" 353 10159 10207
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 353 10159 10208 "src/oasis/OASISTypes.ml" 353 10159 10209
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 353 10159 10208 "src/oasis/OASISTypes.ml" 353 10159 10218
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 353 10159 10180 "src/oasis/OASISTypes.ml" 353 10159 10219
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 353 10159 10167 "src/oasis/OASISTypes.ml" 353 10159 10220
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 354 10222 10231 "src/oasis/OASISTypes.ml" 354 10222 10243
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 354 10222 10246 "src/oasis/OASISTypes.ml" 354 10222 10264
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 354 10222 10265 "src/oasis/OASISTypes.ml" 354 10222 10272
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 354 10222 10273 "src/oasis/OASISTypes.ml" 354 10222 10274
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 354 10222 10273 "src/oasis/OASISTypes.ml" 354 10222 10285
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 354 10222 10245 "src/oasis/OASISTypes.ml" 354 10222 10286
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 354 10222 10230 "src/oasis/OASISTypes.ml" 354 10222 10287
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 355 10289 10298 "src/oasis/OASISTypes.ml" 355 10289 10307
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 355 10289 10310 "src/oasis/OASISTypes.ml" 355 10289 10329
type(
  unix_dirname -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_dirname "src/oasis/OASISTypes.ml" 301 8423 8427 "src/oasis/OASISTypes.ml" 301 8423 8446
)
"src/oasis/OASISTypes.ml" 355 10289 10330 "src/oasis/OASISTypes.ml" 355 10289 10331
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 355 10289 10330 "src/oasis/OASISTypes.ml" 355 10289 10339
type(
  unix_dirname
)
"src/oasis/OASISTypes.ml" 355 10289 10309 "src/oasis/OASISTypes.ml" 355 10289 10340
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 355 10289 10297 "src/oasis/OASISTypes.ml" 355 10289 10341
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 356 10343 10352 "src/oasis/OASISTypes.ml" 356 10343 10372
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 356 10343 10375 "src/oasis/OASISTypes.ml" 356 10343 10397
type(
  compiled_object -> OASISDataNotation.t
)
ident(
  int_ref odn_of_compiled_object "src/oasis/OASISTypes.ml" 339 9754 9760 "src/oasis/OASISTypes.ml" 339 9754 9782
)
"src/oasis/OASISTypes.ml" 356 10343 10398 "src/oasis/OASISTypes.ml" 356 10343 10399
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 356 10343 10398 "src/oasis/OASISTypes.ml" 356 10343 10418
type(
  compiled_object
)
"src/oasis/OASISTypes.ml" 356 10343 10374 "src/oasis/OASISTypes.ml" 356 10343 10419
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 356 10343 10351 "src/oasis/OASISTypes.ml" 356 10343 10420
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 357 10422 10431 "src/oasis/OASISTypes.ml" 357 10422 10449
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 358 10451 10461 "src/oasis/OASISTypes.ml" 358 10451 10468
type(
  (dependency -> OASISDataNotation.t) ->
  dependency list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 358 10451 10469 "src/oasis/OASISTypes.ml" 358 10451 10486
type(
  dependency -> OASISDataNotation.t
)
ident(
  int_ref odn_of_dependency "src/oasis/OASISTypes.ml" 331 9477 9483 "src/oasis/OASISTypes.ml" 331 9477 9500
)
"src/oasis/OASISTypes.ml" 358 10451 10487 "src/oasis/OASISTypes.ml" 358 10451 10488
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 358 10451 10487 "src/oasis/OASISTypes.ml" 358 10451 10505
type(
  dependency list
)
"src/oasis/OASISTypes.ml" 358 10451 10460 "src/oasis/OASISTypes.ml" 358 10451 10506
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 357 10422 10430 "src/oasis/OASISTypes.ml" 358 10451 10507
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 359 10509 10518 "src/oasis/OASISTypes.ml" 359 10509 10534
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 360 10536 10546 "src/oasis/OASISTypes.ml" 360 10536 10553
type(
  (tool -> OASISDataNotation.t) -> tool list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 360 10536 10554 "src/oasis/OASISTypes.ml" 360 10536 10565
type(
  tool -> OASISDataNotation.t
)
ident(
  int_ref odn_of_tool "src/oasis/OASISTypes.ml" 324 9273 9279 "src/oasis/OASISTypes.ml" 324 9273 9290
)
"src/oasis/OASISTypes.ml" 360 10536 10566 "src/oasis/OASISTypes.ml" 360 10536 10567
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 360 10536 10566 "src/oasis/OASISTypes.ml" 360 10536 10582
type(
  tool list
)
"src/oasis/OASISTypes.ml" 360 10536 10545 "src/oasis/OASISTypes.ml" 360 10536 10583
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 359 10509 10517 "src/oasis/OASISTypes.ml" 360 10536 10584
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 361 10586 10595 "src/oasis/OASISTypes.ml" 361 10586 10618
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 362 10620 10630 "src/oasis/OASISTypes.ml" 362 10620 10637
type(
  (OASISSourcePatterns.t -> OASISDataNotation.t) ->
  OASISSourcePatterns.t list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 362 10620 10638 "src/oasis/OASISTypes.ml" 362 10620 10666
type(
  OASISSourcePatterns.t -> OASISDataNotation.t
)
ident(
  int_ref OASISSourcePatterns.odn_of_t "src/oasis/OASISSourcePatterns.mli" 58 2744 2744 "src/oasis/OASISSourcePatterns.mli" 58 2744 2782
)
"src/oasis/OASISTypes.ml" 362 10620 10667 "src/oasis/OASISTypes.ml" 362 10620 10668
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 362 10620 10667 "src/oasis/OASISTypes.ml" 362 10620 10690
type(
  OASISSourcePatterns.t list
)
"src/oasis/OASISTypes.ml" 362 10620 10629 "src/oasis/OASISTypes.ml" 362 10620 10691
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 361 10586 10594 "src/oasis/OASISTypes.ml" 362 10620 10692
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 363 10694 10703 "src/oasis/OASISTypes.ml" 363 10694 10731
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 364 10733 10743 "src/oasis/OASISTypes.ml" 364 10733 10750
type(
  (OASISSourcePatterns.t -> OASISDataNotation.t) ->
  OASISSourcePatterns.t list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 364 10733 10751 "src/oasis/OASISTypes.ml" 364 10733 10779
type(
  OASISSourcePatterns.t -> OASISDataNotation.t
)
ident(
  int_ref OASISSourcePatterns.odn_of_t "src/oasis/OASISSourcePatterns.mli" 58 2744 2744 "src/oasis/OASISSourcePatterns.mli" 58 2744 2782
)
"src/oasis/OASISTypes.ml" 364 10733 10780 "src/oasis/OASISTypes.ml" 364 10733 10781
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 364 10733 10780 "src/oasis/OASISTypes.ml" 364 10733 10808
type(
  OASISSourcePatterns.t list
)
"src/oasis/OASISTypes.ml" 364 10733 10742 "src/oasis/OASISTypes.ml" 364 10733 10809
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 363 10694 10702 "src/oasis/OASISTypes.ml" 364 10733 10810
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 365 10812 10821 "src/oasis/OASISTypes.ml" 365 10812 10835
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 366 10837 10847 "src/oasis/OASISTypes.ml" 366 10837 10854
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 366 10837 10855 "src/oasis/OASISTypes.ml" 366 10837 10875
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 366 10837 10876 "src/oasis/OASISTypes.ml" 366 10837 10877
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 366 10837 10876 "src/oasis/OASISTypes.ml" 366 10837 10890
type(
  unix_filename list
)
"src/oasis/OASISTypes.ml" 366 10837 10846 "src/oasis/OASISTypes.ml" 366 10837 10891
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 365 10812 10820 "src/oasis/OASISTypes.ml" 366 10837 10892
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 367 10894 10903 "src/oasis/OASISTypes.ml" 367 10894 10918
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 368 10920 10930 "src/oasis/OASISTypes.ml" 368 10920 10937
type(
  (unix_filename * unix_filename option -> OASISDataNotation.t) ->
  (unix_filename * unix_filename option) list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 369 10938 10956 "src/oasis/OASISTypes.ml" 369 10938 10958
type(
  unix_filename
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 370 10967 10982 "src/oasis/OASISTypes.ml" 372 11030 11084
)
"src/oasis/OASISTypes.ml" 369 10938 10960 "src/oasis/OASISTypes.ml" 369 10938 10962
type(
  unix_filename option
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 370 10967 10982 "src/oasis/OASISTypes.ml" 372 11030 11084
)
"src/oasis/OASISTypes.ml" 369 10938 10955 "src/oasis/OASISTypes.ml" 369 10938 10963
type(
  unix_filename * unix_filename option
)
"src/oasis/OASISTypes.ml" 371 10986 11005 "src/oasis/OASISTypes.ml" 371 10986 11025
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 371 10986 11026 "src/oasis/OASISTypes.ml" 371 10986 11028
type(
  unix_filename
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 369 10938 10956 "src/oasis/OASISTypes.ml" 369 10938 10958
)
"src/oasis/OASISTypes.ml" 371 10986 11005 "src/oasis/OASISTypes.ml" 371 10986 11028
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 372 11030 11049 "src/oasis/OASISTypes.ml" 372 11030 11058
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 372 11030 11059 "src/oasis/OASISTypes.ml" 372 11030 11079
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 372 11030 11080 "src/oasis/OASISTypes.ml" 372 11030 11082
type(
  unix_filename option
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 369 10938 10960 "src/oasis/OASISTypes.ml" 369 10938 10962
)
"src/oasis/OASISTypes.ml" 372 11030 11049 "src/oasis/OASISTypes.ml" 372 11030 11082
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 371 10986 11003 "src/oasis/OASISTypes.ml" 372 11030 11084
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 370 10967 10982 "src/oasis/OASISTypes.ml" 372 11030 11084
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 369 10938 10950 "src/oasis/OASISTypes.ml" 372 11030 11085
type(
  unix_filename * unix_filename option -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 373 11086 11098 "src/oasis/OASISTypes.ml" 373 11086 11099
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 373 11086 11098 "src/oasis/OASISTypes.ml" 373 11086 11113
type(
  (unix_filename * unix_filename option) list
)
"src/oasis/OASISTypes.ml" 368 10920 10929 "src/oasis/OASISTypes.ml" 373 11086 11114
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 367 10894 10902 "src/oasis/OASISTypes.ml" 373 11086 11115
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 374 11117 11126 "src/oasis/OASISTypes.ml" 374 11117 11150
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 375 11152 11162 "src/oasis/OASISTypes.ml" 375 11152 11169
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 375 11152 11170 "src/oasis/OASISTypes.ml" 375 11152 11190
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 375 11152 11191 "src/oasis/OASISTypes.ml" 375 11152 11192
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 375 11152 11191 "src/oasis/OASISTypes.ml" 375 11152 11215
type(
  unix_filename list
)
"src/oasis/OASISTypes.ml" 375 11152 11161 "src/oasis/OASISTypes.ml" 375 11152 11216
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 374 11117 11125 "src/oasis/OASISTypes.ml" 375 11152 11217
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 376 11219 11228 "src/oasis/OASISTypes.ml" 376 11219 11238
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 376 11219 11241 "src/oasis/OASISTypes.ml" 376 11219 11259
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 376 11219 11260 "src/oasis/OASISTypes.ml" 376 11219 11271
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 376 11219 11272 "src/oasis/OASISTypes.ml" 376 11219 11273
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 376 11219 11272 "src/oasis/OASISTypes.ml" 376 11219 11282
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 376 11219 11240 "src/oasis/OASISTypes.ml" 376 11219 11283
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 376 11219 11227 "src/oasis/OASISTypes.ml" 376 11219 11284
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 377 11286 11295 "src/oasis/OASISTypes.ml" 377 11286 11305
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 377 11286 11308 "src/oasis/OASISTypes.ml" 377 11286 11326
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 377 11286 11327 "src/oasis/OASISTypes.ml" 377 11286 11338
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 377 11286 11339 "src/oasis/OASISTypes.ml" 377 11286 11340
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 377 11286 11339 "src/oasis/OASISTypes.ml" 377 11286 11349
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 377 11286 11307 "src/oasis/OASISTypes.ml" 377 11286 11350
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 377 11286 11294 "src/oasis/OASISTypes.ml" 377 11286 11351
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 378 11353 11362 "src/oasis/OASISTypes.ml" 378 11353 11373
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 378 11353 11376 "src/oasis/OASISTypes.ml" 378 11353 11394
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 378 11353 11395 "src/oasis/OASISTypes.ml" 378 11353 11406
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 378 11353 11407 "src/oasis/OASISTypes.ml" 378 11353 11408
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 378 11353 11407 "src/oasis/OASISTypes.ml" 378 11353 11418
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 378 11353 11375 "src/oasis/OASISTypes.ml" 378 11353 11419
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 378 11353 11361 "src/oasis/OASISTypes.ml" 378 11353 11420
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 379 11422 11431 "src/oasis/OASISTypes.ml" 379 11422 11443
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 379 11422 11446 "src/oasis/OASISTypes.ml" 379 11422 11464
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 379 11422 11465 "src/oasis/OASISTypes.ml" 379 11422 11476
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 379 11422 11477 "src/oasis/OASISTypes.ml" 379 11422 11478
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 379 11422 11477 "src/oasis/OASISTypes.ml" 379 11422 11489
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 379 11422 11445 "src/oasis/OASISTypes.ml" 379 11422 11490
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 379 11422 11430 "src/oasis/OASISTypes.ml" 379 11422 11491
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 380 11493 11502 "src/oasis/OASISTypes.ml" 380 11493 11514
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 380 11493 11517 "src/oasis/OASISTypes.ml" 380 11493 11535
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 380 11493 11536 "src/oasis/OASISTypes.ml" 380 11493 11547
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 380 11493 11548 "src/oasis/OASISTypes.ml" 380 11493 11549
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 380 11493 11548 "src/oasis/OASISTypes.ml" 380 11493 11560
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 380 11493 11516 "src/oasis/OASISTypes.ml" 380 11493 11561
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 380 11493 11501 "src/oasis/OASISTypes.ml" 380 11493 11562
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 381 11564 11573 "src/oasis/OASISTypes.ml" 381 11564 11587
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 381 11564 11590 "src/oasis/OASISTypes.ml" 381 11564 11608
type(
  (args -> OASISDataNotation.t) ->
  args OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 381 11564 11609 "src/oasis/OASISTypes.ml" 381 11564 11620
type(
  args -> OASISDataNotation.t
)
ident(
  int_ref odn_of_args "src/oasis/OASISTypes.ml" 311 8858 8864 "src/oasis/OASISTypes.ml" 311 8858 8875
)
"src/oasis/OASISTypes.ml" 381 11564 11621 "src/oasis/OASISTypes.ml" 381 11564 11622
type(
  build_section
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 351 10105 10132 "src/oasis/OASISTypes.ml" 351 10105 10133
)
"src/oasis/OASISTypes.ml" 381 11564 11621 "src/oasis/OASISTypes.ml" 381 11564 11635
type(
  args conditional
)
"src/oasis/OASISTypes.ml" 381 11564 11589 "src/oasis/OASISTypes.ml" 381 11564 11636
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 381 11564 11572 "src/oasis/OASISTypes.ml" 381 11564 11637
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 353 10159 10165 "src/oasis/OASISTypes.ml" 381 11564 11639
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 352 10136 10140 "src/oasis/OASISTypes.ml" 381 11564 11640
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 383 11646 11652 "src/oasis/OASISTypes.ml" 383 11646 11666
type(
  library -> OASISDataNotation.t
)
ident(
  def odn_of_library "src/oasis/OASISTypes.ml" 399 12244 12246 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
type(
  library
)
ident(
  def v "src/oasis/OASISTypes.ml" 384 11671 11675 "src/oasis/OASISTypes.ml" 397 12230 12238
)
"src/oasis/OASISTypes.ml" 384 11671 11680 "src/oasis/OASISTypes.ml" 384 11671 11692
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 385 11694 11703 "src/oasis/OASISTypes.ml" 385 11694 11716
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 385 11694 11718 "src/oasis/OASISTypes.ml" 385 11694 11725
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 385 11694 11726 "src/oasis/OASISTypes.ml" 385 11694 11735
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 385 11694 11736 "src/oasis/OASISTypes.ml" 385 11694 11737
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 385 11694 11736 "src/oasis/OASISTypes.ml" 385 11694 11749
type(
  string list
)
"src/oasis/OASISTypes.ml" 385 11694 11718 "src/oasis/OASISTypes.ml" 385 11694 11749
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 385 11694 11702 "src/oasis/OASISTypes.ml" 385 11694 11750
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 386 11752 11761 "src/oasis/OASISTypes.ml" 386 11752 11771
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 386 11752 11773 "src/oasis/OASISTypes.ml" 386 11752 11780
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 386 11752 11781 "src/oasis/OASISTypes.ml" 386 11752 11782
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 386 11752 11781 "src/oasis/OASISTypes.ml" 386 11752 11791
type(
  bool
)
"src/oasis/OASISTypes.ml" 386 11752 11773 "src/oasis/OASISTypes.ml" 386 11752 11791
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 386 11752 11760 "src/oasis/OASISTypes.ml" 386 11752 11792
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 387 11794 11803 "src/oasis/OASISTypes.ml" 387 11794 11825
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 388 11827 11836 "src/oasis/OASISTypes.ml" 388 11827 11843
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 388 11827 11844 "src/oasis/OASISTypes.ml" 388 11827 11853
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 388 11827 11854 "src/oasis/OASISTypes.ml" 388 11827 11855
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 388 11827 11854 "src/oasis/OASISTypes.ml" 388 11827 11876
type(
  string list
)
"src/oasis/OASISTypes.ml" 388 11827 11836 "src/oasis/OASISTypes.ml" 388 11827 11876
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 387 11794 11802 "src/oasis/OASISTypes.ml" 388 11827 11877
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 389 11879 11888 "src/oasis/OASISTypes.ml" 389 11879 11908
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 390 11910 11919 "src/oasis/OASISTypes.ml" 390 11910 11928
type(
  (findlib_name -> OASISDataNotation.t) ->
  findlib_name option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 390 11910 11929 "src/oasis/OASISTypes.ml" 390 11910 11938
type(
  findlib_name -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 390 11910 11939 "src/oasis/OASISTypes.ml" 390 11910 11940
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 390 11910 11939 "src/oasis/OASISTypes.ml" 390 11910 11959
type(
  findlib_name option
)
"src/oasis/OASISTypes.ml" 390 11910 11919 "src/oasis/OASISTypes.ml" 390 11910 11959
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 389 11879 11887 "src/oasis/OASISTypes.ml" 390 11910 11960
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 391 11962 11971 "src/oasis/OASISTypes.ml" 391 11962 11989
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 392 11991 12000 "src/oasis/OASISTypes.ml" 392 11991 12009
type(
  (findlib_name -> OASISDataNotation.t) ->
  findlib_name option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 392 11991 12010 "src/oasis/OASISTypes.ml" 392 11991 12019
type(
  findlib_name -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 392 11991 12020 "src/oasis/OASISTypes.ml" 392 11991 12021
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 392 11991 12020 "src/oasis/OASISTypes.ml" 392 11991 12038
type(
  findlib_name option
)
"src/oasis/OASISTypes.ml" 392 11991 12000 "src/oasis/OASISTypes.ml" 392 11991 12038
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 391 11962 11970 "src/oasis/OASISTypes.ml" 392 11991 12039
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 393 12041 12050 "src/oasis/OASISTypes.ml" 393 12041 12073
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 394 12075 12084 "src/oasis/OASISTypes.ml" 394 12075 12093
type(
  (unix_dirname -> OASISDataNotation.t) ->
  unix_dirname option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 394 12075 12094 "src/oasis/OASISTypes.ml" 394 12075 12114
type(
  unix_dirname -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 394 12075 12115 "src/oasis/OASISTypes.ml" 394 12075 12116
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 394 12075 12115 "src/oasis/OASISTypes.ml" 394 12075 12138
type(
  unix_dirname option
)
"src/oasis/OASISTypes.ml" 394 12075 12084 "src/oasis/OASISTypes.ml" 394 12075 12138
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 393 12041 12049 "src/oasis/OASISTypes.ml" 394 12075 12139
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 395 12141 12150 "src/oasis/OASISTypes.ml" 395 12141 12174
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 396 12176 12185 "src/oasis/OASISTypes.ml" 396 12176 12192
type(
  (findlib_name -> OASISDataNotation.t) ->
  findlib_name list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 396 12176 12193 "src/oasis/OASISTypes.ml" 396 12176 12202
type(
  findlib_name -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 396 12176 12203 "src/oasis/OASISTypes.ml" 396 12176 12204
type(
  library
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 383 11646 11667 "src/oasis/OASISTypes.ml" 383 11646 11668
)
"src/oasis/OASISTypes.ml" 396 12176 12203 "src/oasis/OASISTypes.ml" 396 12176 12227
type(
  findlib_name list
)
"src/oasis/OASISTypes.ml" 396 12176 12185 "src/oasis/OASISTypes.ml" 396 12176 12227
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 395 12141 12149 "src/oasis/OASISTypes.ml" 396 12176 12228
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 385 11694 11700 "src/oasis/OASISTypes.ml" 397 12230 12237
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 384 11671 11675 "src/oasis/OASISTypes.ml" 397 12230 12238
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 399 12244 12250 "src/oasis/OASISTypes.ml" 399 12244 12264
type(
  object_ -> OASISDataNotation.t
)
ident(
  def odn_of_object_ "src/oasis/OASISTypes.ml" 408 12561 12563 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 399 12244 12265 "src/oasis/OASISTypes.ml" 399 12244 12266
type(
  object_
)
ident(
  def v "src/oasis/OASISTypes.ml" 400 12269 12273 "src/oasis/OASISTypes.ml" 406 12547 12555
)
"src/oasis/OASISTypes.ml" 400 12269 12278 "src/oasis/OASISTypes.ml" 400 12269 12290
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 401 12292 12301 "src/oasis/OASISTypes.ml" 401 12292 12314
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 401 12292 12316 "src/oasis/OASISTypes.ml" 401 12292 12323
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 401 12292 12324 "src/oasis/OASISTypes.ml" 401 12292 12333
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 401 12292 12334 "src/oasis/OASISTypes.ml" 401 12292 12335
type(
  object_
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 399 12244 12265 "src/oasis/OASISTypes.ml" 399 12244 12266
)
"src/oasis/OASISTypes.ml" 401 12292 12334 "src/oasis/OASISTypes.ml" 401 12292 12347
type(
  string list
)
"src/oasis/OASISTypes.ml" 401 12292 12316 "src/oasis/OASISTypes.ml" 401 12292 12347
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 401 12292 12300 "src/oasis/OASISTypes.ml" 401 12292 12348
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 402 12350 12359 "src/oasis/OASISTypes.ml" 402 12350 12381
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 403 12383 12392 "src/oasis/OASISTypes.ml" 403 12383 12401
type(
  (findlib_name list -> OASISDataNotation.t) ->
  findlib_name list option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 403 12383 12403 "src/oasis/OASISTypes.ml" 403 12383 12410
type(
  (findlib_name -> OASISDataNotation.t) ->
  findlib_name list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 403 12383 12411 "src/oasis/OASISTypes.ml" 403 12383 12420
type(
  findlib_name -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 403 12383 12402 "src/oasis/OASISTypes.ml" 403 12383 12421
type(
  findlib_name list -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 403 12383 12422 "src/oasis/OASISTypes.ml" 403 12383 12423
type(
  object_
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 399 12244 12265 "src/oasis/OASISTypes.ml" 399 12244 12266
)
"src/oasis/OASISTypes.ml" 403 12383 12422 "src/oasis/OASISTypes.ml" 403 12383 12444
type(
  findlib_name list option
)
"src/oasis/OASISTypes.ml" 403 12383 12392 "src/oasis/OASISTypes.ml" 403 12383 12444
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 402 12350 12358 "src/oasis/OASISTypes.ml" 403 12383 12445
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 404 12447 12456 "src/oasis/OASISTypes.ml" 404 12447 12479
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 405 12481 12490 "src/oasis/OASISTypes.ml" 405 12481 12499
type(
  (unix_dirname -> OASISDataNotation.t) ->
  unix_dirname option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 405 12481 12500 "src/oasis/OASISTypes.ml" 405 12481 12520
type(
  unix_dirname -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 405 12481 12521 "src/oasis/OASISTypes.ml" 405 12481 12522
type(
  object_
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 399 12244 12265 "src/oasis/OASISTypes.ml" 399 12244 12266
)
"src/oasis/OASISTypes.ml" 405 12481 12521 "src/oasis/OASISTypes.ml" 405 12481 12544
type(
  unix_dirname option
)
"src/oasis/OASISTypes.ml" 405 12481 12490 "src/oasis/OASISTypes.ml" 405 12481 12544
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 404 12447 12455 "src/oasis/OASISTypes.ml" 405 12481 12545
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 401 12292 12298 "src/oasis/OASISTypes.ml" 406 12547 12554
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 400 12269 12273 "src/oasis/OASISTypes.ml" 406 12547 12555
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 408 12561 12567 "src/oasis/OASISTypes.ml" 408 12561 12584
type(
  executable -> OASISDataNotation.t
)
ident(
  def odn_of_executable "src/oasis/OASISTypes.ml" 413 12734 12736 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 408 12561 12585 "src/oasis/OASISTypes.ml" 408 12561 12586
type(
  executable
)
ident(
  def v "src/oasis/OASISTypes.ml" 409 12589 12593 "src/oasis/OASISTypes.ml" 411 12662 12728
)
"src/oasis/OASISTypes.ml" 409 12589 12598 "src/oasis/OASISTypes.ml" 409 12589 12610
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 410 12612 12621 "src/oasis/OASISTypes.ml" 410 12612 12634
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 410 12612 12637 "src/oasis/OASISTypes.ml" 410 12612 12644
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 410 12612 12645 "src/oasis/OASISTypes.ml" 410 12612 12646
type(
  executable
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 408 12561 12585 "src/oasis/OASISTypes.ml" 408 12561 12586
)
"src/oasis/OASISTypes.ml" 410 12612 12645 "src/oasis/OASISTypes.ml" 410 12612 12658
type(
  bool
)
"src/oasis/OASISTypes.ml" 410 12612 12636 "src/oasis/OASISTypes.ml" 410 12612 12659
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 410 12612 12620 "src/oasis/OASISTypes.ml" 410 12612 12660
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 411 12662 12671 "src/oasis/OASISTypes.ml" 411 12662 12685
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 411 12662 12688 "src/oasis/OASISTypes.ml" 411 12662 12708
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 411 12662 12709 "src/oasis/OASISTypes.ml" 411 12662 12710
type(
  executable
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 408 12561 12585 "src/oasis/OASISTypes.ml" 408 12561 12586
)
"src/oasis/OASISTypes.ml" 411 12662 12709 "src/oasis/OASISTypes.ml" 411 12662 12723
type(
  unix_filename
)
"src/oasis/OASISTypes.ml" 411 12662 12687 "src/oasis/OASISTypes.ml" 411 12662 12724
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 411 12662 12670 "src/oasis/OASISTypes.ml" 411 12662 12725
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 410 12612 12618 "src/oasis/OASISTypes.ml" 411 12662 12727
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 409 12589 12593 "src/oasis/OASISTypes.ml" 411 12662 12728
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 413 12734 12740 "src/oasis/OASISTypes.ml" 413 12734 12751
type(
  flag -> OASISDataNotation.t
)
ident(
  def odn_of_flag "src/oasis/OASISTypes.ml" 419 12938 12940 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 413 12734 12752 "src/oasis/OASISTypes.ml" 413 12734 12753
type(
  flag
)
ident(
  def v "src/oasis/OASISTypes.ml" 414 12756 12760 "src/oasis/OASISTypes.ml" 417 12860 12932
)
"src/oasis/OASISTypes.ml" 414 12756 12765 "src/oasis/OASISTypes.ml" 414 12756 12777
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 415 12779 12788 "src/oasis/OASISTypes.ml" 415 12779 12806
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 416 12808 12818 "src/oasis/OASISTypes.ml" 416 12808 12827
type(
  (string -> OASISDataNotation.t) -> string option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 416 12808 12828 "src/oasis/OASISTypes.ml" 416 12808 12837
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 416 12808 12838 "src/oasis/OASISTypes.ml" 416 12808 12839
type(
  flag
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 413 12734 12752 "src/oasis/OASISTypes.ml" 413 12734 12753
)
"src/oasis/OASISTypes.ml" 416 12808 12838 "src/oasis/OASISTypes.ml" 416 12808 12856
type(
  string option
)
"src/oasis/OASISTypes.ml" 416 12808 12817 "src/oasis/OASISTypes.ml" 416 12808 12857
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 415 12779 12787 "src/oasis/OASISTypes.ml" 416 12808 12858
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 417 12860 12869 "src/oasis/OASISTypes.ml" 417 12860 12883
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 417 12860 12886 "src/oasis/OASISTypes.ml" 417 12860 12904
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 417 12860 12905 "src/oasis/OASISTypes.ml" 417 12860 12912
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 417 12860 12913 "src/oasis/OASISTypes.ml" 417 12860 12914
type(
  flag
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 413 12734 12752 "src/oasis/OASISTypes.ml" 413 12734 12753
)
"src/oasis/OASISTypes.ml" 417 12860 12913 "src/oasis/OASISTypes.ml" 417 12860 12927
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 417 12860 12885 "src/oasis/OASISTypes.ml" 417 12860 12928
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 417 12860 12868 "src/oasis/OASISTypes.ml" 417 12860 12929
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 415 12779 12785 "src/oasis/OASISTypes.ml" 417 12860 12931
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 414 12756 12760 "src/oasis/OASISTypes.ml" 417 12860 12932
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 419 12938 12944 "src/oasis/OASISTypes.ml" 419 12938 12954
type(
  vcs -> OASISDataNotation.t
)
ident(
  def odn_of_vcs "src/oasis/OASISTypes.ml" 431 13370 13372 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 421 12970 12976 "src/oasis/OASISTypes.ml" 421 12970 12981
type(
  vcs
)
"src/oasis/OASISTypes.ml" 421 12970 12990 "src/oasis/OASISTypes.ml" 421 12970 13008
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 421 12970 13010 "src/oasis/OASISTypes.ml" 421 12970 13012
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 421 12970 12985 "src/oasis/OASISTypes.ml" 421 12970 13013
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 422 13014 13020 "src/oasis/OASISTypes.ml" 422 13014 13023
type(
  vcs
)
"src/oasis/OASISTypes.ml" 422 13014 13032 "src/oasis/OASISTypes.ml" 422 13014 13048
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 422 13014 13050 "src/oasis/OASISTypes.ml" 422 13014 13052
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 422 13014 13027 "src/oasis/OASISTypes.ml" 422 13014 13053
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 423 13054 13060 "src/oasis/OASISTypes.ml" 423 13054 13063
type(
  vcs
)
"src/oasis/OASISTypes.ml" 423 13054 13072 "src/oasis/OASISTypes.ml" 423 13054 13088
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 423 13054 13090 "src/oasis/OASISTypes.ml" 423 13054 13092
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 423 13054 13067 "src/oasis/OASISTypes.ml" 423 13054 13093
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 424 13094 13100 "src/oasis/OASISTypes.ml" 424 13094 13103
type(
  vcs
)
"src/oasis/OASISTypes.ml" 424 13094 13112 "src/oasis/OASISTypes.ml" 424 13094 13128
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 424 13094 13130 "src/oasis/OASISTypes.ml" 424 13094 13132
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 424 13094 13107 "src/oasis/OASISTypes.ml" 424 13094 13133
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 425 13134 13140 "src/oasis/OASISTypes.ml" 425 13134 13142
type(
  vcs
)
"src/oasis/OASISTypes.ml" 425 13134 13151 "src/oasis/OASISTypes.ml" 425 13134 13166
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 425 13134 13168 "src/oasis/OASISTypes.ml" 425 13134 13170
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 425 13134 13146 "src/oasis/OASISTypes.ml" 425 13134 13171
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 426 13172 13178 "src/oasis/OASISTypes.ml" 426 13172 13181
type(
  vcs
)
"src/oasis/OASISTypes.ml" 426 13172 13190 "src/oasis/OASISTypes.ml" 426 13172 13206
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 426 13172 13208 "src/oasis/OASISTypes.ml" 426 13172 13210
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 426 13172 13185 "src/oasis/OASISTypes.ml" 426 13172 13211
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 427 13212 13218 "src/oasis/OASISTypes.ml" 427 13212 13222
type(
  vcs
)
"src/oasis/OASISTypes.ml" 427 13212 13231 "src/oasis/OASISTypes.ml" 427 13212 13248
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 427 13212 13250 "src/oasis/OASISTypes.ml" 427 13212 13252
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 427 13212 13226 "src/oasis/OASISTypes.ml" 427 13212 13253
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 428 13254 13260 "src/oasis/OASISTypes.ml" 428 13254 13268
type(
  vcs
)
"src/oasis/OASISTypes.ml" 428 13254 13277 "src/oasis/OASISTypes.ml" 428 13254 13298
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 428 13254 13300 "src/oasis/OASISTypes.ml" 428 13254 13302
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 428 13254 13272 "src/oasis/OASISTypes.ml" 428 13254 13303
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 429 13304 13319 "src/oasis/OASISTypes.ml" 429 13304 13321
type(
  url
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 429 13304 13325 "src/oasis/OASISTypes.ml" 429 13304 13364
)
"src/oasis/OASISTypes.ml" 429 13304 13310 "src/oasis/OASISTypes.ml" 429 13304 13321
type(
  vcs
)
"src/oasis/OASISTypes.ml" 429 13304 13330 "src/oasis/OASISTypes.ml" 429 13304 13351
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 429 13304 13359 "src/oasis/OASISTypes.ml" 429 13304 13361
type(
  url
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 429 13304 13319 "src/oasis/OASISTypes.ml" 429 13304 13321
)
"src/oasis/OASISTypes.ml" 429 13304 13355 "src/oasis/OASISTypes.ml" 429 13304 13361
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 429 13304 13353 "src/oasis/OASISTypes.ml" 429 13304 13363
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 429 13304 13325 "src/oasis/OASISTypes.ml" 429 13304 13364
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 420 12957 12961 "src/oasis/OASISTypes.ml" 429 13304 13364
type(
  vcs -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 431 13370 13376 "src/oasis/OASISTypes.ml" 431 13370 13400
type(
  source_repository -> OASISDataNotation.t
)
ident(
  def odn_of_source_repository "src/oasis/OASISTypes.ml" 446 13952 13954 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
type(
  source_repository
)
ident(
  def v "src/oasis/OASISTypes.ml" 432 13405 13409 "src/oasis/OASISTypes.ml" 444 13883 13946
)
"src/oasis/OASISTypes.ml" 432 13405 13414 "src/oasis/OASISTypes.ml" 432 13405 13426
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 433 13428 13437 "src/oasis/OASISTypes.ml" 433 13428 13452
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 433 13428 13455 "src/oasis/OASISTypes.ml" 433 13428 13465
type(
  vcs -> OASISDataNotation.t
)
ident(
  int_ref odn_of_vcs "src/oasis/OASISTypes.ml" 419 12938 12944 "src/oasis/OASISTypes.ml" 419 12938 12954
)
"src/oasis/OASISTypes.ml" 433 13428 13466 "src/oasis/OASISTypes.ml" 433 13428 13467
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 433 13428 13466 "src/oasis/OASISTypes.ml" 433 13428 13481
type(
  vcs
)
"src/oasis/OASISTypes.ml" 433 13428 13454 "src/oasis/OASISTypes.ml" 433 13428 13482
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 433 13428 13436 "src/oasis/OASISTypes.ml" 433 13428 13483
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 434 13485 13494 "src/oasis/OASISTypes.ml" 434 13485 13513
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 434 13485 13520 "src/oasis/OASISTypes.ml" 434 13485 13521
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 434 13485 13520 "src/oasis/OASISTypes.ml" 434 13485 13539
type(
  url
)
"src/oasis/OASISTypes.ml" 434 13485 13515 "src/oasis/OASISTypes.ml" 434 13485 13540
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 434 13485 13493 "src/oasis/OASISTypes.ml" 434 13485 13541
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 435 13543 13552 "src/oasis/OASISTypes.ml" 435 13543 13570
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 436 13572 13582 "src/oasis/OASISTypes.ml" 436 13572 13591
type(
  (url -> OASISDataNotation.t) -> url option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 436 13572 13592 "src/oasis/OASISTypes.ml" 436 13572 13601
type(
  url -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 436 13572 13602 "src/oasis/OASISTypes.ml" 436 13572 13603
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 436 13572 13602 "src/oasis/OASISTypes.ml" 436 13572 13620
type(
  url option
)
"src/oasis/OASISTypes.ml" 436 13572 13581 "src/oasis/OASISTypes.ml" 436 13572 13621
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 435 13543 13551 "src/oasis/OASISTypes.ml" 436 13572 13622
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 437 13624 13633 "src/oasis/OASISTypes.ml" 437 13624 13650
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 438 13652 13662 "src/oasis/OASISTypes.ml" 438 13652 13671
type(
  (string -> OASISDataNotation.t) -> string option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 438 13652 13672 "src/oasis/OASISTypes.ml" 438 13652 13681
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 438 13652 13682 "src/oasis/OASISTypes.ml" 438 13652 13683
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 438 13652 13682 "src/oasis/OASISTypes.ml" 438 13652 13699
type(
  string option
)
"src/oasis/OASISTypes.ml" 438 13652 13661 "src/oasis/OASISTypes.ml" 438 13652 13700
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 437 13624 13632 "src/oasis/OASISTypes.ml" 438 13652 13701
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 439 13703 13712 "src/oasis/OASISTypes.ml" 439 13703 13729
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 440 13731 13741 "src/oasis/OASISTypes.ml" 440 13731 13750
type(
  (string -> OASISDataNotation.t) -> string option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 440 13731 13751 "src/oasis/OASISTypes.ml" 440 13731 13760
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 440 13731 13761 "src/oasis/OASISTypes.ml" 440 13731 13762
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 440 13731 13761 "src/oasis/OASISTypes.ml" 440 13731 13778
type(
  string option
)
"src/oasis/OASISTypes.ml" 440 13731 13740 "src/oasis/OASISTypes.ml" 440 13731 13779
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 439 13703 13711 "src/oasis/OASISTypes.ml" 440 13731 13780
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 441 13782 13791 "src/oasis/OASISTypes.ml" 441 13782 13805
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 442 13807 13817 "src/oasis/OASISTypes.ml" 442 13807 13826
type(
  (string -> OASISDataNotation.t) -> string option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 442 13807 13827 "src/oasis/OASISTypes.ml" 442 13807 13836
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 442 13807 13837 "src/oasis/OASISTypes.ml" 442 13807 13838
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 442 13807 13837 "src/oasis/OASISTypes.ml" 442 13807 13851
type(
  string option
)
"src/oasis/OASISTypes.ml" 442 13807 13816 "src/oasis/OASISTypes.ml" 442 13807 13852
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 441 13782 13790 "src/oasis/OASISTypes.ml" 442 13807 13853
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 443 13855 13864 "src/oasis/OASISTypes.ml" 443 13855 13881
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 444 13883 13893 "src/oasis/OASISTypes.ml" 444 13883 13902
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 444 13883 13903 "src/oasis/OASISTypes.ml" 444 13883 13923
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 444 13883 13924 "src/oasis/OASISTypes.ml" 444 13883 13925
type(
  source_repository
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 431 13370 13401 "src/oasis/OASISTypes.ml" 431 13370 13402
)
"src/oasis/OASISTypes.ml" 444 13883 13924 "src/oasis/OASISTypes.ml" 444 13883 13941
type(
  unix_filename option
)
"src/oasis/OASISTypes.ml" 444 13883 13892 "src/oasis/OASISTypes.ml" 444 13883 13942
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 443 13855 13863 "src/oasis/OASISTypes.ml" 444 13883 13943
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 433 13428 13434 "src/oasis/OASISTypes.ml" 444 13883 13945
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 432 13405 13409 "src/oasis/OASISTypes.ml" 444 13883 13946
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 446 13952 13958 "src/oasis/OASISTypes.ml" 446 13952 13969
type(
  test -> OASISDataNotation.t
)
ident(
  def odn_of_test "src/oasis/OASISTypes.ml" 459 14493 14495 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
type(
  test
)
ident(
  def v "src/oasis/OASISTypes.ml" 447 13974 13978 "src/oasis/OASISTypes.ml" 457 14426 14487
)
"src/oasis/OASISTypes.ml" 447 13974 13983 "src/oasis/OASISTypes.ml" 447 13974 13995
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 448 13997 14006 "src/oasis/OASISTypes.ml" 448 13997 14017
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 449 14019 14029 "src/oasis/OASISTypes.ml" 449 14019 14042
type(
  ([ `Test ] -> OASISDataNotation.t) ->
  [ `Test ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 449 14019 14055 "src/oasis/OASISTypes.ml" 449 14019 14060
type(
  [ `Test ]
)
"src/oasis/OASISTypes.ml" 449 14019 14069 "src/oasis/OASISTypes.ml" 449 14019 14075
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 449 14019 14077 "src/oasis/OASISTypes.ml" 449 14019 14081
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 449 14019 14064 "src/oasis/OASISTypes.ml" 449 14019 14082
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 449 14019 14043 "src/oasis/OASISTypes.ml" 449 14019 14083
type(
  [ `Test ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 450 14084 14096 "src/oasis/OASISTypes.ml" 450 14084 14097
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 450 14084 14096 "src/oasis/OASISTypes.ml" 450 14084 14107
type(
  [ `Test ] plugin
)
"src/oasis/OASISTypes.ml" 449 14019 14028 "src/oasis/OASISTypes.ml" 450 14084 14108
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 448 13997 14005 "src/oasis/OASISTypes.ml" 450 14084 14109
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 451 14111 14120 "src/oasis/OASISTypes.ml" 451 14111 14134
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 452 14136 14146 "src/oasis/OASISTypes.ml" 452 14136 14164
type(
  (command_line -> OASISDataNotation.t) ->
  command_line OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 452 14136 14165 "src/oasis/OASISTypes.ml" 452 14136 14184
type(
  command_line -> OASISDataNotation.t
)
ident(
  int_ref odn_of_command_line "src/oasis/OASISTypes.ml" 305 8583 8587 "src/oasis/OASISTypes.ml" 305 8583 8606
)
"src/oasis/OASISTypes.ml" 452 14136 14185 "src/oasis/OASISTypes.ml" 452 14136 14186
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 452 14136 14185 "src/oasis/OASISTypes.ml" 452 14136 14199
type(
  command_line conditional
)
"src/oasis/OASISTypes.ml" 452 14136 14145 "src/oasis/OASISTypes.ml" 452 14136 14200
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 451 14111 14119 "src/oasis/OASISTypes.ml" 452 14136 14201
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 453 14203 14212 "src/oasis/OASISTypes.ml" 453 14203 14225
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 453 14203 14228 "src/oasis/OASISTypes.ml" 453 14203 14241
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 453 14203 14242 "src/oasis/OASISTypes.ml" 453 14203 14243
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 453 14203 14242 "src/oasis/OASISTypes.ml" 453 14203 14255
type(
  custom
)
"src/oasis/OASISTypes.ml" 453 14203 14227 "src/oasis/OASISTypes.ml" 453 14203 14256
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 453 14203 14211 "src/oasis/OASISTypes.ml" 453 14203 14257
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 454 14259 14268 "src/oasis/OASISTypes.ml" 454 14259 14292
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 455 14294 14304 "src/oasis/OASISTypes.ml" 455 14294 14313
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 455 14294 14314 "src/oasis/OASISTypes.ml" 455 14294 14334
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 455 14294 14335 "src/oasis/OASISTypes.ml" 455 14294 14336
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 455 14294 14335 "src/oasis/OASISTypes.ml" 455 14294 14359
type(
  unix_filename option
)
"src/oasis/OASISTypes.ml" 455 14294 14303 "src/oasis/OASISTypes.ml" 455 14294 14360
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 454 14259 14267 "src/oasis/OASISTypes.ml" 455 14294 14361
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 456 14363 14372 "src/oasis/OASISTypes.ml" 456 14363 14382
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 456 14363 14385 "src/oasis/OASISTypes.ml" 456 14363 14403
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 456 14363 14404 "src/oasis/OASISTypes.ml" 456 14363 14411
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 456 14363 14412 "src/oasis/OASISTypes.ml" 456 14363 14413
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 456 14363 14412 "src/oasis/OASISTypes.ml" 456 14363 14422
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 456 14363 14384 "src/oasis/OASISTypes.ml" 456 14363 14423
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 456 14363 14371 "src/oasis/OASISTypes.ml" 456 14363 14424
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 457 14426 14435 "src/oasis/OASISTypes.ml" 457 14426 14447
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 457 14426 14450 "src/oasis/OASISTypes.ml" 457 14426 14457
type(
  (tool -> OASISDataNotation.t) -> tool list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 457 14426 14458 "src/oasis/OASISTypes.ml" 457 14426 14469
type(
  tool -> OASISDataNotation.t
)
ident(
  int_ref odn_of_tool "src/oasis/OASISTypes.ml" 324 9273 9279 "src/oasis/OASISTypes.ml" 324 9273 9290
)
"src/oasis/OASISTypes.ml" 457 14426 14470 "src/oasis/OASISTypes.ml" 457 14426 14471
type(
  test
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 446 13952 13970 "src/oasis/OASISTypes.ml" 446 13952 13971
)
"src/oasis/OASISTypes.ml" 457 14426 14470 "src/oasis/OASISTypes.ml" 457 14426 14482
type(
  tool list
)
"src/oasis/OASISTypes.ml" 457 14426 14449 "src/oasis/OASISTypes.ml" 457 14426 14483
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 457 14426 14434 "src/oasis/OASISTypes.ml" 457 14426 14484
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 448 13997 14003 "src/oasis/OASISTypes.ml" 457 14426 14486
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 447 13974 13978 "src/oasis/OASISTypes.ml" 457 14426 14487
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 459 14493 14499 "src/oasis/OASISTypes.ml" 459 14493 14516
type(
  doc_format -> OASISDataNotation.t
)
ident(
  def odn_of_doc_format "src/oasis/OASISTypes.ml" 469 14909 14911 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 461 14532 14543 "src/oasis/OASISTypes.ml" 461 14532 14545
type(
  unix_filename
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 461 14532 14549 "src/oasis/OASISTypes.ml" 461 14532 14601
)
"src/oasis/OASISTypes.ml" 461 14532 14538 "src/oasis/OASISTypes.ml" 461 14532 14545
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 461 14532 14554 "src/oasis/OASISTypes.ml" 461 14532 14571
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 461 14532 14575 "src/oasis/OASISTypes.ml" 461 14532 14595
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 461 14532 14596 "src/oasis/OASISTypes.ml" 461 14532 14598
type(
  unix_filename
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 461 14532 14543 "src/oasis/OASISTypes.ml" 461 14532 14545
)
"src/oasis/OASISTypes.ml" 461 14532 14575 "src/oasis/OASISTypes.ml" 461 14532 14598
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 461 14532 14573 "src/oasis/OASISTypes.ml" 461 14532 14600
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 461 14532 14549 "src/oasis/OASISTypes.ml" 461 14532 14601
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 462 14602 14608 "src/oasis/OASISTypes.ml" 462 14602 14615
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 462 14602 14624 "src/oasis/OASISTypes.ml" 462 14602 14644
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 462 14602 14646 "src/oasis/OASISTypes.ml" 462 14602 14648
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 462 14602 14619 "src/oasis/OASISTypes.ml" 462 14602 14649
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 463 14650 14656 "src/oasis/OASISTypes.ml" 463 14650 14659
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 463 14650 14668 "src/oasis/OASISTypes.ml" 463 14650 14684
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 463 14650 14686 "src/oasis/OASISTypes.ml" 463 14650 14688
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 463 14650 14663 "src/oasis/OASISTypes.ml" 463 14650 14689
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 464 14690 14696 "src/oasis/OASISTypes.ml" 464 14690 14706
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 464 14690 14715 "src/oasis/OASISTypes.ml" 464 14690 14738
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 464 14690 14740 "src/oasis/OASISTypes.ml" 464 14690 14742
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 464 14690 14710 "src/oasis/OASISTypes.ml" 464 14690 14743
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 465 14744 14755 "src/oasis/OASISTypes.ml" 465 14744 14757
type(
  unix_filename
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 465 14744 14761 "src/oasis/OASISTypes.ml" 465 14744 14813
)
"src/oasis/OASISTypes.ml" 465 14744 14750 "src/oasis/OASISTypes.ml" 465 14744 14757
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 465 14744 14766 "src/oasis/OASISTypes.ml" 465 14744 14783
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 465 14744 14787 "src/oasis/OASISTypes.ml" 465 14744 14807
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 465 14744 14808 "src/oasis/OASISTypes.ml" 465 14744 14810
type(
  unix_filename
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 465 14744 14755 "src/oasis/OASISTypes.ml" 465 14744 14757
)
"src/oasis/OASISTypes.ml" 465 14744 14787 "src/oasis/OASISTypes.ml" 465 14744 14810
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 465 14744 14785 "src/oasis/OASISTypes.ml" 465 14744 14812
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 465 14744 14761 "src/oasis/OASISTypes.ml" 465 14744 14813
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 466 14814 14820 "src/oasis/OASISTypes.ml" 466 14814 14823
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 466 14814 14832 "src/oasis/OASISTypes.ml" 466 14814 14848
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 466 14814 14850 "src/oasis/OASISTypes.ml" 466 14814 14852
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 466 14814 14827 "src/oasis/OASISTypes.ml" 466 14814 14853
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 467 14854 14860 "src/oasis/OASISTypes.ml" 467 14854 14868
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 467 14854 14877 "src/oasis/OASISTypes.ml" 467 14854 14898
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 467 14854 14900 "src/oasis/OASISTypes.ml" 467 14854 14902
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 467 14854 14872 "src/oasis/OASISTypes.ml" 467 14854 14903
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 460 14519 14523 "src/oasis/OASISTypes.ml" 467 14854 14903
type(
  doc_format -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 469 14909 14915 "src/oasis/OASISTypes.ml" 469 14909 14925
type(
  doc -> OASISDataNotation.t
)
ident(
  def odn_of_doc "src/oasis/OASISTypes.ml" 492 15860 15862 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
type(
  doc
)
ident(
  def v "src/oasis/OASISTypes.ml" 470 14930 14934 "src/oasis/OASISTypes.ml" 490 15802 15854
)
"src/oasis/OASISTypes.ml" 470 14930 14939 "src/oasis/OASISTypes.ml" 470 14930 14951
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 471 14953 14962 "src/oasis/OASISTypes.ml" 471 14953 14972
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 472 14974 14984 "src/oasis/OASISTypes.ml" 472 14974 14997
type(
  ([ `Doc ] -> OASISDataNotation.t) -> [ `Doc ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 472 14974 15010 "src/oasis/OASISTypes.ml" 472 14974 15014
type(
  [ `Doc ]
)
"src/oasis/OASISTypes.ml" 472 14974 15023 "src/oasis/OASISTypes.ml" 472 14974 15028
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 472 14974 15030 "src/oasis/OASISTypes.ml" 472 14974 15034
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 472 14974 15018 "src/oasis/OASISTypes.ml" 472 14974 15035
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 472 14974 14998 "src/oasis/OASISTypes.ml" 472 14974 15036
type(
  [ `Doc ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 472 14974 15037 "src/oasis/OASISTypes.ml" 472 14974 15038
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 472 14974 15037 "src/oasis/OASISTypes.ml" 472 14974 15047
type(
  [ `Doc ] plugin
)
"src/oasis/OASISTypes.ml" 472 14974 14983 "src/oasis/OASISTypes.ml" 472 14974 15048
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 471 14953 14961 "src/oasis/OASISTypes.ml" 472 14974 15049
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 473 15051 15060 "src/oasis/OASISTypes.ml" 473 15051 15072
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 473 15051 15075 "src/oasis/OASISTypes.ml" 473 15051 15088
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 473 15051 15089 "src/oasis/OASISTypes.ml" 473 15051 15090
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 473 15051 15089 "src/oasis/OASISTypes.ml" 473 15051 15101
type(
  custom
)
"src/oasis/OASISTypes.ml" 473 15051 15074 "src/oasis/OASISTypes.ml" 473 15051 15102
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 473 15051 15059 "src/oasis/OASISTypes.ml" 473 15051 15103
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 474 15105 15114 "src/oasis/OASISTypes.ml" 474 15105 15125
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 474 15105 15128 "src/oasis/OASISTypes.ml" 474 15105 15146
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 474 15105 15147 "src/oasis/OASISTypes.ml" 474 15105 15154
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 474 15105 15155 "src/oasis/OASISTypes.ml" 474 15105 15156
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 474 15105 15155 "src/oasis/OASISTypes.ml" 474 15105 15166
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 474 15105 15127 "src/oasis/OASISTypes.ml" 474 15105 15167
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 474 15105 15113 "src/oasis/OASISTypes.ml" 474 15105 15168
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 475 15170 15179 "src/oasis/OASISTypes.ml" 475 15170 15192
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 475 15170 15195 "src/oasis/OASISTypes.ml" 475 15170 15213
type(
  (bool -> OASISDataNotation.t) ->
  bool OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref odn_of_conditional "src/oasis/OASISTypes.ml" 303 8532 8536 "src/oasis/OASISTypes.ml" 303 8532 8554
)
"src/oasis/OASISTypes.ml" 475 15170 15214 "src/oasis/OASISTypes.ml" 475 15170 15221
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISTypes.ml" 475 15170 15222 "src/oasis/OASISTypes.ml" 475 15170 15223
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 475 15170 15222 "src/oasis/OASISTypes.ml" 475 15170 15235
type(
  bool conditional
)
"src/oasis/OASISTypes.ml" 475 15170 15194 "src/oasis/OASISTypes.ml" 475 15170 15236
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 475 15170 15178 "src/oasis/OASISTypes.ml" 475 15170 15237
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 476 15239 15248 "src/oasis/OASISTypes.ml" 476 15239 15265
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 476 15239 15268 "src/oasis/OASISTypes.ml" 476 15239 15288
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 476 15239 15289 "src/oasis/OASISTypes.ml" 476 15239 15290
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 476 15239 15289 "src/oasis/OASISTypes.ml" 476 15239 15306
type(
  unix_filename
)
"src/oasis/OASISTypes.ml" 476 15239 15267 "src/oasis/OASISTypes.ml" 476 15239 15307
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 476 15239 15247 "src/oasis/OASISTypes.ml" 476 15239 15308
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 477 15310 15319 "src/oasis/OASISTypes.ml" 477 15310 15330
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 477 15310 15333 "src/oasis/OASISTypes.ml" 477 15310 15342
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 477 15310 15343 "src/oasis/OASISTypes.ml" 477 15310 15344
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 477 15310 15343 "src/oasis/OASISTypes.ml" 477 15310 15354
type(
  string
)
"src/oasis/OASISTypes.ml" 477 15310 15332 "src/oasis/OASISTypes.ml" 477 15310 15355
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 477 15310 15318 "src/oasis/OASISTypes.ml" 477 15310 15356
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 478 15358 15367 "src/oasis/OASISTypes.ml" 478 15358 15380
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 478 15358 15383 "src/oasis/OASISTypes.ml" 478 15358 15390
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 478 15358 15391 "src/oasis/OASISTypes.ml" 478 15358 15400
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 478 15358 15401 "src/oasis/OASISTypes.ml" 478 15358 15402
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 478 15358 15401 "src/oasis/OASISTypes.ml" 478 15358 15414
type(
  string list
)
"src/oasis/OASISTypes.ml" 478 15358 15382 "src/oasis/OASISTypes.ml" 478 15358 15415
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 478 15358 15366 "src/oasis/OASISTypes.ml" 478 15358 15416
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 479 15418 15427 "src/oasis/OASISTypes.ml" 479 15418 15441
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 480 15443 15453 "src/oasis/OASISTypes.ml" 480 15443 15462
type(
  (string -> OASISDataNotation.t) -> string option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 480 15443 15463 "src/oasis/OASISTypes.ml" 480 15443 15472
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 480 15443 15473 "src/oasis/OASISTypes.ml" 480 15443 15474
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 480 15443 15473 "src/oasis/OASISTypes.ml" 480 15443 15487
type(
  string option
)
"src/oasis/OASISTypes.ml" 480 15443 15452 "src/oasis/OASISTypes.ml" 480 15443 15488
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 479 15418 15426 "src/oasis/OASISTypes.ml" 480 15443 15489
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 481 15491 15500 "src/oasis/OASISTypes.ml" 481 15491 15512
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 481 15491 15515 "src/oasis/OASISTypes.ml" 481 15491 15532
type(
  doc_format -> OASISDataNotation.t
)
ident(
  int_ref odn_of_doc_format "src/oasis/OASISTypes.ml" 459 14493 14499 "src/oasis/OASISTypes.ml" 459 14493 14516
)
"src/oasis/OASISTypes.ml" 481 15491 15533 "src/oasis/OASISTypes.ml" 481 15491 15534
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 481 15491 15533 "src/oasis/OASISTypes.ml" 481 15491 15545
type(
  doc_format
)
"src/oasis/OASISTypes.ml" 481 15491 15514 "src/oasis/OASISTypes.ml" 481 15491 15546
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 481 15491 15499 "src/oasis/OASISTypes.ml" 481 15491 15547
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 482 15549 15558 "src/oasis/OASISTypes.ml" 482 15549 15574
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 483 15576 15586 "src/oasis/OASISTypes.ml" 483 15576 15593
type(
  (unix_filename * unix_filename option -> OASISDataNotation.t) ->
  (unix_filename * unix_filename option) list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 484 15594 15612 "src/oasis/OASISTypes.ml" 484 15594 15614
type(
  unix_filename
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 485 15623 15638 "src/oasis/OASISTypes.ml" 487 15686 15740
)
"src/oasis/OASISTypes.ml" 484 15594 15616 "src/oasis/OASISTypes.ml" 484 15594 15618
type(
  unix_filename option
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 485 15623 15638 "src/oasis/OASISTypes.ml" 487 15686 15740
)
"src/oasis/OASISTypes.ml" 484 15594 15611 "src/oasis/OASISTypes.ml" 484 15594 15619
type(
  unix_filename * unix_filename option
)
"src/oasis/OASISTypes.ml" 486 15642 15661 "src/oasis/OASISTypes.ml" 486 15642 15681
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 486 15642 15682 "src/oasis/OASISTypes.ml" 486 15642 15684
type(
  unix_filename
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 484 15594 15612 "src/oasis/OASISTypes.ml" 484 15594 15614
)
"src/oasis/OASISTypes.ml" 486 15642 15661 "src/oasis/OASISTypes.ml" 486 15642 15684
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 487 15686 15705 "src/oasis/OASISTypes.ml" 487 15686 15714
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 487 15686 15715 "src/oasis/OASISTypes.ml" 487 15686 15735
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 487 15686 15736 "src/oasis/OASISTypes.ml" 487 15686 15738
type(
  unix_filename option
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 484 15594 15616 "src/oasis/OASISTypes.ml" 484 15594 15618
)
"src/oasis/OASISTypes.ml" 487 15686 15705 "src/oasis/OASISTypes.ml" 487 15686 15738
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 486 15642 15659 "src/oasis/OASISTypes.ml" 487 15686 15740
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 485 15623 15638 "src/oasis/OASISTypes.ml" 487 15686 15740
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 484 15594 15606 "src/oasis/OASISTypes.ml" 487 15686 15741
type(
  unix_filename * unix_filename option -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 488 15742 15754 "src/oasis/OASISTypes.ml" 488 15742 15755
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 488 15742 15754 "src/oasis/OASISTypes.ml" 488 15742 15770
type(
  (unix_filename * unix_filename option) list
)
"src/oasis/OASISTypes.ml" 483 15576 15585 "src/oasis/OASISTypes.ml" 488 15742 15771
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 482 15549 15557 "src/oasis/OASISTypes.ml" 488 15742 15772
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 489 15774 15783 "src/oasis/OASISTypes.ml" 489 15774 15800
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 490 15802 15812 "src/oasis/OASISTypes.ml" 490 15802 15819
type(
  (tool -> OASISDataNotation.t) -> tool list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 490 15802 15820 "src/oasis/OASISTypes.ml" 490 15802 15831
type(
  tool -> OASISDataNotation.t
)
ident(
  int_ref odn_of_tool "src/oasis/OASISTypes.ml" 324 9273 9279 "src/oasis/OASISTypes.ml" 324 9273 9290
)
"src/oasis/OASISTypes.ml" 490 15802 15832 "src/oasis/OASISTypes.ml" 490 15802 15833
type(
  doc
)
ident(
  int_ref v "src/oasis/OASISTypes.ml" 469 14909 14926 "src/oasis/OASISTypes.ml" 469 14909 14927
)
"src/oasis/OASISTypes.ml" 490 15802 15832 "src/oasis/OASISTypes.ml" 490 15802 15849
type(
  tool list
)
"src/oasis/OASISTypes.ml" 490 15802 15811 "src/oasis/OASISTypes.ml" 490 15802 15850
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 489 15774 15782 "src/oasis/OASISTypes.ml" 490 15802 15851
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 471 14953 14959 "src/oasis/OASISTypes.ml" 490 15802 15853
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 470 14930 14934 "src/oasis/OASISTypes.ml" 490 15802 15854
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 492 15860 15866 "src/oasis/OASISTypes.ml" 492 15860 15880
type(
  section -> OASISDataNotation.t
)
ident(
  def odn_of_section "src/oasis/OASISTypes.ml" 518 16855 16857 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 494 15896 15912 "src/oasis/OASISTypes.ml" 494 15896 15914
type(
  common_section
)
ident(
  def v2 "src/oasis/OASISTypes.ml" 495 15928 15936 "src/oasis/OASISTypes.ml" 497 16026 16058
)
"src/oasis/OASISTypes.ml" 494 15896 15916 "src/oasis/OASISTypes.ml" 494 15896 15918
type(
  build_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 495 15928 15936 "src/oasis/OASISTypes.ml" 497 16026 16058
)
"src/oasis/OASISTypes.ml" 494 15896 15920 "src/oasis/OASISTypes.ml" 494 15896 15922
type(
  library
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 495 15928 15936 "src/oasis/OASISTypes.ml" 497 16026 16058
)
"src/oasis/OASISTypes.ml" 494 15896 15902 "src/oasis/OASISTypes.ml" 494 15896 15924
type(
  section
)
"src/oasis/OASISTypes.ml" 495 15928 15941 "src/oasis/OASISTypes.ml" 495 15928 15961
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 496 15963 15975 "src/oasis/OASISTypes.ml" 496 15963 15996
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 496 15963 15997 "src/oasis/OASISTypes.ml" 496 15963 15999
type(
  common_section
)
ident(
  int_ref v2 "src/oasis/OASISTypes.ml" 494 15896 15912 "src/oasis/OASISTypes.ml" 494 15896 15914
)
"src/oasis/OASISTypes.ml" 496 15963 15975 "src/oasis/OASISTypes.ml" 496 15963 15999
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 496 15963 16001 "src/oasis/OASISTypes.ml" 496 15963 16021
type(
  build_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_build_section "src/oasis/OASISTypes.ml" 351 10105 10111 "src/oasis/OASISTypes.ml" 351 10105 10131
)
"src/oasis/OASISTypes.ml" 496 15963 16022 "src/oasis/OASISTypes.ml" 496 15963 16024
type(
  build_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 494 15896 15916 "src/oasis/OASISTypes.ml" 494 15896 15918
)
"src/oasis/OASISTypes.ml" 496 15963 16001 "src/oasis/OASISTypes.ml" 496 15963 16024
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 497 16026 16038 "src/oasis/OASISTypes.ml" 497 16026 16052
type(
  library -> OASISDataNotation.t
)
ident(
  int_ref odn_of_library "src/oasis/OASISTypes.ml" 383 11646 11652 "src/oasis/OASISTypes.ml" 383 11646 11666
)
"src/oasis/OASISTypes.ml" 497 16026 16053 "src/oasis/OASISTypes.ml" 497 16026 16055
type(
  library
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 494 15896 15920 "src/oasis/OASISTypes.ml" 494 15896 15922
)
"src/oasis/OASISTypes.ml" 497 16026 16038 "src/oasis/OASISTypes.ml" 497 16026 16055
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 496 15963 15973 "src/oasis/OASISTypes.ml" 497 16026 16057
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 495 15928 15936 "src/oasis/OASISTypes.ml" 497 16026 16058
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 498 16059 16074 "src/oasis/OASISTypes.ml" 498 16059 16076
type(
  common_section
)
ident(
  def v2 "src/oasis/OASISTypes.ml" 499 16090 16098 "src/oasis/OASISTypes.ml" 501 16187 16219
)
"src/oasis/OASISTypes.ml" 498 16059 16078 "src/oasis/OASISTypes.ml" 498 16059 16080
type(
  build_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 499 16090 16098 "src/oasis/OASISTypes.ml" 501 16187 16219
)
"src/oasis/OASISTypes.ml" 498 16059 16082 "src/oasis/OASISTypes.ml" 498 16059 16084
type(
  object_
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 499 16090 16098 "src/oasis/OASISTypes.ml" 501 16187 16219
)
"src/oasis/OASISTypes.ml" 498 16059 16065 "src/oasis/OASISTypes.ml" 498 16059 16086
type(
  section
)
"src/oasis/OASISTypes.ml" 499 16090 16103 "src/oasis/OASISTypes.ml" 499 16090 16122
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 500 16124 16136 "src/oasis/OASISTypes.ml" 500 16124 16157
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 500 16124 16158 "src/oasis/OASISTypes.ml" 500 16124 16160
type(
  common_section
)
ident(
  int_ref v2 "src/oasis/OASISTypes.ml" 498 16059 16074 "src/oasis/OASISTypes.ml" 498 16059 16076
)
"src/oasis/OASISTypes.ml" 500 16124 16136 "src/oasis/OASISTypes.ml" 500 16124 16160
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 500 16124 16162 "src/oasis/OASISTypes.ml" 500 16124 16182
type(
  build_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_build_section "src/oasis/OASISTypes.ml" 351 10105 10111 "src/oasis/OASISTypes.ml" 351 10105 10131
)
"src/oasis/OASISTypes.ml" 500 16124 16183 "src/oasis/OASISTypes.ml" 500 16124 16185
type(
  build_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 498 16059 16078 "src/oasis/OASISTypes.ml" 498 16059 16080
)
"src/oasis/OASISTypes.ml" 500 16124 16162 "src/oasis/OASISTypes.ml" 500 16124 16185
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 501 16187 16199 "src/oasis/OASISTypes.ml" 501 16187 16213
type(
  object_ -> OASISDataNotation.t
)
ident(
  int_ref odn_of_object_ "src/oasis/OASISTypes.ml" 399 12244 12250 "src/oasis/OASISTypes.ml" 399 12244 12264
)
"src/oasis/OASISTypes.ml" 501 16187 16214 "src/oasis/OASISTypes.ml" 501 16187 16216
type(
  object_
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 498 16059 16082 "src/oasis/OASISTypes.ml" 498 16059 16084
)
"src/oasis/OASISTypes.ml" 501 16187 16199 "src/oasis/OASISTypes.ml" 501 16187 16216
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 500 16124 16134 "src/oasis/OASISTypes.ml" 501 16187 16218
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 499 16090 16098 "src/oasis/OASISTypes.ml" 501 16187 16219
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 502 16220 16239 "src/oasis/OASISTypes.ml" 502 16220 16241
type(
  common_section
)
ident(
  def v2 "src/oasis/OASISTypes.ml" 503 16255 16263 "src/oasis/OASISTypes.ml" 505 16356 16391
)
"src/oasis/OASISTypes.ml" 502 16220 16243 "src/oasis/OASISTypes.ml" 502 16220 16245
type(
  build_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 503 16255 16263 "src/oasis/OASISTypes.ml" 505 16356 16391
)
"src/oasis/OASISTypes.ml" 502 16220 16247 "src/oasis/OASISTypes.ml" 502 16220 16249
type(
  executable
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 503 16255 16263 "src/oasis/OASISTypes.ml" 505 16356 16391
)
"src/oasis/OASISTypes.ml" 502 16220 16226 "src/oasis/OASISTypes.ml" 502 16220 16251
type(
  section
)
"src/oasis/OASISTypes.ml" 503 16255 16268 "src/oasis/OASISTypes.ml" 503 16255 16291
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 504 16293 16305 "src/oasis/OASISTypes.ml" 504 16293 16326
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 504 16293 16327 "src/oasis/OASISTypes.ml" 504 16293 16329
type(
  common_section
)
ident(
  int_ref v2 "src/oasis/OASISTypes.ml" 502 16220 16239 "src/oasis/OASISTypes.ml" 502 16220 16241
)
"src/oasis/OASISTypes.ml" 504 16293 16305 "src/oasis/OASISTypes.ml" 504 16293 16329
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 504 16293 16331 "src/oasis/OASISTypes.ml" 504 16293 16351
type(
  build_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_build_section "src/oasis/OASISTypes.ml" 351 10105 10111 "src/oasis/OASISTypes.ml" 351 10105 10131
)
"src/oasis/OASISTypes.ml" 504 16293 16352 "src/oasis/OASISTypes.ml" 504 16293 16354
type(
  build_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 502 16220 16243 "src/oasis/OASISTypes.ml" 502 16220 16245
)
"src/oasis/OASISTypes.ml" 504 16293 16331 "src/oasis/OASISTypes.ml" 504 16293 16354
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 505 16356 16368 "src/oasis/OASISTypes.ml" 505 16356 16385
type(
  executable -> OASISDataNotation.t
)
ident(
  int_ref odn_of_executable "src/oasis/OASISTypes.ml" 408 12561 12567 "src/oasis/OASISTypes.ml" 408 12561 12584
)
"src/oasis/OASISTypes.ml" 505 16356 16386 "src/oasis/OASISTypes.ml" 505 16356 16388
type(
  executable
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 502 16220 16247 "src/oasis/OASISTypes.ml" 502 16220 16249
)
"src/oasis/OASISTypes.ml" 505 16356 16368 "src/oasis/OASISTypes.ml" 505 16356 16388
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 504 16293 16303 "src/oasis/OASISTypes.ml" 505 16356 16390
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 503 16255 16263 "src/oasis/OASISTypes.ml" 505 16356 16391
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 506 16392 16405 "src/oasis/OASISTypes.ml" 506 16392 16407
type(
  common_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 507 16417 16425 "src/oasis/OASISTypes.ml" 508 16449 16504
)
"src/oasis/OASISTypes.ml" 506 16392 16409 "src/oasis/OASISTypes.ml" 506 16392 16411
type(
  flag
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 507 16417 16425 "src/oasis/OASISTypes.ml" 508 16449 16504
)
"src/oasis/OASISTypes.ml" 506 16392 16398 "src/oasis/OASISTypes.ml" 506 16392 16413
type(
  section
)
"src/oasis/OASISTypes.ml" 507 16417 16430 "src/oasis/OASISTypes.ml" 507 16417 16447
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 508 16449 16461 "src/oasis/OASISTypes.ml" 508 16449 16482
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 508 16449 16483 "src/oasis/OASISTypes.ml" 508 16449 16485
type(
  common_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 506 16392 16405 "src/oasis/OASISTypes.ml" 506 16392 16407
)
"src/oasis/OASISTypes.ml" 508 16449 16461 "src/oasis/OASISTypes.ml" 508 16449 16485
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 508 16449 16487 "src/oasis/OASISTypes.ml" 508 16449 16498
type(
  flag -> OASISDataNotation.t
)
ident(
  int_ref odn_of_flag "src/oasis/OASISTypes.ml" 413 12734 12740 "src/oasis/OASISTypes.ml" 413 12734 12751
)
"src/oasis/OASISTypes.ml" 508 16449 16499 "src/oasis/OASISTypes.ml" 508 16449 16501
type(
  flag
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 506 16392 16409 "src/oasis/OASISTypes.ml" 506 16392 16411
)
"src/oasis/OASISTypes.ml" 508 16449 16487 "src/oasis/OASISTypes.ml" 508 16449 16501
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 508 16449 16459 "src/oasis/OASISTypes.ml" 508 16449 16503
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 507 16417 16425 "src/oasis/OASISTypes.ml" 508 16449 16504
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 509 16505 16521 "src/oasis/OASISTypes.ml" 509 16505 16523
type(
  common_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 510 16533 16541 "src/oasis/OASISTypes.ml" 511 16568 16636
)
"src/oasis/OASISTypes.ml" 509 16505 16525 "src/oasis/OASISTypes.ml" 509 16505 16527
type(
  source_repository
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 510 16533 16541 "src/oasis/OASISTypes.ml" 511 16568 16636
)
"src/oasis/OASISTypes.ml" 509 16505 16511 "src/oasis/OASISTypes.ml" 509 16505 16529
type(
  section
)
"src/oasis/OASISTypes.ml" 510 16533 16546 "src/oasis/OASISTypes.ml" 510 16533 16566
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 511 16568 16580 "src/oasis/OASISTypes.ml" 511 16568 16601
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 511 16568 16602 "src/oasis/OASISTypes.ml" 511 16568 16604
type(
  common_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 509 16505 16521 "src/oasis/OASISTypes.ml" 509 16505 16523
)
"src/oasis/OASISTypes.ml" 511 16568 16580 "src/oasis/OASISTypes.ml" 511 16568 16604
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 511 16568 16606 "src/oasis/OASISTypes.ml" 511 16568 16630
type(
  source_repository -> OASISDataNotation.t
)
ident(
  int_ref odn_of_source_repository "src/oasis/OASISTypes.ml" 431 13370 13376 "src/oasis/OASISTypes.ml" 431 13370 13400
)
"src/oasis/OASISTypes.ml" 511 16568 16631 "src/oasis/OASISTypes.ml" 511 16568 16633
type(
  source_repository
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 509 16505 16525 "src/oasis/OASISTypes.ml" 509 16505 16527
)
"src/oasis/OASISTypes.ml" 511 16568 16606 "src/oasis/OASISTypes.ml" 511 16568 16633
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 511 16568 16578 "src/oasis/OASISTypes.ml" 511 16568 16635
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 510 16533 16541 "src/oasis/OASISTypes.ml" 511 16568 16636
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 512 16637 16650 "src/oasis/OASISTypes.ml" 512 16637 16652
type(
  common_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 513 16662 16670 "src/oasis/OASISTypes.ml" 514 16694 16749
)
"src/oasis/OASISTypes.ml" 512 16637 16654 "src/oasis/OASISTypes.ml" 512 16637 16656
type(
  test
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 513 16662 16670 "src/oasis/OASISTypes.ml" 514 16694 16749
)
"src/oasis/OASISTypes.ml" 512 16637 16643 "src/oasis/OASISTypes.ml" 512 16637 16658
type(
  section
)
"src/oasis/OASISTypes.ml" 513 16662 16675 "src/oasis/OASISTypes.ml" 513 16662 16692
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 514 16694 16706 "src/oasis/OASISTypes.ml" 514 16694 16727
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 514 16694 16728 "src/oasis/OASISTypes.ml" 514 16694 16730
type(
  common_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 512 16637 16650 "src/oasis/OASISTypes.ml" 512 16637 16652
)
"src/oasis/OASISTypes.ml" 514 16694 16706 "src/oasis/OASISTypes.ml" 514 16694 16730
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 514 16694 16732 "src/oasis/OASISTypes.ml" 514 16694 16743
type(
  test -> OASISDataNotation.t
)
ident(
  int_ref odn_of_test "src/oasis/OASISTypes.ml" 446 13952 13958 "src/oasis/OASISTypes.ml" 446 13952 13969
)
"src/oasis/OASISTypes.ml" 514 16694 16744 "src/oasis/OASISTypes.ml" 514 16694 16746
type(
  test
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 512 16637 16654 "src/oasis/OASISTypes.ml" 512 16637 16656
)
"src/oasis/OASISTypes.ml" 514 16694 16732 "src/oasis/OASISTypes.ml" 514 16694 16746
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 514 16694 16704 "src/oasis/OASISTypes.ml" 514 16694 16748
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 513 16662 16670 "src/oasis/OASISTypes.ml" 514 16694 16749
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 515 16750 16762 "src/oasis/OASISTypes.ml" 515 16750 16764
type(
  common_section
)
ident(
  def v1 "src/oasis/OASISTypes.ml" 516 16774 16782 "src/oasis/OASISTypes.ml" 516 16774 16849
)
"src/oasis/OASISTypes.ml" 515 16750 16766 "src/oasis/OASISTypes.ml" 515 16750 16768
type(
  doc
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 516 16774 16782 "src/oasis/OASISTypes.ml" 516 16774 16849
)
"src/oasis/OASISTypes.ml" 515 16750 16756 "src/oasis/OASISTypes.ml" 515 16750 16770
type(
  section
)
"src/oasis/OASISTypes.ml" 516 16774 16787 "src/oasis/OASISTypes.ml" 516 16774 16803
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 516 16774 16807 "src/oasis/OASISTypes.ml" 516 16774 16828
type(
  common_section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_common_section "src/oasis/OASISTypes.ml" 345 9933 9939 "src/oasis/OASISTypes.ml" 345 9933 9960
)
"src/oasis/OASISTypes.ml" 516 16774 16829 "src/oasis/OASISTypes.ml" 516 16774 16831
type(
  common_section
)
ident(
  int_ref v1 "src/oasis/OASISTypes.ml" 515 16750 16762 "src/oasis/OASISTypes.ml" 515 16750 16764
)
"src/oasis/OASISTypes.ml" 516 16774 16807 "src/oasis/OASISTypes.ml" 516 16774 16831
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 516 16774 16833 "src/oasis/OASISTypes.ml" 516 16774 16843
type(
  doc -> OASISDataNotation.t
)
ident(
  int_ref odn_of_doc "src/oasis/OASISTypes.ml" 469 14909 14915 "src/oasis/OASISTypes.ml" 469 14909 14925
)
"src/oasis/OASISTypes.ml" 516 16774 16844 "src/oasis/OASISTypes.ml" 516 16774 16846
type(
  doc
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 515 16750 16766 "src/oasis/OASISTypes.ml" 515 16750 16768
)
"src/oasis/OASISTypes.ml" 516 16774 16833 "src/oasis/OASISTypes.ml" 516 16774 16846
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 516 16774 16805 "src/oasis/OASISTypes.ml" 516 16774 16848
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 516 16774 16782 "src/oasis/OASISTypes.ml" 516 16774 16849
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 493 15883 15887 "src/oasis/OASISTypes.ml" 516 16774 16849
type(
  section -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 518 16855 16861 "src/oasis/OASISTypes.ml" 518 16855 16872
type(
  OASISText.elt list -> OASISDataNotation.t
)
ident(
  def odn_of_text "src/oasis/OASISTypes.ml" 527 17157 17159 "src/oasis/OASISTypes.ml" 571 19537 19543
)
"src/oasis/OASISTypes.ml" 519 16875 16883 "src/oasis/OASISTypes.ml" 519 16875 16893
type(
  OASISText.elt -> OASISDataNotation.t
)
ident(
  def odn_of_elt "src/oasis/OASISTypes.ml" 525 17129 17133 "src/oasis/OASISTypes.ml" 525 17129 17151
)
"src/oasis/OASISTypes.ml" 521 16911 16934 "src/oasis/OASISTypes.ml" 521 16911 16936
type(
  string
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 521 16911 16940 "src/oasis/OASISTypes.ml" 521 16911 16980
)
"src/oasis/OASISTypes.ml" 521 16911 16919 "src/oasis/OASISTypes.ml" 521 16911 16936
type(
  OASISText.elt
)
"src/oasis/OASISTypes.ml" 521 16911 16945 "src/oasis/OASISTypes.ml" 521 16911 16961
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 521 16911 16965 "src/oasis/OASISTypes.ml" 521 16911 16974
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 521 16911 16975 "src/oasis/OASISTypes.ml" 521 16911 16977
type(
  string
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 521 16911 16934 "src/oasis/OASISTypes.ml" 521 16911 16936
)
"src/oasis/OASISTypes.ml" 521 16911 16965 "src/oasis/OASISTypes.ml" 521 16911 16977
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 521 16911 16963 "src/oasis/OASISTypes.ml" 521 16911 16979
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 521 16911 16940 "src/oasis/OASISTypes.ml" 521 16911 16980
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 522 16981 17008 "src/oasis/OASISTypes.ml" 522 16981 17010
type(
  string
)
ident(
  def v0 "src/oasis/OASISTypes.ml" 522 16981 17014 "src/oasis/OASISTypes.ml" 522 16981 17058
)
"src/oasis/OASISTypes.ml" 522 16981 16989 "src/oasis/OASISTypes.ml" 522 16981 17010
type(
  OASISText.elt
)
"src/oasis/OASISTypes.ml" 522 16981 17019 "src/oasis/OASISTypes.ml" 522 16981 17039
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 522 16981 17043 "src/oasis/OASISTypes.ml" 522 16981 17052
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 522 16981 17053 "src/oasis/OASISTypes.ml" 522 16981 17055
type(
  string
)
ident(
  int_ref v0 "src/oasis/OASISTypes.ml" 522 16981 17008 "src/oasis/OASISTypes.ml" 522 16981 17010
)
"src/oasis/OASISTypes.ml" 522 16981 17043 "src/oasis/OASISTypes.ml" 522 16981 17055
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 522 16981 17041 "src/oasis/OASISTypes.ml" 522 16981 17057
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 522 16981 17014 "src/oasis/OASISTypes.ml" 522 16981 17058
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 523 17059 17067 "src/oasis/OASISTypes.ml" 523 17059 17086
type(
  OASISText.elt
)
"src/oasis/OASISTypes.ml" 523 17059 17095 "src/oasis/OASISTypes.ml" 523 17059 17116
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 523 17059 17118 "src/oasis/OASISTypes.ml" 523 17059 17120
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 523 17059 17090 "src/oasis/OASISTypes.ml" 523 17059 17121
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 520 16896 16902 "src/oasis/OASISTypes.ml" 523 17059 17121
type(
  OASISText.elt -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 525 17129 17133 "src/oasis/OASISTypes.ml" 525 17129 17140
type(
  (OASISText.elt -> OASISDataNotation.t) ->
  OASISText.elt list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 525 17129 17141 "src/oasis/OASISTypes.ml" 525 17129 17151
type(
  OASISText.elt -> OASISDataNotation.t
)
ident(
  int_ref odn_of_elt "src/oasis/OASISTypes.ml" 519 16875 16883 "src/oasis/OASISTypes.ml" 519 16875 16893
)
"src/oasis/OASISTypes.ml" 525 17129 17133 "src/oasis/OASISTypes.ml" 525 17129 17151
type(
  OASISText.elt list -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 519 16875 16879 "src/oasis/OASISTypes.ml" 525 17129 17151
type(
  OASISText.elt list -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 527 17157 17164 "src/oasis/OASISTypes.ml" 527 17157 17176
type(
  OASISDataNotation.module_name
)
"src/oasis/OASISTypes.ml" 528 17178 17185 "src/oasis/OASISTypes.ml" 528 17178 17200
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 528 17178 17203 "src/oasis/OASISTypes.ml" 528 17178 17224
type(
  OASISVersion.t -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_t "src/oasis/OASISVersion.mli" 67 2629 2629 "src/oasis/OASISVersion.mli" 67 2629 2667
)
"src/oasis/OASISTypes.ml" 528 17178 17225 "src/oasis/OASISTypes.ml" 528 17178 17228
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 528 17178 17225 "src/oasis/OASISTypes.ml" 528 17178 17242
type(
  OASISVersion.t
)
"src/oasis/OASISTypes.ml" 528 17178 17202 "src/oasis/OASISTypes.ml" 528 17178 17243
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 528 17178 17184 "src/oasis/OASISTypes.ml" 528 17178 17244
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 529 17246 17253 "src/oasis/OASISTypes.ml" 529 17246 17268
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 529 17246 17271 "src/oasis/OASISTypes.ml" 529 17246 17280
type(
  (OASISVersion.comparator -> OASISDataNotation.t) ->
  OASISVersion.comparator option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 529 17246 17281 "src/oasis/OASISTypes.ml" 529 17246 17311
type(
  OASISVersion.comparator -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_comparator "src/oasis/OASISVersion.mli" 121 3694 3694 "src/oasis/OASISVersion.mli" 121 3694 3751
)
"src/oasis/OASISTypes.ml" 529 17246 17270 "src/oasis/OASISTypes.ml" 529 17246 17312
type(
  OASISVersion.comparator option -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 529 17246 17313 "src/oasis/OASISTypes.ml" 529 17246 17316
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 529 17246 17313 "src/oasis/OASISTypes.ml" 529 17246 17330
type(
  OASISVersion.comparator option
)
"src/oasis/OASISTypes.ml" 529 17246 17270 "src/oasis/OASISTypes.ml" 529 17246 17330
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 529 17246 17252 "src/oasis/OASISTypes.ml" 529 17246 17331
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 530 17333 17340 "src/oasis/OASISTypes.ml" 530 17333 17349
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 530 17333 17360 "src/oasis/OASISTypes.ml" 530 17333 17381
type(
  OASISVersion.t -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_t "src/oasis/OASISVersion.mli" 67 2629 2629 "src/oasis/OASISVersion.mli" 67 2629 2667
)
"src/oasis/OASISTypes.ml" 530 17333 17382 "src/oasis/OASISTypes.ml" 530 17333 17385
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 530 17333 17382 "src/oasis/OASISTypes.ml" 530 17333 17393
type(
  OASISVersion.t
)
"src/oasis/OASISTypes.ml" 530 17333 17359 "src/oasis/OASISTypes.ml" 530 17333 17394
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 530 17333 17339 "src/oasis/OASISTypes.ml" 530 17333 17395
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 531 17397 17404 "src/oasis/OASISTypes.ml" 531 17397 17413
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 531 17397 17424 "src/oasis/OASISTypes.ml" 531 17397 17445
type(
  OASISLicense.t -> OASISDataNotation.t
)
ident(
  int_ref OASISLicense.odn_of_t "src/oasis/OASISLicense.mli" 152 4170 4170 "src/oasis/OASISLicense.mli" 152 4170 4208
)
"src/oasis/OASISTypes.ml" 531 17397 17446 "src/oasis/OASISTypes.ml" 531 17397 17449
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 531 17397 17446 "src/oasis/OASISTypes.ml" 531 17397 17457
type(
  OASISLicense.t
)
"src/oasis/OASISTypes.ml" 531 17397 17423 "src/oasis/OASISTypes.ml" 531 17397 17458
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 531 17397 17403 "src/oasis/OASISTypes.ml" 531 17397 17459
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 532 17461 17468 "src/oasis/OASISTypes.ml" 532 17461 17485
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 532 17461 17488 "src/oasis/OASISTypes.ml" 532 17461 17497
type(
  (OASISVersion.comparator -> OASISDataNotation.t) ->
  OASISVersion.comparator option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 532 17461 17498 "src/oasis/OASISTypes.ml" 532 17461 17528
type(
  OASISVersion.comparator -> OASISDataNotation.t
)
ident(
  int_ref OASISVersion.odn_of_comparator "src/oasis/OASISVersion.mli" 121 3694 3694 "src/oasis/OASISVersion.mli" 121 3694 3751
)
"src/oasis/OASISTypes.ml" 532 17461 17529 "src/oasis/OASISTypes.ml" 532 17461 17532
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 532 17461 17529 "src/oasis/OASISTypes.ml" 532 17461 17548
type(
  OASISVersion.comparator option
)
"src/oasis/OASISTypes.ml" 532 17461 17487 "src/oasis/OASISTypes.ml" 532 17461 17549
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 532 17461 17467 "src/oasis/OASISTypes.ml" 532 17461 17550
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 533 17552 17559 "src/oasis/OASISTypes.ml" 533 17552 17575
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 533 17552 17579 "src/oasis/OASISTypes.ml" 533 17552 17586
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 533 17552 17587 "src/oasis/OASISTypes.ml" 533 17552 17596
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 533 17552 17597 "src/oasis/OASISTypes.ml" 533 17552 17600
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 533 17552 17597 "src/oasis/OASISTypes.ml" 533 17552 17615
type(
  string list
)
"src/oasis/OASISTypes.ml" 533 17552 17578 "src/oasis/OASISTypes.ml" 533 17552 17616
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 533 17552 17558 "src/oasis/OASISTypes.ml" 533 17552 17617
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 534 17619 17626 "src/oasis/OASISTypes.ml" 534 17619 17641
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 534 17619 17646 "src/oasis/OASISTypes.ml" 534 17619 17653
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 534 17619 17654 "src/oasis/OASISTypes.ml" 534 17619 17663
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 534 17619 17664 "src/oasis/OASISTypes.ml" 534 17619 17667
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 534 17619 17664 "src/oasis/OASISTypes.ml" 534 17619 17681
type(
  string list
)
"src/oasis/OASISTypes.ml" 534 17619 17645 "src/oasis/OASISTypes.ml" 534 17619 17682
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 534 17619 17625 "src/oasis/OASISTypes.ml" 534 17619 17683
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 535 17685 17692 "src/oasis/OASISTypes.ml" 535 17685 17698
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 535 17685 17716 "src/oasis/OASISTypes.ml" 535 17685 17719
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 535 17685 17716 "src/oasis/OASISTypes.ml" 535 17685 17724
type(
  package_name
)
"src/oasis/OASISTypes.ml" 535 17685 17711 "src/oasis/OASISTypes.ml" 535 17685 17725
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 535 17685 17691 "src/oasis/OASISTypes.ml" 535 17685 17726
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 536 17728 17735 "src/oasis/OASISTypes.ml" 536 17728 17749
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 536 17728 17755 "src/oasis/OASISTypes.ml" 536 17728 17764
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 536 17728 17765 "src/oasis/OASISTypes.ml" 536 17728 17785
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 536 17728 17786 "src/oasis/OASISTypes.ml" 536 17728 17789
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 536 17728 17786 "src/oasis/OASISTypes.ml" 536 17728 17802
type(
  unix_filename option
)
"src/oasis/OASISTypes.ml" 536 17728 17754 "src/oasis/OASISTypes.ml" 536 17728 17803
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 536 17728 17734 "src/oasis/OASISTypes.ml" 536 17728 17804
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 537 17806 17813 "src/oasis/OASISTypes.ml" 537 17806 17825
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 537 17806 17833 "src/oasis/OASISTypes.ml" 537 17806 17840
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 537 17806 17841 "src/oasis/OASISTypes.ml" 537 17806 17850
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 537 17806 17851 "src/oasis/OASISTypes.ml" 537 17806 17854
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 537 17806 17851 "src/oasis/OASISTypes.ml" 537 17806 17865
type(
  string list
)
"src/oasis/OASISTypes.ml" 537 17806 17832 "src/oasis/OASISTypes.ml" 537 17806 17866
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 537 17806 17812 "src/oasis/OASISTypes.ml" 537 17806 17867
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 538 17869 17876 "src/oasis/OASISTypes.ml" 538 17869 17889
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 538 17869 17896 "src/oasis/OASISTypes.ml" 538 17869 17903
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 538 17869 17904 "src/oasis/OASISTypes.ml" 538 17869 17913
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 538 17869 17914 "src/oasis/OASISTypes.ml" 538 17869 17917
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 538 17869 17914 "src/oasis/OASISTypes.ml" 538 17869 17929
type(
  string list
)
"src/oasis/OASISTypes.ml" 538 17869 17895 "src/oasis/OASISTypes.ml" 538 17869 17930
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 538 17869 17875 "src/oasis/OASISTypes.ml" 538 17869 17931
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 539 17933 17940 "src/oasis/OASISTypes.ml" 539 17933 17949
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 539 17933 17960 "src/oasis/OASISTypes.ml" 539 17933 17967
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 539 17933 17968 "src/oasis/OASISTypes.ml" 539 17933 17977
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 539 17933 17978 "src/oasis/OASISTypes.ml" 539 17933 17981
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 539 17933 17978 "src/oasis/OASISTypes.ml" 539 17933 17989
type(
  string list
)
"src/oasis/OASISTypes.ml" 539 17933 17959 "src/oasis/OASISTypes.ml" 539 17933 17990
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 539 17933 17939 "src/oasis/OASISTypes.ml" 539 17933 17991
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 540 17993 18000 "src/oasis/OASISTypes.ml" 540 17993 18010
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 540 17993 18020 "src/oasis/OASISTypes.ml" 540 17993 18029
type(
  (url -> OASISDataNotation.t) -> url option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 540 17993 18030 "src/oasis/OASISTypes.ml" 540 17993 18039
type(
  url -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 540 17993 18040 "src/oasis/OASISTypes.ml" 540 17993 18043
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 540 17993 18040 "src/oasis/OASISTypes.ml" 540 17993 18052
type(
  url option
)
"src/oasis/OASISTypes.ml" 540 17993 18019 "src/oasis/OASISTypes.ml" 540 17993 18053
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 540 17993 17999 "src/oasis/OASISTypes.ml" 540 17993 18054
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 541 18056 18063 "src/oasis/OASISTypes.ml" 541 18056 18075
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 541 18056 18083 "src/oasis/OASISTypes.ml" 541 18056 18092
type(
  (url -> OASISDataNotation.t) -> url option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 541 18056 18093 "src/oasis/OASISTypes.ml" 541 18056 18102
type(
  url -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 541 18056 18103 "src/oasis/OASISTypes.ml" 541 18056 18106
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 541 18056 18103 "src/oasis/OASISTypes.ml" 541 18056 18117
type(
  url option
)
"src/oasis/OASISTypes.ml" 541 18056 18082 "src/oasis/OASISTypes.ml" 541 18056 18118
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 541 18056 18062 "src/oasis/OASISTypes.ml" 541 18056 18119
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 542 18121 18128 "src/oasis/OASISTypes.ml" 542 18121 18138
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 542 18121 18148 "src/oasis/OASISTypes.ml" 542 18121 18157
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 542 18121 18158 "src/oasis/OASISTypes.ml" 542 18121 18161
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 542 18121 18158 "src/oasis/OASISTypes.ml" 542 18121 18170
type(
  string
)
"src/oasis/OASISTypes.ml" 542 18121 18147 "src/oasis/OASISTypes.ml" 542 18121 18171
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 542 18121 18127 "src/oasis/OASISTypes.ml" 542 18121 18172
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 543 18174 18181 "src/oasis/OASISTypes.ml" 543 18174 18194
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 543 18174 18201 "src/oasis/OASISTypes.ml" 543 18174 18210
type(
  (OASISText.t -> OASISDataNotation.t) ->
  OASISText.t option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/oasis/OASISTypes.ml" 543 18174 18211 "src/oasis/OASISTypes.ml" 543 18174 18222
type(
  OASISText.t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_text "src/oasis/OASISTypes.ml" 518 16855 16861 "src/oasis/OASISTypes.ml" 518 16855 16872
)
"src/oasis/OASISTypes.ml" 543 18174 18223 "src/oasis/OASISTypes.ml" 543 18174 18226
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 543 18174 18223 "src/oasis/OASISTypes.ml" 543 18174 18238
type(
  OASISText.t option
)
"src/oasis/OASISTypes.ml" 543 18174 18200 "src/oasis/OASISTypes.ml" 543 18174 18239
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 543 18174 18180 "src/oasis/OASISTypes.ml" 543 18174 18240
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 544 18242 18249 "src/oasis/OASISTypes.ml" 544 18242 18255
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 544 18242 18269 "src/oasis/OASISTypes.ml" 544 18242 18276
type(
  (string -> OASISDataNotation.t) -> string list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 544 18242 18277 "src/oasis/OASISTypes.ml" 544 18242 18286
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 544 18242 18287 "src/oasis/OASISTypes.ml" 544 18242 18290
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 544 18242 18287 "src/oasis/OASISTypes.ml" 544 18242 18295
type(
  string list
)
"src/oasis/OASISTypes.ml" 544 18242 18268 "src/oasis/OASISTypes.ml" 544 18242 18296
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 544 18242 18248 "src/oasis/OASISTypes.ml" 544 18242 18297
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 545 18299 18306 "src/oasis/OASISTypes.ml" 545 18299 18318
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 545 18299 18326 "src/oasis/OASISTypes.ml" 545 18299 18333
type(
  (url -> OASISDataNotation.t) -> url list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 545 18299 18334 "src/oasis/OASISTypes.ml" 545 18299 18343
type(
  url -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISTypes.ml" 545 18299 18344 "src/oasis/OASISTypes.ml" 545 18299 18347
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 545 18299 18344 "src/oasis/OASISTypes.ml" 545 18299 18358
type(
  url list
)
"src/oasis/OASISTypes.ml" 545 18299 18325 "src/oasis/OASISTypes.ml" 545 18299 18359
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 545 18299 18305 "src/oasis/OASISTypes.ml" 545 18299 18360
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 546 18362 18369 "src/oasis/OASISTypes.ml" 546 18362 18379
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 546 18362 18389 "src/oasis/OASISTypes.ml" 546 18362 18396
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 546 18362 18397 "src/oasis/OASISTypes.ml" 546 18362 18417
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 546 18362 18418 "src/oasis/OASISTypes.ml" 546 18362 18421
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 546 18362 18418 "src/oasis/OASISTypes.ml" 546 18362 18430
type(
  unix_filename list
)
"src/oasis/OASISTypes.ml" 546 18362 18388 "src/oasis/OASISTypes.ml" 546 18362 18431
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 546 18362 18368 "src/oasis/OASISTypes.ml" 546 18362 18432
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 547 18434 18441 "src/oasis/OASISTypes.ml" 547 18434 18451
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 547 18434 18461 "src/oasis/OASISTypes.ml" 547 18434 18468
type(
  (section -> OASISDataNotation.t) -> section list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 547 18434 18469 "src/oasis/OASISTypes.ml" 547 18434 18483
type(
  section -> OASISDataNotation.t
)
ident(
  int_ref odn_of_section "src/oasis/OASISTypes.ml" 492 15860 15866 "src/oasis/OASISTypes.ml" 492 15860 15880
)
"src/oasis/OASISTypes.ml" 547 18434 18484 "src/oasis/OASISTypes.ml" 547 18434 18487
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 547 18434 18484 "src/oasis/OASISTypes.ml" 547 18434 18496
type(
  section list
)
"src/oasis/OASISTypes.ml" 547 18434 18460 "src/oasis/OASISTypes.ml" 547 18434 18497
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 547 18434 18440 "src/oasis/OASISTypes.ml" 547 18434 18498
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 548 18500 18507 "src/oasis/OASISTypes.ml" 548 18500 18530
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 548 18500 18533 "src/oasis/OASISTypes.ml" 548 18500 18540
type(
  (unix_filename -> OASISDataNotation.t) ->
  unix_filename list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 548 18500 18541 "src/oasis/OASISTypes.ml" 548 18500 18561
type(
  unix_filename -> OASISDataNotation.t
)
ident(
  int_ref odn_of_unix_filename "src/oasis/OASISTypes.ml" 302 8477 8481 "src/oasis/OASISTypes.ml" 302 8477 8501
)
"src/oasis/OASISTypes.ml" 548 18500 18562 "src/oasis/OASISTypes.ml" 548 18500 18565
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 548 18500 18562 "src/oasis/OASISTypes.ml" 548 18500 18587
type(
  unix_filename list
)
"src/oasis/OASISTypes.ml" 548 18500 18532 "src/oasis/OASISTypes.ml" 548 18500 18588
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 548 18500 18506 "src/oasis/OASISTypes.ml" 548 18500 18589
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 549 18591 18598 "src/oasis/OASISTypes.ml" 549 18591 18609
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 550 18611 18619 "src/oasis/OASISTypes.ml" 550 18611 18632
type(
  ([ `Configure ] -> OASISDataNotation.t) ->
  [ `Configure ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 550 18611 18645 "src/oasis/OASISTypes.ml" 550 18611 18655
type(
  [ `Configure ]
)
"src/oasis/OASISTypes.ml" 550 18611 18664 "src/oasis/OASISTypes.ml" 550 18611 18675
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 550 18611 18677 "src/oasis/OASISTypes.ml" 550 18611 18681
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 550 18611 18659 "src/oasis/OASISTypes.ml" 550 18611 18682
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 550 18611 18633 "src/oasis/OASISTypes.ml" 550 18611 18683
type(
  [ `Configure ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 551 18684 18694 "src/oasis/OASISTypes.ml" 551 18684 18697
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 551 18684 18694 "src/oasis/OASISTypes.ml" 551 18684 18707
type(
  [ `Configure ] plugin
)
"src/oasis/OASISTypes.ml" 550 18611 18618 "src/oasis/OASISTypes.ml" 551 18684 18708
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 549 18591 18597 "src/oasis/OASISTypes.ml" 551 18684 18709
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 552 18711 18718 "src/oasis/OASISTypes.ml" 552 18711 18731
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 552 18711 18734 "src/oasis/OASISTypes.ml" 552 18711 18747
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 552 18711 18748 "src/oasis/OASISTypes.ml" 552 18711 18751
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 552 18711 18748 "src/oasis/OASISTypes.ml" 552 18711 18763
type(
  custom
)
"src/oasis/OASISTypes.ml" 552 18711 18733 "src/oasis/OASISTypes.ml" 552 18711 18764
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 552 18711 18717 "src/oasis/OASISTypes.ml" 552 18711 18765
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 553 18767 18774 "src/oasis/OASISTypes.ml" 553 18767 18786
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 554 18788 18796 "src/oasis/OASISTypes.ml" 554 18788 18809
type(
  ([ `Build ] -> OASISDataNotation.t) ->
  [ `Build ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 554 18788 18822 "src/oasis/OASISTypes.ml" 554 18788 18828
type(
  [ `Build ]
)
"src/oasis/OASISTypes.ml" 554 18788 18837 "src/oasis/OASISTypes.ml" 554 18788 18844
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 554 18788 18846 "src/oasis/OASISTypes.ml" 554 18788 18850
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 554 18788 18832 "src/oasis/OASISTypes.ml" 554 18788 18851
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 554 18788 18810 "src/oasis/OASISTypes.ml" 554 18788 18852
type(
  [ `Build ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 555 18853 18863 "src/oasis/OASISTypes.ml" 555 18853 18866
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 555 18853 18863 "src/oasis/OASISTypes.ml" 555 18853 18877
type(
  [ `Build ] plugin
)
"src/oasis/OASISTypes.ml" 554 18788 18795 "src/oasis/OASISTypes.ml" 555 18853 18878
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 553 18767 18773 "src/oasis/OASISTypes.ml" 555 18853 18879
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 556 18881 18888 "src/oasis/OASISTypes.ml" 556 18881 18902
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 556 18881 18905 "src/oasis/OASISTypes.ml" 556 18881 18918
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 556 18881 18919 "src/oasis/OASISTypes.ml" 556 18881 18922
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 556 18881 18919 "src/oasis/OASISTypes.ml" 556 18881 18935
type(
  custom
)
"src/oasis/OASISTypes.ml" 556 18881 18904 "src/oasis/OASISTypes.ml" 556 18881 18936
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 556 18881 18887 "src/oasis/OASISTypes.ml" 556 18881 18937
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 557 18939 18946 "src/oasis/OASISTypes.ml" 557 18939 18960
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 558 18962 18970 "src/oasis/OASISTypes.ml" 558 18962 18983
type(
  ([ `Install ] -> OASISDataNotation.t) ->
  [ `Install ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 558 18962 18996 "src/oasis/OASISTypes.ml" 558 18962 19004
type(
  [ `Install ]
)
"src/oasis/OASISTypes.ml" 558 18962 19013 "src/oasis/OASISTypes.ml" 558 18962 19022
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 558 18962 19024 "src/oasis/OASISTypes.ml" 558 18962 19028
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 558 18962 19008 "src/oasis/OASISTypes.ml" 558 18962 19029
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 558 18962 18984 "src/oasis/OASISTypes.ml" 558 18962 19030
type(
  [ `Install ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 559 19031 19041 "src/oasis/OASISTypes.ml" 559 19031 19044
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 559 19031 19041 "src/oasis/OASISTypes.ml" 559 19031 19057
type(
  [ `Install ] plugin
)
"src/oasis/OASISTypes.ml" 558 18962 18969 "src/oasis/OASISTypes.ml" 559 19031 19058
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 557 18939 18945 "src/oasis/OASISTypes.ml" 559 19031 19059
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 560 19061 19068 "src/oasis/OASISTypes.ml" 560 19061 19084
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 560 19061 19087 "src/oasis/OASISTypes.ml" 560 19061 19100
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 560 19061 19101 "src/oasis/OASISTypes.ml" 560 19061 19104
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 560 19061 19101 "src/oasis/OASISTypes.ml" 560 19061 19119
type(
  custom
)
"src/oasis/OASISTypes.ml" 560 19061 19086 "src/oasis/OASISTypes.ml" 560 19061 19120
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 560 19061 19067 "src/oasis/OASISTypes.ml" 560 19061 19121
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 561 19123 19130 "src/oasis/OASISTypes.ml" 561 19123 19148
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 561 19123 19151 "src/oasis/OASISTypes.ml" 561 19123 19164
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 561 19123 19165 "src/oasis/OASISTypes.ml" 561 19123 19168
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 561 19123 19165 "src/oasis/OASISTypes.ml" 561 19123 19185
type(
  custom
)
"src/oasis/OASISTypes.ml" 561 19123 19150 "src/oasis/OASISTypes.ml" 561 19123 19186
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 561 19123 19129 "src/oasis/OASISTypes.ml" 561 19123 19187
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 562 19189 19196 "src/oasis/OASISTypes.ml" 562 19189 19210
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 562 19189 19213 "src/oasis/OASISTypes.ml" 562 19189 19226
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 562 19189 19227 "src/oasis/OASISTypes.ml" 562 19189 19230
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 562 19189 19227 "src/oasis/OASISTypes.ml" 562 19189 19243
type(
  custom
)
"src/oasis/OASISTypes.ml" 562 19189 19212 "src/oasis/OASISTypes.ml" 562 19189 19244
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 562 19189 19195 "src/oasis/OASISTypes.ml" 562 19189 19245
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 563 19247 19254 "src/oasis/OASISTypes.ml" 563 19247 19272
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 563 19247 19275 "src/oasis/OASISTypes.ml" 563 19247 19288
type(
  custom -> OASISDataNotation.t
)
ident(
  int_ref odn_of_custom "src/oasis/OASISTypes.ml" 318 9043 9049 "src/oasis/OASISTypes.ml" 318 9043 9062
)
"src/oasis/OASISTypes.ml" 563 19247 19289 "src/oasis/OASISTypes.ml" 563 19247 19292
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 563 19247 19289 "src/oasis/OASISTypes.ml" 563 19247 19309
type(
  custom
)
"src/oasis/OASISTypes.ml" 563 19247 19274 "src/oasis/OASISTypes.ml" 563 19247 19310
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 563 19247 19253 "src/oasis/OASISTypes.ml" 563 19247 19311
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 564 19313 19320 "src/oasis/OASISTypes.ml" 564 19313 19329
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 565 19331 19344 "src/oasis/OASISTypes.ml" 565 19331 19345
type(
  [ `Extra ] plugin list
)
ident(
  def x "src/oasis/OASISTypes.ml" 566 19349 19360 "src/oasis/OASISTypes.ml" 567 19368 19441
)
"src/oasis/OASISTypes.ml" 566 19349 19360 "src/oasis/OASISTypes.ml" 566 19349 19367
type(
  ([ `Extra ] plugin -> OASISDataNotation.t) ->
  [ `Extra ] plugin list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISTypes.ml" 567 19368 19382 "src/oasis/OASISTypes.ml" 567 19368 19395
type(
  ([ `Extra ] -> OASISDataNotation.t) ->
  [ `Extra ] plugin -> OASISDataNotation.t
)
ident(
  int_ref odn_of_plugin "src/oasis/OASISTypes.ml" 312 8899 8905 "src/oasis/OASISTypes.ml" 312 8899 8918
)
"src/oasis/OASISTypes.ml" 567 19368 19408 "src/oasis/OASISTypes.ml" 567 19368 19414
type(
  [ `Extra ]
)
"src/oasis/OASISTypes.ml" 567 19368 19423 "src/oasis/OASISTypes.ml" 567 19368 19430
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISTypes.ml" 567 19368 19432 "src/oasis/OASISTypes.ml" 567 19368 19436
type(
  OASISDataNotation.t option
)
"src/oasis/OASISTypes.ml" 567 19368 19418 "src/oasis/OASISTypes.ml" 567 19368 19437
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 567 19368 19396 "src/oasis/OASISTypes.ml" 567 19368 19438
type(
  [ `Extra ] -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 567 19368 19381 "src/oasis/OASISTypes.ml" 567 19368 19439
type(
  [ `Extra ] plugin -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 567 19368 19440 "src/oasis/OASISTypes.ml" 567 19368 19441
type(
  [ `Extra ] plugin list
)
ident(
  int_ref x "src/oasis/OASISTypes.ml" 565 19331 19344 "src/oasis/OASISTypes.ml" 565 19331 19345
)
"src/oasis/OASISTypes.ml" 566 19349 19360 "src/oasis/OASISTypes.ml" 567 19368 19441
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 565 19331 19339 "src/oasis/OASISTypes.ml" 567 19368 19442
type(
  [ `Extra ] plugin list -> OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 568 19443 19453 "src/oasis/OASISTypes.ml" 568 19443 19456
type(
  package
)
ident(
  int_ref pkg "src/oasis/OASISTypes.ml" 308 8736 8755 "src/oasis/OASISTypes.ml" 308 8736 8758
)
"src/oasis/OASISTypes.ml" 568 19443 19453 "src/oasis/OASISTypes.ml" 568 19443 19464
type(
  [ `Extra ] plugin list
)
"src/oasis/OASISTypes.ml" 565 19331 19338 "src/oasis/OASISTypes.ml" 568 19443 19465
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 564 19313 19319 "src/oasis/OASISTypes.ml" 568 19443 19466
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 569 19468 19475 "src/oasis/OASISTypes.ml" 569 19468 19488
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 569 19468 19490 "src/oasis/OASISTypes.ml" 569 19468 19503
type(
  OASISDataNotation.t
)
ident(
  int_ref proplist_data "src/oasis/OASISTypes.ml" 310 8793 8799 "src/oasis/OASISTypes.ml" 310 8793 8812
)
"src/oasis/OASISTypes.ml" 569 19468 19474 "src/oasis/OASISTypes.ml" 569 19468 19504
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 570 19506 19513 "src/oasis/OASISTypes.ml" 570 19506 19526
type(
  OASISDataNotation.field_name
)
"src/oasis/OASISTypes.ml" 570 19506 19532 "src/oasis/OASISTypes.ml" 570 19506 19534
type(
  OASISDataNotation.t list
)
"src/oasis/OASISTypes.ml" 570 19506 19528 "src/oasis/OASISTypes.ml" 570 19506 19534
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 570 19506 19512 "src/oasis/OASISTypes.ml" 570 19506 19535
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 528 17178 17182 "src/oasis/OASISTypes.ml" 571 19537 19542
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/oasis/OASISTypes.ml" 527 17157 17159 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 518 16855 16857 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 492 15860 15862 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 469 14909 14911 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 459 14493 14495 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 446 13952 13954 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 431 13370 13372 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 419 12938 12940 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 413 12734 12736 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 408 12561 12563 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 399 12244 12246 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 383 11646 11648 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 351 10105 10107 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 345 9933 9935 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 339 9754 9756 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 331 9477 9479 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 324 9273 9275 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 318 9043 9045 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 312 8899 8901 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 311 8858 8860 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 310 8793 8795 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
"src/oasis/OASISTypes.ml" 309 8761 8763 "src/oasis/OASISTypes.ml" 571 19537 19543
type(
  OASISDataNotation.t
)
