/usr/lib/ocaml/typerep_lib/type_equal.mli is in libtyperep-camlp4-dev 113.00.00-3ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | (** runtime witnes of type equality
this is a reduced version of [Core.Std.Type_equal]. *)
type ('a, 'b) t = T : ('a, 'a) t
type ('a, 'b) equal = ('a, 'b) t
(** type-safe conversion between equal types *)
val conv : ('a, 'b) t -> 'a -> 'b
(** type equality is reflexive *)
val refl : ('a, 'a) t
(** needed in some cases even though t is exported and is a gadt *)
module Lift (X: sig
type 'a t
end) : sig
val lift : ('a, 'b) t -> ('a X.t, 'b X.t) t
end
|