package rfsm

The type of dynamic environments, mapping identifiers to values.

mk_env () should return a new, empty dynamic environment

upd_env l v env should return the environment obtained by adding the binding (l,v) to env. If l is already bound in env, the associated value is updated.

eval_expr env e should return the value obtained by evaluating expression e in environment env. Should raise Illegal_expr in case of failure.

eval_bool env e should return the boolean value obtained by evaluating expression e in environment env. Should raise Illegal_expr if e does not denote a boolean value or in case of failure.

pp_env fmt env should print a readable representation of environment env on formatter fmt.