links

The Links Programming Language
IN THIS PACKAGE
type t = IrValue.env
val create : 'a -> 'b * 'c Env.Int.t
val of_value_env : 'a -> 'b * 'c Env.Int.t
val append : ('a Value.Env.t * 'b Env.Int.t) -> ('a Value.Env.t * 'b Env.Int.t) -> 'a Value.Env.t * 'b Env.Int.t
val lookup_fun : (Var.var * Value.t option) -> IrValue.t option
val find_fun : (Var.var * Value.t option) -> IrValue.t
val expression_of_value : Value.t -> IrValue.t
val peek_fun_bind : Var.var -> Var.var option
val bind : ('a * 'b Env.Int.t) -> (Env.Int.name * 'c) -> 'd * 'b Env.Int.t