Sexplib_num.Sexplib_num_conv
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
.