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