def AP.size

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

import bend-osdev-array@0.1.0.1/PROOF.bend as PROOF

import Base

538def AP.size(-T: Data, t: AP.Tree<T>) -> U32:
539  match t:
540    case APLeaf{x}:
541      1
542    case APNode{xs, ys}:
543      U32.shl(AP.size(T, xs))

Uses (3)

Used by (15)