Refinement.Refinementsval empty : tval get : t -> Mlsem_common.Eid.t -> Mlsem_common.REnv.tval get_anonymous : t -> Mlsem_common.REnv.t listval all : t -> Mlsem_common.REnv.t listval add : t -> Mlsem_common.Eid.t -> Mlsem_common.REnv.t -> tval add_anonymous : t -> Mlsem_common.REnv.t -> tval map : (Mlsem_common.REnv.t -> Mlsem_common.REnv.t) -> t -> t