<= — The less-than-or-equals operator

Usage

(x: a) <= (y: a) → Bool

Arguments

x
y