package traverse

  1. Overview
  2. Docs
include Modules.Arity.S with type ('a, 'b) t = 'a -> ('a, 'b) Pred.t
type ('a, 'b) t = 'a -> ('a, 'b) Pred.t
module ArrowSequence : Modules.SequenceOfBinaryTypeS with type ('a, 'b) x = ('a, 'b) t -> 'b
val destruct : ('a, 'b) Modules.length -> ('c -> 'a Modules.Sequence.t) -> (('a, 'b) ArrowSequence.t -> 'd) -> ('c, 'd) t