Module Internal.State_Left
Parameters
Signature
module Functor : Bastet.Interface.FUNCTOR with type 'a t = (Type.t, 'a) statemodule Apply : Bastet.Interface.APPLY with type 'a t = (Type.t, 'a) statemodule Applicative : Bastet.Interface.APPLICATIVE with type 'a t = (Type.t, 'a) state