Parameter Make.1-Gf

type t
val sexp_of_t : t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal

Constants

val modulus : t

Solinas prime 2^64 - 2^31 + 1

val zero : t
val one : t
val two : t
val of_z : Z.t -> t
val to_z : t -> Z.t

Arithmetic operations

val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val negate : t -> t