Module Security_slicing_parameters.P

module P: Plugin.Register(sig
val name : string
val shortname : string
val help : string
end)

include Plugin.S
include Parameter_sig.Builder