def pkt_leaf

bend-ml-tensor-array@0.1.19.0 · main.bend:1047

import Base

1047def pkt_leaf(r: PK) -> PKT:
1048  match r:
1049    case PK{a, t}:
1050      PKT{a, PLeaf{t}}