package higher_kinded

You can search for identifiers within the package.

in-package search v0.2.0

Module `Higher_kinded.Map`Source

Sourcetype higher_kinded

Sourceval inject : ('a, 'y, 'z) Base.Map.t -> ('a -> 'y -> 'z -> higher_kinded) t

Sourceval project : ('a -> 'y -> 'z -> higher_kinded) t -> ('a, 'y, 'z) Base.Map.t