package fsml

You can search for identifiers within the package.

in-package search v0.2.0

fsml
- Library fsml
  - Fsml
    
    Action
    
    Builtins
    
    C
    
    Clock
    
    Dot
    
    Event
    
    Expr
    
    Fsm
    
    Fsm_lexer
    
    Fsm_parser
    
    Guard
    
    Misc
    
    Parse
    
    Seqmodel
    
    Simul
    
    State
    
    Tevents
    
    Ops
    
    Transition
    
    Types
    
    Typing
    
    Vcd
    
    Vhdl
- Sources
  - fsml
    
    action.ml
    
    builtins.ml
    
    c.ml
    
    clock.ml
    
    dot.ml
    
    event.ml
    
    expr.ml
    
    fsm.ml
    
    fsm_lexer.ml
    
    fsm_parser.ml
    
    fsml.ml
    
    guard.ml
    
    misc.ml
    
    parse.ml
    
    seqmodel.ml
    
    simul.ml
    
    state.ml
    
    tevents.ml
    
    transition.ml
    
    types.ml
    
    typing.ml
    
    vcd.ml
    
    vhdl.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tevents.Ops`Source

Sourceval (@@@) : t list -> t list -> t list

The @@@ infix operator merges two sequences of TES wrt. clock cycles. Ex: [(0,[x:=1]); (2;[x:=0])] @@@ [(1,[y:=1]); (2;y:=0)] gives [(0,[x:=1]); (1,[y:=1]); (2,[x:=0;y:=0])].

package fsml

Module Tevents.OpsSource

Module `Tevents.Ops`Source