Module type Monad_plus.WITH_NEUTRAL_AND_COMBINE

Minimal interfaces of Alternative without Monad.

type 'a t

The type held by the Monad_plus.

val combine : 'a t -> 'a t -> 'a t

Combine two values of t into one.

val neutral : 'a t

The neutral element of the t.