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