law Balanced

stelliferous@0.0.2.0 · proofs/storage_shape.bend:17

import stelliferous@0.0.2.0/proofs/storage_shape.bend as StorageShape

import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

17law Balanced:
18  for -Element: Data
19  for depth: Nat
20  for tree: Tree.Tree<Element>
21  Data

Uses (5)

Used by (32)