Module Std.Type_equal

module Type_equal: Type_equal

type ('a, 'b) t = 
| T : ('a0, 'a0) t
type ('a, 'b) equal = ('a, 'b) t 
val conv : ('a, 'b) t -> 'a -> 'b
type-safe conversion between equal types
val refl : ('a, 'a) t
type equality is reflexive
module Lift: 
functor (X : sig
type 'a t 
end) -> sig .. end
needed in some cases even though t is exported and is a gadt