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