val sexp_of_big_int : Big_int.big_int ‑> Sexplib.Sexp.t
sexp_of_big_int n
converts the value n
of type Big_int.big_int
to an S-expression.
val sexp_of_nat : Nat.nat ‑> Sexplib.Sexp.t
sexp_of_nat n
converts the value n
of type Nat.nat
to an
S-expression.
val sexp_of_ratio : Ratio.ratio ‑> Sexplib.Sexp.t
sexp_of_ratio n
converts the value n
of type Ratio.ratio
to an
S-expression.
val sexp_of_num : Num.num ‑> Sexplib.Sexp.t
sexp_of_num n
converts the value n
of type Num.num
to an S-expression.
val big_int_of_sexp : Sexplib.Sexp.t ‑> Big_int.big_int
big_int_of_sexp sexp
converts S-expression sexp
to a value
of type Big_int.big_int
.
val nat_of_sexp : Sexplib.Sexp.t ‑> Nat.nat
nat_of_sexp sexp
converts S-expression sexp
to a value
of type Nat.nat
.
val ratio_of_sexp : Sexplib.Sexp.t ‑> Ratio.ratio
ratio_of_sexp sexp
converts S-expression sexp
to a value
of type Nat.ratio
.
val num_of_sexp : Sexplib.Sexp.t ‑> Num.num
num_of_sexp sexp
converts S-expression sexp
to a value of type Nat.num
.