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

  • Documentation
  • lascar.utils lib
  • Utils .ListExt Module
  1. Overview
  2. Docs
ON THIS PAGE
  • Extension to the Stdlib.List module
package lascar
  • lascar
    • Lascar
      • Builtins
        • Bool
        • Int
        • String
      • Conv
        • FromLts
          • Attr
          • Attrs
          • Label
          • M
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • State
          • States
            • Elt
          • Tree
        • Fsm
          • Attr
          • Attrs
          • Expr
          • F
            • Attr
            • Attrs
            • Expr
            • Label
            • M
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
              • Elt
            • Transition
              • Action
                • Expr
              • Condition
                • Expr
            • Tree
            • Valuation
            • Value
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Transition
            • Action
              • Expr
            • Condition
              • Expr
          • Tree
          • Valuation
          • Value
        • ToDfa
          • Attr
          • Attrs
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • N
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • NFA
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • ToLts
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Repr
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
        • ToMealy
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • MM
            • Attr
            • Attrs
            • Label
            • M
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • ToMoore
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • ME
            • Attr
            • Attrs
            • Label
            • M
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
      • Dfa
        • Make
          • Attr
          • Attrs
          • L
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • NFA
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • Product
          • Attr
          • Attrs
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • NFA
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S1
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • NFA
              • Attr
              • Attrs
              • LTSA
                • Attr
                • Attrs
                • Label
                • State
                • States
                  • Elt
                • Tree
              • Label
              • State
              • States
                • Elt
              • Symbol
              • Symbols
              • Tree
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S2
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • NFA
              • Attr
              • Attrs
              • LTSA
                • Attr
                • Attrs
                • Label
                • State
                • States
                  • Elt
                • Tree
              • Label
              • State
              • States
                • Elt
              • Symbol
              • Symbols
              • Tree
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • T
          • Attr
          • Attrs
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • NFA
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • Trans
          • S1
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • NFA
              • Attr
              • Attrs
              • LTSA
                • Attr
                • Attrs
                • Label
                • State
                • States
                  • Elt
                • Tree
              • Label
              • State
              • States
                • Elt
              • Symbol
              • Symbols
              • Tree
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S2
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • NFA
              • Attr
              • Attrs
              • LTSA
                • Attr
                • Attrs
                • Label
                • State
                • States
                  • Elt
                • Tree
              • Label
              • State
              • States
                • Elt
              • Symbol
              • Symbols
              • Tree
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
      • Fsm
        • Make
          • Attr
          • Attrs
          • Expr
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S
          • State
          • States
            • Elt
          • Transition
            • Action
              • Expr
            • Condition
              • Expr
          • Tree
          • V
          • Valuation
        • T
          • Attr
          • Attrs
          • Expr
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Transition
            • Action
              • Expr
            • Condition
              • Expr
          • Tree
          • Valuation
          • Value
        • Trans
          • S1
            • Attr
            • Attrs
            • Expr
            • Label
            • M
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
              • Elt
            • Transition
              • Action
                • Expr
              • Condition
                • Expr
            • Tree
            • Valuation
            • Value
          • S2
            • Attr
            • Attrs
            • Expr
            • Label
            • M
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
              • Elt
            • Transition
              • Action
                • Expr
              • Condition
                • Expr
            • Tree
            • Valuation
            • Value
      • Fsm_action
        • Bool
        • Int
        • Make
          • Expr
        • T
          • Expr
        • Trans
          • A1
            • Expr
          • A2
            • Expr
      • Fsm_condition
        • Make
          • Expr
        • T
          • Expr
        • Trans
          • C1
            • Expr
          • C2
            • Expr
      • Fsm_expr
        • Bool
        • Int
        • Make
          • V
        • T
        • Trans
          • E1
          • E2
      • Fsm_transition
        • Bool
          • Action
          • Condition
        • Int
          • Action
          • Condition
        • Make
          • Action
          • Condition
          • Expr
        • T
          • Action
          • Condition
          • Expr
        • Trans
          • T1
            • Action
            • Condition
            • Expr
          • T2
            • Action
            • Condition
            • Expr
      • Fsm_value
        • Bool
        • Int
        • T
      • Lts
        • IProduct
          • Label
          • M
          • S
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • State
          • States
        • IProduct3
          • Label
          • M
          • S
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • State
          • States
        • Make
          • L
          • Label
          • Repr
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S
          • State
          • States
        • Merge
        • Merge3
        • Product
          • Label
          • Repr
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S1
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • S2
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • State
          • States
        • Product3
          • Label
          • Repr
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S1
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • S2
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • S3
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • State
          • States
        • T
          • Label
          • Repr
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
        • Trans
          • S1
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
          • S2
            • Label
            • Repr
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • State
            • States
      • Ltsa
        • ATTR
        • IProduct
          • Attr
          • Attrs
          • Label
          • M
          • S
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • IProduct3
          • Attr
          • Attrs
          • Label
          • M
          • S
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • Make
          • A
          • Attr
          • Attrs
          • L
          • Label
          • S
          • State
          • States
            • Elt
          • Tree
        • Merge
        • Merge3
        • Product
          • Attr
          • Attrs
          • Label
          • S1
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S2
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • Product3
          • Attr
          • Attrs
          • Label
          • S1
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S2
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S3
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • T
          • Attr
          • Attrs
          • Label
          • State
          • States
            • Elt
          • Tree
        • Trans
          • S1
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S2
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
      • Mealy
        • Make
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S
          • State
          • States
            • Elt
          • Tree
        • T
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
        • TRANSITION
        • Transition
      • Moore
        • Make
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • S
          • State
          • States
            • Elt
          • Tree
        • T
          • Attr
          • Attrs
          • Label
          • M
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • State
          • States
            • Elt
          • Tree
      • Nfa
        • Make
          • Attr
          • Attrs
          • L
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • S
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • Product
          • Attr
          • Attrs
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • S1
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S2
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • SYMBOL
        • T
          • Attr
          • Attrs
          • LTSA
            • Attr
            • Attrs
            • Label
            • State
            • States
              • Elt
            • Tree
          • Label
          • State
          • States
            • Elt
          • Symbol
          • Symbols
          • Tree
        • Trans
          • S1
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
          • S2
            • Attr
            • Attrs
            • LTSA
              • Attr
              • Attrs
              • Label
              • State
              • States
                • Elt
              • Tree
            • Label
            • State
            • States
              • Elt
            • Symbol
            • Symbols
            • Tree
      • Valuation
        • Bool
        • Int
        • Make
          • V
        • T
  • lascar.utils
    • Utils
      • Dot