"src/oasis/OASISSourceRepository.ml" 27 1722 1726 "src/oasis/OASISSourceRepository.ml" 27 1722 1732
type(
  (OASISTypes.common_section * OASISTypes.source_repository)
  OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISSourceRepository.ml" 27 1722 1770 "src/oasis/OASISSourceRepository.ml" 0 0 -1
)
"src/oasis/OASISSourceRepository.ml" 27 1722 1735 "src/oasis/OASISSourceRepository.ml" 27 1722 1770
type(
  (OASISTypes.common_section * OASISTypes.source_repository)
  OASISSchema_intern.t
)
ident(
  int_ref OASISSourceRepository_intern.schema "src/oasis/OASISSourceRepository_intern.ml" 37 1902 1906 "src/oasis/OASISSourceRepository_intern.ml" 37 1902 1912
)
