2015-12-18 08:52:14 -08:00
|
|
|
(**************************************************************************)
|
|
|
|
(* *)
|
2016-02-18 07:11:59 -08:00
|
|
|
(* OCaml *)
|
2015-12-18 08:52:14 -08:00
|
|
|
(* *)
|
|
|
|
(* 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 *)
|
2016-02-18 07:11:59 -08:00
|
|
|
(* special exception on linking described in the file LICENSE. *)
|
2015-12-18 08:52:14 -08:00
|
|
|
(* *)
|
|
|
|
(**************************************************************************)
|
|
|
|
|
2018-09-12 00:51:47 -07:00
|
|
|
(** Modules about numbers, some of which satisfy {!Identifiable.S}.
|
|
|
|
|
|
|
|
{b Warning:} this module is unstable and part of
|
2018-09-12 06:36:40 -07:00
|
|
|
{{!Compiler_libs}compiler-libs}.
|
2018-09-12 00:51:47 -07:00
|
|
|
|
|
|
|
*)
|
2015-12-18 08:52:14 -08:00
|
|
|
|
|
|
|
module Int : sig
|
|
|
|
include Identifiable.S with type t = int
|
|
|
|
|
2016-01-13 07:48:51 -08:00
|
|
|
(** [zero_to_n n] is the set of numbers \{0, ..., n\} (inclusive). *)
|
2015-12-18 08:52:14 -08:00
|
|
|
val zero_to_n : int -> Set.t
|
2019-11-26 04:06:19 -08:00
|
|
|
val to_string : int -> string
|
2015-12-18 08:52:14 -08:00
|
|
|
end
|
|
|
|
|
2017-03-09 07:39:11 -08:00
|
|
|
module Int8 : sig
|
|
|
|
type t
|
|
|
|
|
|
|
|
val zero : t
|
|
|
|
val one : t
|
|
|
|
|
|
|
|
val of_int_exn : int -> t
|
|
|
|
val to_int : t -> int
|
|
|
|
end
|
|
|
|
|
|
|
|
module Int16 : sig
|
|
|
|
type t
|
|
|
|
|
|
|
|
val of_int_exn : int -> t
|
|
|
|
val of_int64_exn : Int64.t -> t
|
|
|
|
|
|
|
|
val to_int : t -> int
|
|
|
|
end
|
|
|
|
|
2015-12-18 08:52:14 -08:00
|
|
|
module Float : Identifiable.S with type t = float
|