def AP.build

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

import Base

495def AP.build(-T: Data, t: AP.Tree<T>) -> Array<T>:
496  match t:
497    case APLeaf{x}:
498      ALeaf{x}
499    case APNode{xs, ys}:
500      ANode{AP.build(T, xs), AP.build(T, ys)}