ConfidentialityChangingEndorsementError
fun ConfidentialityChangingEndorsementError(node: EndorsementNode, from: Label, to: Label)
Content copied to clipboard
Parameters
node
Endorse statement that modifies confidentiality.
from
Label of the expression being declassified.
to
Resulting label of the expression.