Module type `Traversable_types.Basic1`

Basic1 is the minimal signature that traversable containers of arity 1 must implement to be extensible into.

type 'a t

The container type.

module On
  (M : Base.Applicative.S) : 
  Basic1_on_applicative with type 'a t := 'a t and module M := M

On implements traversal for a given applicative functor.