Env.MakeEnv = Make(Machine)
val get : Bap.Std.var -> value Machine.tget var returns a value associated with the variable.
val set : Bap.Std.var -> value -> unit Machine.tset var value binds a variable var to the given value.
val add : Bap.Std.var -> Generator.t -> unit Machine.tadd var generator adds the variable var to the environment. If the variable is read before it was bound with the set operation, then a value produces by the generator will be automatically bound with the variable and returned.
val del : Bap.Std.var -> unit Machine.tdel v unsets the variable v.
The variable v is no longer bound to a value.
val has : Bap.Std.var -> bool Machine.thas v evaluates to true if v is bound.
val is_set : Bap.Std.var -> bool Machine.tis_set v evaluates to true if v is bound to a value.
val all : Bap.Std.var Bap.Std.seq Machine.tall is a sequence of all variables defined in the environment. Note, the word _defined_ doesn't mean initialized.