package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type tenv = {

}

val builtin_tenv : tenv

exception Undef_symbol of string * string * string

exception Type_error of Expr.t * Types.typ * Types.typ

exception Typing_error of string * string * Types.typ * Types.typ

exception Illegal_cast of Expr.t

exception Unbound_type_ctor of string

exception Invalid_record_access of Expr.t

val type_of_type_expr : tenv -> Type_expr.t -> Types.typ

val type_expression : tenv -> Expr.t -> Types.typ

val type_check_stim : tenv -> string -> Types.typ -> Global.stim_desc -> unit

val type_fsm_model : tenv -> Fsm.model -> unit

val type_fsm_inst : tenv -> Fsm.inst -> unit

val dump_tenv : out_channel -> tenv -> unit