module Security_slicing_parameters: sig .. end
sig
end
module P: Plugin.Register(sig val name : string val shortname : string val help : stringend)
Plugin.Register
(
val name : string
string
val shortname : string
val help : string
)
include P
module Slicing: False(sig val option_name : string val help : stringend)
False
val option_name : string