Module type Fix.INJECTION

An injection of a type into a type.

type t

The source type of the injection.

type u

The destination type of the injection.

val encode : t -> u

An injection of t into u is an injective function of type t -> u. Because encode is injective, the value encode x can be thought of as the identity of the object x.