Module Sexplib_num.Sexplib_num_conv
val sexp_of_big_int : Big_int.big_int -> Sexplib.Sexp.t
sexp_of_big_int n
converts the valuen
of typeBig_int.big_int
to an S-expression.
val sexp_of_nat : Nat.nat -> Sexplib.Sexp.t
sexp_of_nat n
converts the valuen
of typeNat.nat
to an S-expression.
val sexp_of_ratio : Ratio.ratio -> Sexplib.Sexp.t
sexp_of_ratio n
converts the valuen
of typeRatio.ratio
to an S-expression.
val sexp_of_num : Num.num -> Sexplib.Sexp.t
sexp_of_num n
converts the valuen
of typeNum.num
to an S-expression.
val big_int_of_sexp : Sexplib.Sexp.t -> Big_int.big_int
big_int_of_sexp sexp
converts S-expressionsexp
to a value of typeBig_int.big_int
.
val nat_of_sexp : Sexplib.Sexp.t -> Nat.nat
nat_of_sexp sexp
converts S-expressionsexp
to a value of typeNat.nat
.
val ratio_of_sexp : Sexplib.Sexp.t -> Ratio.ratio
ratio_of_sexp sexp
converts S-expressionsexp
to a value of typeNat.ratio
.
val num_of_sexp : Sexplib.Sexp.t -> Num.num
num_of_sexp sexp
converts S-expressionsexp
to a value of typeNat.num
.