/usr/lib/ocaml/bin_prot/nat0.annot is in libbin-prot-ocaml-dev 113.33.03-3.
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 56 57 58 59 60 61 62 63 64 65 66 67 68 69 | "src/nat0.ml" 5 60 64 "src/nat0.ml" 5 60 70
type(
int -> int
)
ident(
def of_int "src/nat0.ml" 9 136 136 "src/nat0.ml" 1 0 -1
)
"src/nat0.ml" 5 60 71 "src/nat0.ml" 5 60 72
type(
int
)
ident(
def n "src/nat0.ml" 6 75 77 "src/nat0.ml" 7 131 134
)
"src/nat0.ml" 6 75 80 "src/nat0.ml" 6 75 81
type(
int
)
ident(
int_ref n "src/nat0.ml" 5 60 71 "src/nat0.ml" 5 60 72
)
"src/nat0.ml" 6 75 82 "src/nat0.ml" 6 75 83
type(
int -> int -> bool
)
ident(
ext_ref Pervasives.( < )
)
"src/nat0.ml" 6 75 84 "src/nat0.ml" 6 75 85
type(
int
)
"src/nat0.ml" 6 75 80 "src/nat0.ml" 6 75 85
type(
bool
)
"src/nat0.ml" 6 75 91 "src/nat0.ml" 6 75 99
type(
string -> unit
)
ident(
ext_ref Pervasives.failwith
)
"src/nat0.ml" 6 75 100 "src/nat0.ml" 6 75 129
type(
string
)
"src/nat0.ml" 6 75 91 "src/nat0.ml" 6 75 129
call(
stack
)
type(
unit
)
"src/nat0.ml" 6 75 77 "src/nat0.ml" 6 75 129
type(
unit
)
"src/nat0.ml" 7 131 133 "src/nat0.ml" 7 131 134
type(
int
)
ident(
int_ref n "src/nat0.ml" 5 60 71 "src/nat0.ml" 5 60 72
)
"src/nat0.ml" 6 75 77 "src/nat0.ml" 7 131 134
type(
int
)
|