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