package lascar

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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
  - FilenameExt
  - ListExt
  - Misc
  - Option
  - OrderedTypeExt
    
    Either
    
    M1
    
    M2
    
    Either3
    
    M1
    
    M2
    
    M3
    
    Pair
    
    M1
    
    M2
    
    T
    
    Triplet
    
    M1
    
    M2
    
    M3
  - Parsing
  - SetExt
    
    Make
    
    E
    
    Elt
    
    Product
    
    Elt
    
    S1
    
    Elt
    
    S2
    
    Elt
    
    S
    
    Elt
  - StringExt
  - Stringable
    
    Pair
    
    M1
    
    M2
    
    T
    
    Triplet
    
    M1
    
    M2
    
    M3
  - Tree
    
    Arg
    
    Make
    
    A
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

Functor for converting a FSM expression, with a given implementation of values into another one with a different implementations

Parameters

module E1 : T

module E2 : T

Signature

val map : (E1.value -> E2.value) -> E1.t -> E2.t