def nonempty

mylsm-lsm-store@0.6.0.1 · src/CrashPointPolicy.bend:3

import Base

3# Pure checkpoint policy. An unset value is represented by the empty string;
4# the non-empty guard distinguishes disabled injection from an exact match.
5def nonempty(value: String) -> Bool:
6  match value:
7    case SNil{}: False{}
8    case SCon{_, _}: True{}