def all

bend-kit-authz@0.1.0.0 · authz.bend:79

import Base

79# Kleene conjunction: No wins, then Unknown.
80def all(a: Tri, b: Tri) -> Tri:
81  match a:
82    case No{}:
83      No{}
84    case Yes{}:
85      b
86    case Unknown{}:
87      match b:
88        case No{}:
89          No{}
90        case Yes{}:
91          Unknown{}
92        case Unknown{}:
93          Unknown{}