type env = (string * Types.typ_scheme) list
type_check_fsm f type checks FSM
!Typing_error when appropriate. Setting the optional
mono argument also checks that all types occuring in the FSM definitions are monomorphic. This is required, for instance to generate C or VHDL code.
type_check_fsm_guard f e type checks guard expression
e in the context of FSM
f. As for
type_check_fsm, setting the
mono optional argument also checks that all involved types are monomorphic. Setting the
with_clk optional argument adds a variable named
clk (with type
int) to the typing environment.
type_check_fsm_action f a type checks action
a in the context of FSM
f. As for
type_check_fsm, passing the
mono optional argument also checks that all involved types are monomorphic.
type_check_stimuli f s type checks a sequence
s of stimuli for a FSM
!Typing_error when appropriate (for example if an event
e refers to a non-existent input of
f or if the type of value asssociated to
e does not match the type of the corresponding input in