def length

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

import Base

52def length(~Element: Data,model: Model<Element>) -> Nat:
53  Model{tree,length,certificate} = model
54  length

Uses (2)