type AP.Tree
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
491type AP.Tree<-T: Data> is Data:
492 APLeaf{value: T}
493 APNode{xs: AP.Tree<T>, ys: AP.Tree<T>}
Uses (0)
This definition uses no other definition.
import bend-osdev-array@0.1.0.1/PROOF.bend as PROOFimport Base
491type AP.Tree<-T: Data> is Data:
492 APLeaf{value: T}
493 APNode{xs: AP.Tree<T>, ys: AP.Tree<T>}
This definition uses no other definition.