sig
  val schema : (OASISTypes.common_section * OASISTypes.flag) OASISSchema.t
end