Indexed_monad_plus.WITH_NEUTRAL_AND_COMBINE
Minimal interfaces of Indexed Alternative without Indexed_monad.
Indexed Alternative
Indexed_monad
type ('a, 'index) t
The type held by the Indexed Monad Plus.
Indexed Monad Plus
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.