def depth

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:60

import stelliferous@0.0.2.0/proofs/storage_buffer_model.bend as StorageBufferModel

import Base
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate

60def depth(~Element: Data,model: Model<Element>) -> Nat:
61  Model{tree,length,Certificate.Certificate{depth,equation}} = model
62  depth

Uses (3)

Used by (4)