Seclib.Prim.Context
Request — ⚪ definition
structure · source
Vendor-neutral authorization request and evaluation context. No cloud provider noun appears in this module.
structure Request where
CondContext — ⚪ definition
structure · source
structure CondContext where
mkContext — ⚪ definition
def · source
def mkContext (j : Json) : Except String CondContext
CondContext.lookup — ⚪ definition
def · source
def CondContext.lookup (ctx : CondContext) (key : String) : Option Json