type Observation

stelliferous@0.0.2.0 · proofs/storage_buffer_model.bend:138

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

138type Observation<-Element: Data,-buffer: Storage.Buffer<Element>> is Data:
139  Observation{model: Model<Element>,equation: {pack(~Element,model) == buffer : Storage.Buffer<Element>}}