module Instantiator_builder:sig
..end
Builds a Instantiator
module (used by Transform
) from a Generator_sig
module type Generator_sig =sig
..end
Signature for a new instantiator generator.
module type Instantiator =sig
..end
Signature of a instantiator.
module Make_instantiator:
Generates a Instantiator
from a Generator_sig
adding all necessary stuff for
cache and function definition generation, as well as specification
registration.