def content_length

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

import Base

28def content_length(~Element: Data,content: Content<Element>) -> Nat:
29  Content{tree,length} = content
30  length

Uses (2)