package traverse

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Pred : S with type ('a, 'b) t = ('a, 'b) A3.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