package oasis

  1. Overview
  2. Docs

Manipulate sections.

  • author Sylvain Le Gall

Manipulate a section

Extract generic information

Common section of a section

Set the common part of a section

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

Find a section

Containers for sections

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