sig   type t = OASISTypes.section   val compare : OASISTypes.section -> OASISTypes.section -> int   val equal : OASISTypes.section -> OASISTypes.section -> bool   val hash : OASISTypes.section -> int end