/usr/lib/ocaml/typerep_lib/typerepable.ml 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 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | open Std_internal
module type S0 = sig
type t
val typerep_of_t : t Typerep.t
val typename_of_t : t Typename.t
end
module type S1 = sig
type 'a t
val typerep_of_t : 'a Typerep.t -> 'a t Typerep.t
val typename_of_t : 'a Typename.t -> 'a t Typename.t
end
module type S2 = sig
type ('a, 'b) t
val typerep_of_t : 'a Typerep.t -> 'b Typerep.t -> ('a, 'b) t Typerep.t
val typename_of_t : 'a Typename.t -> 'b Typename.t -> ('a, 'b) t Typename.t
end
module type S3 = sig
type ('a, 'b, 'c) t
val typerep_of_t :
'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t
-> ('a, 'b, 'c) t Typerep.t
val typename_of_t :
'a Typename.t -> 'b Typename.t -> 'c Typename.t
-> ('a, 'b, 'c) t Typename.t
end
module type S4 = sig
type ('a, 'b, 'c, 'd) t
val typerep_of_t :
'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t
-> ('a, 'b, 'c, 'd) t Typerep.t
val typename_of_t :
'a Typename.t -> 'b Typename.t -> 'c Typename.t -> 'd Typename.t
-> ('a, 'b, 'c, 'd) t Typename.t
end
module type S5 = sig
type ('a, 'b, 'c, 'd, 'e) t
val typerep_of_t :
'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t -> 'e Typerep.t
-> ('a, 'b, 'c, 'd, 'e) t Typerep.t
val typename_of_t :
'a Typename.t -> 'b Typename.t -> 'c Typename.t -> 'd Typename.t -> 'e Typename.t
-> ('a, 'b, 'c, 'd, 'e) t Typename.t
end
|