IamExplainer.Grants
CondState.toString — ⚪ definition
def · source
def CondState.toString : CondState → String
| .t => "T"
| .f => "F"
| .u => "U"
| .none_ => "NONE"
— ⚪ definition
instance · source
instance : ToString CondState
Grant — ⚪ definition
structure · source
structure Grant where
stmtGrants — ⚪ definition
def · source
def stmtGrants (ctx : Context) (condCtx : CondContext) (s : Statement) : List Grant
grants — ⚪ definition
def · source
def grants (ctx : Context) (condCtx : CondContext) (p : Policy) : List Grant
grantToJson — ⚪ definition
def · source
def grantToJson (g : Grant) : Json