Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type global = | GInp of string * Types.typ * stim_desc| GOutp of string * Types.typ| GConst of string * Expr.value| GFun of string * fn_desc
and stim_desc = | Periodic of int * int * int| Sporadic of int list| ValueChange of (int * Expr.value) list
and fn_desc = string list * Expr.tval global_id : global -> stringval string_of_stim : stim_desc -> string