2015-12-18 08:52:14 -08:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
|
|
|
(* OCaml *)
|
|
|
|
(* *)
|
|
|
|
(* Pierre Chambart, OCamlPro *)
|
2016-01-12 04:32:04 -08:00
|
|
|
(* Mark Shinwell and Leo White, Jane Street Europe *)
|
2015-12-18 08:52:14 -08:00
|
|
|
(* *)
|
2016-01-12 04:32:04 -08:00
|
|
|
(* Copyright 2013--2016 OCamlPro SAS *)
|
|
|
|
(* Copyright 2014--2016 Jane Street Group LLC *)
|
|
|
|
(* *)
|
|
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
|
|
(* special exception on linking described in the file ../LICENSE. *)
|
2015-12-18 08:52:14 -08:00
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
|
|
|
(** Modules about numbers that satisfy [Identifiable.S]. *)
|
|
|
|
|
|
|
|
module Int : sig
|
|
|
|
include Identifiable.S with type t = int
|
|
|
|
|
|
|
|
(** [zero_to_n n] is the set of numbers {0, ..., n} (inclusive). *)
|
|
|
|
val zero_to_n : int -> Set.t
|
|
|
|
end
|
|
|
|
|
|
|
|
module Float : Identifiable.S with type t = float
|