def AP.tnew

bend-osdev-array@0.1.0.1 · PROOF.bend:1150

import Base

1150def AP.tnew(-T: Data, +d: Nat, +v: T) -> AP.Tree<T>:
1151  match d:
1152    case 0n:
1153      APLeaf{v}
1154    case 1n+p:
1155      APNode{AP.tnew(T, p, v), AP.tnew(T, p, v)}