Security_slicing
Security slicing.
No function is directly exported: they are dynamically registered.
module Components : sig ... end
module Security_slicing_parameters : sig ... end