General.ESubst
Interface for GIL Extended Substitutions (e-substitutions)
GIL e-substitutions are (mutable) mappings from GIL Variables to GIL Values.
module type S = S
module Make (Val : Val.S) : sig ... end