OASISSection (u.cfd8690641dc372b3f08fe85035e9229.oasis.0.4.11.doc.oasis.OASISSection)

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 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. Not exported

module MapSection : Map.S with type key = CSection.t

Map using CSection. Not exported

module SetSection : Set.S with type elt = CSection.t

Set using CSection. Not exported