package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
    
    VarSet
  - Fsm
    
    Repr
    
    Label
    
    Repr
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    States
    
    State
    
    TransLabel
  - Global
  - Ident
  - Intbits
  - Misc
  - Simul
  - Static
    
    DepG
    
    E
    
    Mark
    
    V
  - Stimuli
  - Trace
  - Type_expr
  - Types
    
    Index
    
    VarSet
  - Typing

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = {

te_desc : te_desc;
mutable te_typ : Types.typ;

}

and te_desc =

| TEBool
| TEInt of int_annot
| TEFloat
| TEChar
| TEEvent
| TEName of string
| TEArray of type_index_expr * t

and int_annot =

| TA_none
| TA_size of type_index_expr
| TA_range of type_index_expr * type_index_expr

and type_index_expr =

| TEConst of int
| TEVar of string
| TEBinop of string * type_index_expr * type_index_expr

val string_of_type_index : type_index_expr -> string

val string_of_int_annot : int_annot -> string

val string_of_type_expr : t -> string