Over_applicative.Req
type ('a, 'index) t = ('a, 'index) Applicative.t
The type held by the Indexed Alternative.
Indexed Alternative
val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t
Combine two values of t into one.
t
val neutral : ('a, 'index) t
The neutral element of the t.