~/jendhub

def Duration.is_le

bend-time-lib@0.4.0.1 · duration.bend:148

import bend-time-lib@0.4.0.1/duration.bend as Duration
import Base

148def Duration.is_le(a: Duration, b: Duration) -> Bool:
149  Bool.not(Duration.is_lt(b, a))

Uses (4)

Used by (0)

No other definition uses this definition.