Module type `Fix.INJECTION`

type t

type u

val encode : t -> u