package patoline

You can search for identifiers within the package.

in-package search v0.2.0

patoline.bibi
- Bibi
  - AllNames
  - Biblio
    
    B
    
    C
    
    TheBibliography
    
    D
  - BiblioEtAl
    
    TheBibliography
    
    D
  - BiblioInt
    
    TheBibliography
    
    D
  - BiblioNames
    
    TheBibliography
    
    D
  - BiblioStyle
  - CitationInt
  - CitationNames
    
    M
  - CitationStyle
  - DefaultBiblio
    
    C
  - EtAl
  - ItemEtAl
  - ItemInt
  - ItemNames
  - MarginBiblio
    
    C
patoline.driver.Bin
- Bin
patoline.driver.Html
- Html
patoline.driver.Net
- Net
patoline.driver.None
- None
patoline.driver.Pdf
- Pdf
  - FloatMap
patoline.driver.SVG
- HtmlFonts
  - ClassMap
- SVG
- SVGFonts
patoline.format.DefaultFormat
- DefaultFormat
  - Format
    
    D
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
  - Output
patoline.format.FormatArticle
- FormatArticle
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    Proof
    
    TableOfContents
    
    Theorem
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_corollary
    
    Env_definition
    
    Env_example
    
    Env_hypothesis
    
    Env_lemma
    
    Env_proposition
    
    Env_remark
    
    Env_theorem
    
    Theorem
  - MakeFormat
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Env_corollary
    
    Env_definition
    
    Env_example
    
    Env_hypothesis
    
    Env_lemma
    
    Env_proposition
    
    Env_remark
    
    Env_theorem
patoline.format.FormatLetter
- FormatLetter
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    O
    
    TableOfContents
    
    Theorem
patoline.format.FormatLivre
- FormatLivre
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    Proof
    
    TableOfContents
    
    Theorem
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_corollaire
    
    Env_definition
    
    Env_exemple
    
    Env_exercice
    
    Env_hypothese
    
    Env_lemme
    
    Env_preuve
    
    Env_proposition
    
    Env_remarque
    
    Env_theoreme
    
    Theorem
  - MakeFormat
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Env_corollaire
    
    Env_definition
    
    Env_exemple
    
    Env_exercice
    
    Env_hypothese
    
    Env_lemme
    
    Env_preuve
    
    Env_proposition
    
    Env_remarque
    
    Env_theoreme
patoline.format.FormatMemoire
- FormatMemoire
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_algorithm
    
    Th
    
    Env_axiom
    
    Th
    
    Env_center
    
    Env_condition
    
    Env_conjecture
    
    Th
    
    Env_corollaire
    
    Th
    
    Env_corollary
    
    Th
    
    Env_defi
    
    Env_definition
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_example
    
    Th
    
    Env_exemple
    
    Env_exercice
    
    Env_exercise
    
    Th
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_hypothese
    
    Env_itemize
    
    Item
    
    Env_lemma
    
    Th
    
    Env_lemme
    
    Th
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_notation
    
    Env_openproblem
    
    Th
    
    Env_preuve
    
    Env_preuveDe
    
    X
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_prop
    
    Th
    
    Env_proposition
    
    Th
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_remarque
    
    Env_theorem
    
    Th
    
    Env_theoreme
    
    Th
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    Def
    
    M
    
    TableOfContents
    
    Theorem
