LIO.DCLabel

Top-level aliases and functions

type DC

type DCPriv

type DCLabeled

dcDefaultState

evalDC

tryDC

Main types and functions

data Principal

principalBS

principal

data DCLabel

dcPublic

(%%)

(/\)

(\/)

data CNF

class ToCNF c

Lower-level functions

principalName

data Disjunction

dToSet

dFromList

cTrue

cFalse

cToSet

cFromList