LIO.TCB.MLObj

Objects with mutable labels

data MLObj policy l object

mlObjTCB

mlPolicyObjTCB

modifyMLObjLabelP

mblessTCB

mblessPTCB

Internal details

Mutable labels

data MLabel policy l

newMLabelP

labelOfMlabel

readMLabelP

withMLabelP

modifyMLabelP

class MLabelOf t

MLabel modificaton policies

class MLabelPolicyDefault policy

class MLabelPolicy policy l

data InternalML

data ExternalML

Helper class for variadic lifting

class LabelIO l io lio