package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

Module `Higher_kinded.Sequence`

type witness1

type 'a witness = ('a, witness1) t

val inject : 'a Base.Sequence.t -> 'a witness

val project : 'a witness -> 'a Base.Sequence.t