LessEqual

trait LessEqual[V] extends AlgebraEntryPoint[MathAlgebra] with Order[V, [V] =>> GreaterEqual[V]] with Or[Less[V], StrictEqual[V]]

Constraint: checks if the input value is less or equal to V.

trait Or[Less[V], StrictEqual[V]]
trait Order[V, [V] =>> GreaterEqual[V]]
trait Transitive[V]
trait Antisymmetric[V, [V] =>> GreaterEqual[V]]
trait Reflexive[V]
trait AlgebraEntryPoint[MathAlgebra]
class Object
trait Matchable
class Any