~/jendhub

def iff

mylsm-lsm-store@0.3.2.0 · src/Keys.bend:52

import mylsm-lsm-store@0.3.2.0/src/Keys.bend as Keys
import Base

52def iff(+s1: Bool, +s2: Bool) -> Bool:
53  Bool.and(implies(s1, s2), implies(s2, s1))

Uses (3)

Used by (0)

No other definition uses this definition.