Module Security_slicing

module Security_slicing: sig .. end

Security slicing.


No function is directly exported: they are dynamically registered.