Module Options

module Options: sig .. end

include Plugin.S

val name : string

module Filename: Parameter_sig.String 

module Init_func: Parameter_sig.Kernel_function_set 

module Uncalled: Parameter_sig.Bool 

module Uncalled_leaf: Parameter_sig.Bool 

module Services: Parameter_sig.Bool 

val dump : (Pervasives.out_channel -> 'a -> unit) -> 'a -> unit