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