~/jendhub

def pt_kind2

bendtorch@1.3.0.0 · main.bend:3434

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

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

Uses (2)

Used by (1)