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