Functor Plugin.Make

module Make: 
functor (U : sig
end) -> sig .. end

val plugin : string

val plugin_file : string

val plugin_config_file : string

val plugin_config_file_interface : string

val we_have_a_config_file : bool

val we_need_a_plugin : bool

val we_have_a_plugin : bool

val we_have_a_config_file_interface : bool

val up_to_date_or_copy : Pathname.t -> bool

val profiling : bool

val debugging : bool

val rebuild_plugin_if_needed : unit -> unit

val execute_plugin_if_needed : unit -> unit