Make1.I
type 'a t
The container type.
module On (M : Base.Applicative.S) : Traversable_types.Basic1_on_applicative with type 'a t := 'a t and module M := M
On implements traversal for a given applicative functor.
On