lem

Lem is a tool for lightweight executable mathematics
Module Lem_sorting
val isPermutationBy : ( 'a -> 'b -> bool ) -> 'a list -> 'b list -> bool
val isSortedBy : ( 'a -> 'a -> bool ) -> 'a list -> bool
val insertBy : ( 'a -> 'a -> bool ) -> 'a -> 'a list -> 'a list
val insertSortBy : ( 'a -> 'a -> bool ) -> 'a list -> 'a list
val predicate_of_ord : ( 'a -> 'b -> int ) -> 'a -> 'b -> bool