Module OASISSection.CSection

Comparable section, we only rely on section_id for comparison. Not exported

val compare : OASISTypes.section -> OASISTypes.section -> int
val equal : OASISTypes.section -> OASISTypes.section -> bool
val hash : OASISTypes.section -> int