Module Options

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: 
functor (B : sig
val function_name : string
end-> Parameter_sig.Bool 

Used by Instantiator_builder to generate options.

val emitter : Emitter.t