Lambda List
lessp-using-type (type u v)
Arguments
-
type -- an ordered data-type
-
u -- a parsed value as returned by parse
-
v -- a parsed value as returned by parse
Return Value
a boolean
Details
Compare the values u and v using a data-type-dependent partial ordering.
A method for this function is provided only by types that have a
natural partial ordering.