You can search for identifiers within the package.
in-package search v0.2.0
fsml
Fsml.Expr
type ident = string
The type of identifiers occuring in expressions
val pp_ident : Ppx_deriving_runtime.Format.formatter -> ident -> Ppx_deriving_runtime.unit
val show_ident : ident -> Ppx_deriving_runtime.string
val ident_to_yojson : ident -> Yojson.Safe.t
val ident_of_yojson : Yojson.Safe.t -> ident Ppx_deriving_yojson_runtime.error_or
type t = {
e_desc : e_desc;
mutable e_typ : Types.t;
}
and e_desc =
| EInt of int
| EBool of bool
| EVar of ident
| EBinop of string * t * t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val pp_e_desc : Ppx_deriving_runtime.Format.formatter -> e_desc -> Ppx_deriving_runtime.unit
val show_e_desc : e_desc -> Ppx_deriving_runtime.string
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val e_desc_to_yojson : e_desc -> Yojson.Safe.t
val e_desc_of_yojson : Yojson.Safe.t -> e_desc Ppx_deriving_yojson_runtime.error_or
type value = {
mutable v_desc : e_val;
mutable v_typ : Types.t;
and e_val =
| Int of int
| Bool of bool
| Prim of e_val list -> e_val
| Unknown
| Enum of string
This is a hack to allow tracing of state transitions
val pp_value : Ppx_deriving_runtime.Format.formatter -> value -> Ppx_deriving_runtime.unit
val show_value : value -> Ppx_deriving_runtime.string
val pp_e_val : Ppx_deriving_runtime.Format.formatter -> e_val -> Ppx_deriving_runtime.unit
val show_e_val : e_val -> Ppx_deriving_runtime.string
val of_value : e_val -> t
val is_const : t -> bool
val is_var_test : string -> t -> bool
val mk_bool_expr : e_desc -> t
val mk_int_expr : e_desc -> t
type env = (ident * e_val) list
Evaluation environment
val pp_env : Ppx_deriving_runtime.Format.formatter -> env -> Ppx_deriving_runtime.unit
val show_env : env -> Ppx_deriving_runtime.string
val to_string : t -> string
val string_of_value : e_val -> string
val lookup_env : env -> ident -> e_val
val update_env : env -> (ident * e_val) -> env
exception Unbound_id of ident
exception Unknown_id of ident
exception Illegal_expr of t
exception Illegal_value of e_val
val eval : env -> t -> e_val
val bool_val : e_val -> bool
val int_val : e_val -> int