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