Up

module Sexplib_num_conv

: sig
#
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.

end