/usr/lib/ocaml/typerep_lib/pa_typerep_conv.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 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | (** Pa_type_rep: Preprocessing Module for automatic type representation *)
open Camlp4
open PreCast
module Tuple : sig
val expr : Ast.loc -> Ast.expr list -> Ast.expr
val patt : Ast.loc -> Ast.patt list -> Ast.patt
val ctyp : Ast.loc -> Ast.ctyp list -> Ast.ctyp
end
module Field_case : sig
type t = {
label : string;
ctyp : Ast.ctyp;
index : int;
}
end
module Variant_case : sig
type t = {
label : string;
ctyp : Ast.ctyp option;
poly : bool;
arity : int;
index : int;
arity_index : int;
}
(** expr and patt for the constructor *)
val expr : loc:Ast.loc -> t -> Ast.expr
val patt : loc:Ast.loc -> t -> Ast.patt
val ocaml_repr : loc:Ast.loc -> t -> Ast.expr
end
module Branches : sig
val fields : Ast.ctyp -> Field_case.t list
val variants : Ast.ctyp -> Variant_case.t list
end
|