Parameter Over_apply.Req

type 'a t = 'a Apply.t

The type held by the Applicative.

val pure : 'a -> 'a t

Lift a value from 'a into a new 'a t.