Module Internal.State_Right

Parameters

Signature

module Functor : Interface.FUNCTOR with type 'a t = (Type.t, 'a) state
module Apply : Interface.APPLY with type 'a t = (Type.t, 'a) state
module Applicative : Interface.APPLICATIVE with type 'a t = (Type.t, 'a) state