Module Travsersable.Internal
type (!'s, !'a) accum= ('s, 'a) Bastet__Functions.Traversable(Bastet.Array.Traversable).Internal.accum={accum : 's;value : 'a;}type (!'s, !'a) state= 's -> ('s, 'a) accum
module State_Left : functor (Type : Interface.TYPE) -> sig ... endmodule State_Right : functor (Type : Interface.TYPE) -> sig ... endmodule Map_Accum : functor (Type : Interface.TYPE) -> functor (T : Interface.TRAVERSABLE_F) -> sig ... end