dclabel-eci11-0.3: The Disjunction Category Label Format.

DCLabel.Secrecy

Synopsis

Documentation

newtype SLabel Source

A secrecy-only DC label.

Constructors

MkSLabel DCLabel 

Instances