fsml

A library for describing and describing synchronous finite state machines
IN THIS PACKAGE
Module Fsml . Builtins
val typing_env : (string * Types.typ_scheme) list
val eval_env : (string * Expr.e_val) list