/usr/lib/ocaml/sexplib_num/std.annot is in libsexplib-camlp4-dev 113.00.00-1.
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 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 | "num/lib/std.ml" 5 44 50 "num/lib/std.ml" 5 44 65
type(
Big_int.big_int -> Sexplib.Sexp.t
)
ident(
def sexp_of_big_int "num/lib/std.ml" 6 101 103 "num/lib/std.ml" 7 158 161
)
"num/lib/std.ml" 5 44 68 "num/lib/std.ml" 5 44 100
type(
Big_int.big_int -> Sexplib.Sexp.t
)
ident(
ext_ref Sexplib_num_conv.sexp_of_big_int
)
"num/lib/std.ml" 6 101 107 "num/lib/std.ml" 6 101 122
type(
Sexplib.Sexp.t -> Big_int.big_int
)
ident(
def big_int_of_sexp "num/lib/std.ml" 6 101 157 "num/lib/std.ml" 7 158 161
)
"num/lib/std.ml" 6 101 125 "num/lib/std.ml" 6 101 157
type(
Sexplib.Sexp.t -> Big_int.big_int
)
ident(
ext_ref Sexplib_num_conv.big_int_of_sexp
)
"num/lib/std.ml" 12 198 204 "num/lib/std.ml" 12 198 215
type(
Nat.nat -> Sexplib.Sexp.t
)
ident(
def sexp_of_nat "num/lib/std.ml" 13 247 249 "num/lib/std.ml" 14 296 299
)
"num/lib/std.ml" 12 198 218 "num/lib/std.ml" 12 198 246
type(
Nat.nat -> Sexplib.Sexp.t
)
ident(
ext_ref Sexplib_num_conv.sexp_of_nat
)
"num/lib/std.ml" 13 247 253 "num/lib/std.ml" 13 247 264
type(
Sexplib.Sexp.t -> Nat.nat
)
ident(
def nat_of_sexp "num/lib/std.ml" 13 247 295 "num/lib/std.ml" 14 296 299
)
"num/lib/std.ml" 13 247 267 "num/lib/std.ml" 13 247 295
type(
Sexplib.Sexp.t -> Nat.nat
)
ident(
ext_ref Sexplib_num_conv.nat_of_sexp
)
"num/lib/std.ml" 19 340 346 "num/lib/std.ml" 19 340 359
type(
Ratio.ratio -> Sexplib.Sexp.t
)
ident(
def sexp_of_ratio "num/lib/std.ml" 20 393 395 "num/lib/std.ml" 21 446 449
)
"num/lib/std.ml" 19 340 362 "num/lib/std.ml" 19 340 392
type(
Ratio.ratio -> Sexplib.Sexp.t
)
ident(
ext_ref Sexplib_num_conv.sexp_of_ratio
)
"num/lib/std.ml" 20 393 399 "num/lib/std.ml" 20 393 412
type(
Sexplib.Sexp.t -> Ratio.ratio
)
ident(
def ratio_of_sexp "num/lib/std.ml" 20 393 445 "num/lib/std.ml" 21 446 449
)
"num/lib/std.ml" 20 393 415 "num/lib/std.ml" 20 393 445
type(
Sexplib.Sexp.t -> Ratio.ratio
)
ident(
ext_ref Sexplib_num_conv.ratio_of_sexp
)
"num/lib/std.ml" 26 486 492 "num/lib/std.ml" 26 486 503
type(
Num.num -> Sexplib.Sexp.t
)
ident(
def sexp_of_num "num/lib/std.ml" 27 535 537 "num/lib/std.ml" 28 584 587
)
"num/lib/std.ml" 26 486 506 "num/lib/std.ml" 26 486 534
type(
Num.num -> Sexplib.Sexp.t
)
ident(
ext_ref Sexplib_num_conv.sexp_of_num
)
"num/lib/std.ml" 27 535 541 "num/lib/std.ml" 27 535 552
type(
Sexplib.Sexp.t -> Num.num
)
ident(
def num_of_sexp "num/lib/std.ml" 27 535 583 "num/lib/std.ml" 28 584 587
)
"num/lib/std.ml" 27 535 555 "num/lib/std.ml" 27 535 583
type(
Sexplib.Sexp.t -> Num.num
)
ident(
ext_ref Sexplib_num_conv.num_of_sexp
)
|