Traversable.Operation
module C : Preface_specs.Traversable.CORE
type 'a t = 'a C.t
The type held by the Traversable.
Traversable
type 'a iter = 'a C.iter
The iterable type held by the Traversable.
val sequence : 'a t iter -> 'a iter t
Evaluate each action in the structure from left to right, and collect the results