def pta_node

bendtorch@1.3.0.0 · main.bend:3378

import Base

3378def pta_node(a: PTree, r: PTA) -> PTA:
3379  match r:
3380    case PTA{b, xs, off}: PTA{PNode{a, b}, xs, off}