Module Substitution


module Substitution: sig .. end
Substitutions interface. An interface to standardize the various substitution functions occurring all over the place: substitution of an index, of a literal, schema or block.


Author(s): Vincent Aravantinos


module type Substituable = sig .. end