Module type Indexed_alt.WITH_COMBINE

Combine operation. This signature is mainly used to enrich an Indexed_functor with combine.

type ('a, 'index) t

A type ('a, 'index) t held by the Alt.

val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t

Combine two values of t into one.