dclabel-0.0.6: The Disjunction Category Label Format
DCLabel.Integrity
Description
This module implements integrity-only DC Labels.
Synopsis
newtype ILabel Source
An integrity-only DC label.
Constructors
Instances