def implies

mylsm-lsm-store@0.6.0.1 · src/Keys.bend:63

import Base

63# Handle implies in the key ordering and comparison.
64def implies(s1: Bool, s2: Bool) -> Bool:
65  match s1:
66    case False{}:
67      True{}
68    case True{}:
69      s2