Module Options

module Options: sig .. end
Instantiate transformation enabled

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: 
functor (B : sig
val function_name : string
end-> Parameter_sig.Bool 
Used by Instantiator_builder to generate options.
val emitter : Emitter.t