~/jendhub

def pt_kind

bendtorch@1.3.0.0 · main.bend:3441

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

3441def pt_kind(+tag: U32) -> PK:
3442  pt_kind2(U32.is_eq(tag, 0), U32.is_eq(tag, 1), U32.is_eq(tag, 2))

Uses (4)

Used by (2)