You can search for identifiers within the package.
in-package search v0.2.0
fsml
Fsml.Guard
type t = Expr.t
The type of guards associated to transitions. Guards are just boolean expressions.
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> 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 to_string : Expr.t -> string
exception Illegal_guard_expr of Expr.t
val eval : Expr.env -> Expr.t -> bool
eval env e evaluates guard expression e in environment env, returning the corresponding boolean value. Raises Illegal_guard_expr if the expression does not denote a boolean value.
eval env e
e
env
Illegal_guard_expr