module Substitution: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.sig
..end
Author(s): Vincent Aravantinos
module type Substituable =sig
..end