package lascar

You can search for identifiers within the package.

in-package search v0.2.0

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
    
    F
    
    Attr
    
    Attrs
    
    Label
    
    M
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    States
    
    Elt
    
    Tree
    
    Label
    
    M
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    States
    
    Elt
    
    Tree
    
    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
    
    ACTION
    
    Action
    
    CONDITION
    
    Condition
    
    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
  - Fsm_expr
  - 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
    
    BVal
    
    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
  - 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

Mealy machines.

A Mealy machine M is a LTS for which transition labels are pairs of input and output variable boolean valuations.

module type TRANSITION = sig ... end

module Transition : TRANSITION

module type T = sig ... end

module Make (S : Lts.STATE) : T with type state = S.t