Instantiate
module Instantiator_builder : sig ... end
Builds a Instantiator module (used by Transform) from a Generator_sig
Instantiator
Transform
Generator_sig
module Transform : sig ... end
module Global_context : sig ... end