Module Eval__.Guard

type guard_value =
| GIntVal of int
| GBoolVal of bool
val guard_value_of_vm_atom : Eval__.Vm.link -> guard_value
val vm_atom_of_guard_value : guard_value -> Eval__.Vm.link
val eval_guard_exp : (string * guard_value) list -> Parse.arg -> guard_value
val eval_guard_toplevel : (string * guard_value) list -> Parse.arg -> (string * guard_value) list option
val eval_guard : (string * Eval__.Vm.link) list -> Parse.arg list -> (string * Eval__.Vm.link) list option