module Type_equal: Type_equal
Type_equal
type ('a, 'b) t =
('a, 'b)
|
T : ('a0, 'a0) t
('a0, 'a0) t
type ('a, 'b) equal = ('a, 'b) t
('a, 'b) t
val conv : ('a, 'b) t -> 'a -> 'b
('a, 'b) t -> 'a -> 'b
val refl : ('a, 'a) t
('a, 'a) t
module Lift: functor (X : sig type 'a t end) -> sig .. end
functor (
X
:
sig
type 'a t
'a
end
) ->