Functionals (kxclib.Kxclib.Functionals)

val negate : ('a -> bool) -> 'a -> bool

val both : ('a -> bool) -> ('a -> bool) -> 'a -> bool

val either : ('a -> bool) -> ('a -> bool) -> 'a -> bool

val dig2nd : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

val dig3rd : ('a -> 'b -> 'c -> 'd) -> 'c -> 'a -> 'b -> 'd

val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

val fix1st : 'a -> ('a -> 'b) -> 'b

val fix2nd : 'a -> ('b -> 'a -> 'c) -> 'b -> 'c

val fix3rd : 'a -> ('b -> 'c -> 'a -> 'd) -> 'b -> 'c -> 'd

val fix1st' : 'a -> ('a -> 'b) -> 'c -> 'b

val tap : ('a -> unit) -> 'a -> 'a

val reptill : ('a -> bool) -> ('a -> 'a) -> 'a -> 'a

val ntimes : int -> ('a -> 'a) -> 'a -> 'a

val dotill : ('a -> bool) -> ('a -> 'a) -> 'a -> 'a

val fixpoint : ?maxn:int -> ('a -> 'a) -> 'a -> 'a

val converge' : 
  (int -> 'a -> 'a -> bool) ->
  ('a -> 'a) ->
  'a ->
  ('a, 'b) Stdlib.result

val converge : ('a -> 'a -> bool) -> ('a -> 'a) -> 'a -> ('a, 'b) Stdlib.result

module BasicInfix : sig ... end

module CommonTypes : sig ... end

module Infix = BasicInfix