dclabel-0.0.2: The Disjunction Category Label Format
DCLabel.Integrity
Synopsis
newtype ILabel Source
An integrity-only DC label.
Constructors
Instances