patoline.format.FormatSlides
- FormatSlides
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Driver'
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_block
    
    M
    
    Env_center
    
    Env_conjecture
    
    Block
    
    M
    
    Th_
    
    Env_corollary
    
    Block
    
    M
    
    Th_
    
    Env_definition
    
    Block
    
    M
    
    Th_
    
    Env_definition_
    
    Block
    
    M
    
    Th_
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_example
    
    Block
    
    M
    
    Th_
    
    Env_exercice
    
    Block
    
    M
    
    Th_
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_hypothesis
    
    Block
    
    M
    
    Th_
    
    Env_itemize
    
    Item
    
    Env_lemma
    
    Block
    
    M
    
    Th_
    
    Env_lemma_
    
    M
    
    Th'
    
    X
    
    Block
    
    M
    
    Th_
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_openproblem
    
    Block
    
    M
    
    Th_
    
    Env_openproblem'
    
    M
    
    Th'
    
    X
    
    Block
    
    M
    
    Th_
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_proposition
    
    Block
    
    M
    
    Th_
    
    Env_proposition_
    
    M
    
    Th'
    
    X
    
    Block
    
    M
    
    Th_
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_remark
    
    Block
    
    M
    
    Th_
    
    Env_remark_
    
    Block
    
    M
    
    Th_
    
    Env_remarque
    
    Block
    
    M
    
    Th_
    
    Env_remarque_
    
    Block
    
    M
    
    Th_
    
    Env_slide
    
    Title
    
    M
    
    Env_states
    
    S
    
    Env_theorem
    
    Block
    
    M
    
    Th_
    
    Env_theorem_
    
    Block
    
    M
    
    Th_
    
    Env_title
    
    MainTableOfContents
    
    Make_theorem
    
    Block
    
    M
    
    Th
    
    Th_
    
    Make_theorem'
    
    M
    
    Th
    
    Th'
    
    X
    
    Block
    
    M
    
    Th_
    
    Output
    
    M
    
    States
    
    TableOfContents
    
    Theorem
    
    Title
patoline.format.FormatThese
- FormatThese
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_algorithm
    
    Th
    
    Env_axiom
    
    Th
    
    Env_center
    
    Env_conjecture
    
    Th
    
    Env_corollary
    
    Th
    
    Env_definition
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_example
    
    Th
    
    Env_exercise
    
    Th
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_lemma
    
    Th
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_openproblem
    
    Th
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_proposition
    
    Th
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_theorem
    
    Th
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    Def
    
    M
    
    TableOfContents
    
    Theorem
  - Output
patoline.format.FormatWeb
- FormatWeb
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Output
    
    M
    
    Theorem
patoline.format.LMFormat
- LMFormat
  - LMMath
  - MakeFormat
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
patoline.format.SimpleSlides
- SimpleSlides
  - Format
    
    D
    
    Default
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
    
    Enumerate_Pattern
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_raw_slide
    
    Env_slide
    
    Title
    
    Env_states
    
    S
    
    Output
    
    M
    
    Slide
    
    T
patoline.hyphen
- Hyphen
patoline.package.giac
- Giac
patoline.package.interactive
- Interactive
  - Make
    
    D
    
    Env_checkBoxes
    
    Item
    
    X
    
    Env_radioButtons
    
    Item
    
    X
    
    Format
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    TableOfContents
    
    Theorem
    
    MkRadioButtons
    
    Enum
    
    Item
    
    Item
    
    X
    
    X
    
    MyDb
  - ModDb
patoline.package.prooftree
- ProofTree
  - Env_proofTree
    
    Stack
  - ProofTree
patoline.patconfig
- Patconfig
  - Config
  - ConfigRC
    
    Config
    
    Data
    
    Make
    
    S
    
    Spec
  - PatDefault
patoline.patfonts
- Patfonts
  - CFF
  - CFFStd
  - Cmap
  - FBezier
  - FTypes
  - FUtil
  - Fonts
  - Opentype
  - Opentype_layout
  - Subst
  - Type2
  - Unicode_ranges
patoline.patodb
- Patodb
  - DbInstance
    
    Interface
  - DbInterface
patoline.patodb.memory
- Patodb_memory
patoline.patodb.sqlite3
- Patodb_sqlite3
patoline.patoraw
- Patoraw
  - Bezier
  - Color
  - Driver
    
    OutputDriver
  - DynDriver
  - RawContent
patoline.patutil
- Patutil
  - Base64
  - DynArray
  - Extra
    
    Filename
    
    IntMap
    
    IntSet
    
    List
    
    StrMap
    
    StrSet
    
    String
  - Graph
    
    Make
  - Util
  - Zipper
    
    Make
    
    D
    
    TreeData
