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