Variable decide

Type Declaration

• • (question: DecideQuestion): Decision

  • Gathers the facts of an act and asks the issuance policy which semantics it has and whether it is allowed.

    Parameters

    • question: DecideQuestion

      the protocol, the requested semantics, the actor, the subject, S's candidates, the targets and their kind, and may_act

    Returns Decision

    the decision: whether it is allowed, whether a refusal is enforced, which rule refused, the semantics and the audience