io.github.iltotore.iron.constraint.numeric$.Less$
See theLess companion class
object Less
Members list
Concise view
Givens
Givens
given `given_==>_StrictEqual_Less`[V1, V2](using V1 < V2 =:= true): Implication[StrictEqual[V1], Less[V2]]
given `given_==>_StrictEqual_Not`[V1, V2](using V1 <= V2 =:= true): Implication[StrictEqual[V2], Not[Less[V1]]]