module CSection:Comparable section, we only rely on section_id for comparison. Not exportedsig..end
typet =OASISTypes.section
val compare : OASISTypes.section -> OASISTypes.section -> intval equal : OASISTypes.section -> OASISTypes.section -> boolval hash : OASISTypes.section -> int