higher

Library for higher-kinded programming.
IN THIS PACKAGE
Module Higher . Newtype0

Parameters

module T : sig ... end

Signature

type s = T.t
type t
val inj : s -> t
val prj : t -> s