module Instantiator_builder: sig
.. end
Builds a Instantiator
module (used by Transform
) from a Generator_sig
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.