module OASISSection:sig
..end
Manipulate sections.
val string_of_section_kind : OASISTypes.section_kind -> string
Convert section_kind
to string.
val section_kind_common : OASISTypes.section -> OASISTypes.section_kind * OASISTypes.common_section
Extract generic information
val section_common : OASISTypes.section -> OASISTypes.common_section
Common section of a section
val section_common_set : OASISTypes.common_section -> OASISTypes.section -> OASISTypes.section
Set the common part of a section
val section_id : OASISTypes.section -> OASISTypes.section_kind * OASISTypes.name
Key used to identify section
val string_of_section : OASISTypes.section -> string
Convert a section to a short string (only informations returned by
OASISSection.section_id
val section_find : OASISTypes.section_kind * OASISTypes.name ->
OASISTypes.section list -> OASISTypes.section
Find a section
module CSection:sig
..end
Comparable section, we only rely on section_id for comparison.
module MapSection:Map.S
with type key = CSection.t
Map using CSection.
module SetSection:Set.S
with type elt = CSection.t
Set using CSection.