package fsml

  1. Overview
  2. Docs

Transition guards

type t = Expr.t

The type of guards associated to transitions. Guards are just boolean expressions.

val to_yojson : t -> Yojson.Safe.t


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.


Innovation. Community. Security.