Module With_comb (.ml)

module With_comb: sig .. end

type ('a, 'b, 'c) wt = 'a -> ('b -> 'c) -> 'c 

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

val with_alt : ('a -> ('b -> 'c) -> 'd) ->
       ('e -> ('b -> 'c) -> 'd) -> 'a * 'e -> (exn option * 'b -> 'c) -> 'd

val with_uncurry3 : ('a -> 'b -> 'c -> 'd) -> 'a * 'b * 'c -> 'd