"src/oasis/OASISDocument.ml" 27 1722 1726 "src/oasis/OASISDocument.ml" 27 1722 1732
type(
  (OASISTypes.common_section * OASISTypes.doc) OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISDocument.ml" 27 1722 1762 "src/oasis/OASISDocument.ml" 0 0 -1
)
"src/oasis/OASISDocument.ml" 27 1722 1735 "src/oasis/OASISDocument.ml" 27 1722 1762
type(
  (OASISTypes.common_section * OASISTypes.doc) OASISSchema_intern.t
)
ident(
  int_ref OASISDocument_intern.schema "src/oasis/OASISDocument_intern.ml" 39 1878 1882 "src/oasis/OASISDocument_intern.ml" 39 1878 1888
)
