Module Instantiator_builder

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: 
functor (G : Generator_sig-> Instantiator
Generates a Instantiator from a Generator_sig adding all necessary stuff for cache and function definition generation, as well as specification registration.