~/jendhub

def Date.is_le

bend-time-lib@0.4.0.1 · date.bend:241

import bend-time-lib@0.4.0.1/date.bend as Date
import Base

241def Date.is_le(a: Date, b: Date) -> Bool:
242  Bool.not(Date.is_lt(b, a))

Uses (4)

Used by (0)

No other definition uses this definition.