~/bend-docscommunity

src/SstFile.bend fails

raw source on the hub · import mylsm-lsm-store@0.3.1.0/src/SstFile.bend as SstFile

4 imports
import Base
import ./MemTable.bend as MemTable
import ./Sstable.bend as Sstable
import ./SstFileV2.bend as SstFileV2

Definitions

def serialize source · line 9 · raw

@+entries:List<&2, 0x0ae7ac793853e753f5f74c16e06ee078/src/MemTable.Entry> -> @+level:Nat -> String

def parse source · line 13 · raw

@+encoded:String -> Maybe<&2, 0x0ae7ac793853e753f5f74c16e06ee078/src/Sstable.Table>

def is_decided source · line 18 · raw

@+_result:Maybe<&2, 0x0ae7ac793853e753f5f74c16e06ee078/src/Sstable.Table> -> Bool

Total-parser witness used by the hardening law.