"src/oasis/OASISFlag.ml" 27 1722 1726 "src/oasis/OASISFlag.ml" 27 1722 1732
type(
  (OASISTypes.common_section * OASISTypes.flag) OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISFlag.ml" 27 1722 1758 "src/oasis/OASISFlag.ml" 0 0 -1
)
"src/oasis/OASISFlag.ml" 27 1722 1735 "src/oasis/OASISFlag.ml" 27 1722 1758
type(
  (OASISTypes.common_section * OASISTypes.flag) OASISSchema_intern.t
)
ident(
  int_ref OASISFlag_intern.schema "src/oasis/OASISFlag_intern.ml" 40 1898 1902 "src/oasis/OASISFlag_intern.ml" 40 1898 1908
)
