Module Nat

module Nat: sig .. end

include Nat

val sexp_of_nat : Nat.nat -> Sexp.t

val nat_of_sexp : Sexp.t -> Nat.nat