type Decision

mylsm-lsm-store@0.6.0.1 · src/transfer/Migrate.bend:25

import Base

25# Admits a fully verified source or rejects it before destination mutation.
26type Decision is Data:
27  MigrateReady{entries: Nat, encoded_bytes: Nat}
28  MigrateRejected{reason: Rejection}