dclabel-0.0.2: The Disjunction Category Label Format
DCLabel.Secrecy
Synopsis
newtype SLabel Source
A secrecy-only DC label.
Constructors
Instances