type Tree

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/array.bend:17

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/array.bend as Array
import Base

17type Tree<-T: Data> is Data:
18  TLeaf{value: T}
19  TNode{lo: Tree<T>, hi: Tree<T>}

Uses (0)

This definition uses no other definition.

Used by (33)