Module type Incremental_intf.Bind_n

type 'a t
include Bind_n_gen with type ('a, 'w) t := 'a t
type ('a, 'w) t
val bind2 : ('a1'w) t -> ('a2'w) t -> f:('a1 -> 'a2 -> ('b'w) t) -> ('b'w) t
val bind3 : ('a1'w) t -> ('a2'w) t -> ('a3'w) t -> f:('a1 -> 'a2 -> 'a3 -> ('b'w) t) -> ('b'w) t
val bind4 : ('a1'w) t -> ('a2'w) t -> ('a3'w) t -> ('a4'w) t -> f:('a1 -> 'a2 -> 'a3 -> 'a4 -> ('b'w) t) -> ('b'w) t