module Options:sig
..end
include Plugin.General_services
module Enabled:Parameter_sig.Bool
Instantiate transformation enabled
module Kfs:Parameter_sig.Kernel_function_set
Set of kernel function provided for transformation
module NewInstantiator:
Used by Instantiator_builder
to generate options.
val emitter : Emitter.t