package lem

  1. Overview
  2. Docs
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