def ptu_node

bendtorch@1.3.0.0 · main.bend:3342

import Base

3342def ptu_node(ra: PTU, rb: PTU) -> PTU:
3343  match ra rb:
3344    case PTU{a, na} PTU{b, nb}: PTU{PNode{a, b}, ((1 + na : U32) + nb : U32)}