list_compare

Lib.list_compare : 'a cmp -> 'a list cmp

Lifts a comparison function to a lexicographic ordering on lists.

An application list_compare comp (L1,L2) uses comp as a basis for comparing the lists L1 and L2 lexicographically, in left-to-right order. The returned value is one of {LESS, EQUAL, GREATER}.

Failure

If comp fails when applied to corresponding elements of L1 and L2.

Example

- list_compare Int.compare ([1,2,3,4], [1,2,3,4]);
> val it = EQUAL : order

- list_compare Int.compare ([1,2,3,4], [1,2,3,4,5]);
> val it = LESS : order

- list_compare Int.compare ([1,2,3,4], [1,2,3,2]);
> val it = GREATER : order