SecLib.LowHigh

Security level for public data

data L

Security level for sensitive data

data H

Abandoning the Sec monad

public