Bendtorch.pt_kind2: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 3434-3439 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=3434&end_line=3439

import Base

def pt_kind2(z: Bool, o: Bool, l: Bool) -> PK:
  match z o l:
    case True{} _ _: KNew{}
    case False{} True{} _: KNode{}
    case False{} False{} True{}: KLeaf{}
    case False{} False{} False{}: KLeafV{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=PK