patoline.permap
- Permap
patoline.plot
- Plot
  - Plot
    
    D
    
    Def
    
    Enumerate
    
    Item
    
    M
    
    Enumerate_Pattern
    
    Enumeration
    
    Env_abstract
    
    Env_center
    
    Env_dynamic
    
    X
    
    Env_enumerate
    
    Item
    
    Env_env
    
    M
    
    Env_genumerate
    
    Item
    
    Pat
    
    Env_gproof
    
    X
    
    Env_itemize
    
    Item
    
    Env_mathpar
    
    Env_minipage
    
    Env_noindent
    
    Env_proof
    
    Env_proofOf
    
    X
    
    Env_raggedLeft
    
    Env_raggedRight
    
    Env_title
    
    Make_theorem
    
    Th
    
    Output
    
    M
    
    TableOfContents
    
    Theorem
patoline.typography
- Typography
  - Badness
  - Box
    
    MarkerMap
  - Break
    
    Make
    
    Line
    
    OrderedHashableType
  - Complete
  - ConfigFindFont
  - Debug
  - DefaultMacros
  - Diagrams
    
    Curve
    
    Diagram
    
    Arr
    
    Make
    
    MkMatrix
    
    MakeArray
    
    MakeMathMatrix
    
    MakeMatrix
    
    MakeTabular
    
    Edge
    
    Transfo
    
    Pet
    
    Map
    
    Style
    
    Entity
    
    Gentity
    
    MakeDiagram
    
    Args
    
    Arr
    
    Make
    
    MkMatrix
    
    MakeArray
    
    MakeMathMatrix
    
    MakeMatrix
    
    MakeTabular
    
    Matrix
    
    Transfo
    
    Pet
    
    Map
    
    Style
    
    Matrix3d
    
    Transfo
    
    Pet
    
    Map
    
    Style
    
    Node
    
    BB
    
    Transfo
    
    Pet
    
    Map
    
    Style
    
    Point
    
    Transfo
    
    Pet
    
    Style
    
    Vector
  - Distance
    
    Distance_cache
    
    Distance_data
    
    Profile_cache
    
    Profile_data
  - Document
    
    DocZipper
    
    DocumentStructure
    
    Format
    
    Mathematical
    
    TS
    
    ColMap
    
    LineMap
    
    TreeData
  - Euler
  - FontPattern
  - Geometry
    
    Geo2d
    
    Geo3d
  - Maths
    
    Custom
    
    C
    
    CustomT
    
    Mk_Custom
    
    C
  - Numerals
  - Offset
  - OutputDrawing
  - PageLayout
  - Proj3d
  - TableOfContents
  - Test_offset
  - Verbatim
patoline.unicodelib
- Unicodelib
  - Config
  - Latin1
  - Roman
  - UChar
    
    UMap
  - UCharInfo
  - UTF
    
    EncDec
    
    Make
    
    Buf
    
    ED
  - UTF16
    
    Buf
  - UTF32
    
    Buf
  - UTF8
    
    Buf
  - UTFConvert

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Stack : sig ... end

val stack : Typography__Maths.math list proof Stack.t

val hyp : Typography__Maths.math list -> unit

val ax : 
  ?name:Typography__Maths.math list ->
  Typography__Maths.math list ->
  unit

val leaf : 
  ?name:Typography__Maths.math list ->
  Typography__Maths.math list ->
  unit

val unary : 
  ?name:Typography__Maths.math list ->
  Typography__Maths.math list ->
  unit

val binary : 
  ?name:Typography__Maths.math list ->
  Typography__Maths.math list ->
  unit

val ternary : 
  ?name:Typography__Maths.math list ->
  Typography__Maths.math list ->
  unit

val display_proof : unit -> Typography__Maths.math list

val do_begin_env : unit -> unit

val do_end_env : unit -> unit