Up

Module type Pre_int

Signature

type t
val compare : t -> t -> int
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
include Core_kernel.Polymorphic_compare_intf.Infix with type t := t
type t
val (>=) : t -> t -> bool
val (<=) : t -> t -> bool
val (=) : t -> t -> bool
val (>) : t -> t -> bool
val (<) : t -> t -> bool
val (<>) : t -> t -> bool
val num_bits : int
val (+) : t -> t -> t
val (-) : t -> t -> t
val (~-) : t -> t
val zero : t
val one : t
val min_value : t
val max_value : t
val abs : t -> t
val succ : t -> t
val bit_not : t -> t
val bit_and : t -> t -> t
val shift_left : t -> int -> t
val shift_right : t -> int -> t
val of_int_exn : int -> t
val to_int_exn : t -> int
val to_float : t -> float