Module PNoExt.B

type ext
exception TypeDefinitionError of string
type type_base = Mlsem_types.TyExpr.base
type type_regexp = ext Mlsem_types.TyExpr.regexp
type type_expr = ext Mlsem_types.TyExpr.t
type type_env
type var_type_env
val empty_tenv : type_env
val empty_vtenv : var_type_env
type benv = {
  1. tenv : type_env;
  2. vtenv : var_type_env;
}
val empty_benv : benv
val type_base_to_typ : type_base -> Mlsem_types.Ty.t
val type_expr_to_typ : benv -> type_expr -> Mlsem_types.Ty.t * benv
val type_exprs_to_typs : benv -> type_expr list -> Mlsem_types.Ty.t list * benv
val define_abstract : benv -> string -> int -> benv
val define_aliases : benv -> (string * string list * type_expr) list -> benv
val get_enum : benv -> string -> Mlsem_types.Enum.t * benv
val get_tag : benv -> string -> Mlsem_types.Tag.t * benv
val is_test_type : Mlsem_types.Ty.t -> bool