• OCaml logo OCaml logo
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Searching...
    Or go to: Standard Library API
  • Learn
  • Packages
  • Community
  • Blog
  • Playground
  • Get started
  • patoline

  • Documentation
  • patoline.patutil lib
  • Patutil .Extra .List Module
package patoline
  • 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
          • X
      • 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
          • ColMap
          • Line
          • LineMap
        • 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 <