Up – Package index » higher_kinded » Library higher_kinded » Higher_kinded » Set

Module `Higher_kinded.Set`Source

Sourcetype higher_kinded

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

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