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