module Options: sig .. end
sig
end
include Plugin.General_services
module Enabled: Parameter_sig.Bool
Parameter_sig.Bool
module Kfs: Parameter_sig.Kernel_function_set
Parameter_sig.Kernel_function_set
module NewInstantiator: functor (B : sig val function_name : stringend) -> Parameter_sig.Bool
functor (
B
:
val function_name : string
string
end) -> Parameter_sig.Bool
) ->
Instantiator_builder
val emitter : Emitter.t
Emitter.t