sig val schema : OASISTypes.package OASISSchema.t end