module Security_slicing_parameters: sig .. end
sig
end
module P: Plugin.Register(sigval name : stringval shortname : stringval help : stringend)
Plugin.Register
(
val name : string
string
val shortname : string
val help : string
)
include P
module Slicing: False(sigval option_name : stringval help : stringval kind : [> `Tuning ]end)
False
val option_name : string
val kind : [> `Tuning ]
[> `Tuning ]