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

DCLabel.TCB

Description

This module exports an unsafe-subset of DCLabel.Core, implementing Disjunction Category Labels. A subset of the exported functions and constructors shoul not be exposed to untrusted code; instead, untursted code should import the DCLabel.Safe module.

Documentation