sig
type t
val empty : Subst.t
val add : Cil_types.varinfo -> Cil_types.exp -> Subst.t -> Subst.t
val remove : Cil_types.varinfo -> Subst.t -> Subst.t
val expr : ?trans:bool -> Cil_types.exp -> Subst.t -> Cil_types.exp * bool
val lval : ?trans:bool -> Cil_types.lval -> Subst.t -> Cil_types.exp * bool
end