kempe-0.1.1.1: lib/order.kmp
import "prelude/fn.kmp"
type Order { LT | EQ | GT }
; from Mirth
cmpInt : Int Int -- Order
=: [ dup2 =
if( drop2 EQ
, < if ( LT, GT )
)
]
import "prelude/fn.kmp"
type Order { LT | EQ | GT }
; from Mirth
cmpInt : Int Int -- Order
=: [ dup2 =
if( drop2 EQ
, < if ( LT, GT )
)
]