Authz.tri: def of bend-kit-authz@0.1.0.0
Import: import bend-kit-authz@0.1.0.0/authz.bend as Authz
Lines 37-42 of bend-kit-authz@0.1.0.0/authz.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-authz@0.1.0.0/authz.bend&start_line=37&end_line=42

import Base

def tri(b: Bool) -> Tri:
  match b:
    case True{}:
      Yes{}
    case False{}:
      No{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bend-kit-authz@0.1.0.0/authz.bend&name=Tri