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