PascalsTriangle - 0.1.0

Stdlib.Data.Ord

Definitions

Constructors

LT : Ordering
EQ : Ordering
GT : Ordering

ifOrd : {A : Type} Ordering A A A ASource#