dclabel-0.0.5: The Disjunction Category Label Format

Safe HaskellTrustworthy

DCLabel.Integrity

Description

This module implements integrity-only DC Labels.

Synopsis

Documentation

newtype ILabel Source

An integrity-only DC label.

Constructors

MkILabel DCLabel 

Instances