"src/oasis/OASISPackage.ml" 27 1722 1726 "src/oasis/OASISPackage.ml" 27 1722 1732
type(
  OASISTypes.package OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISPackage.ml" 27 1722 1761 "src/oasis/OASISPackage.ml" 0 0 -1
)
"src/oasis/OASISPackage.ml" 27 1722 1735 "src/oasis/OASISPackage.ml" 27 1722 1761
type(
  OASISTypes.package OASISSchema_intern.t
)
ident(
  int_ref OASISPackage_intern.schema "src/oasis/OASISPackage_intern.ml" 72 2897 2901 "src/oasis/OASISPackage_intern.ml" 72 2897 2907
)
