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