Module Nocrypto.Numeric

module Numeric: sig .. end

module type S = sig .. end

module Int: S  with type t = int

module Int32: S  with type t = int32

module Int64: S  with type t = int64

module Z: S  with type t = Z.t

Misc elementary number theory

val pseudoprime : Z.t -> bool