~/jendhub

def capacity

stelliferous@0.0.2.0 · storage_buffer.bend:23

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

23def capacity(~Element: Data,-storage: Array<Element>,certificate: Certificate.Certificate<Element,storage>) -> U32:
24  Certificate.Certificate{depth,equation} = certificate
25  U32.shln(1,depth)

Uses (4)

Used by (0)

No other definition uses this definition.