Module Gf.Bits

Bits based hardware implementation.

val sexp_of_t : t -> Sexplib0.Sexp.t
val compare : t Base__Ppx_compare_lib.compare
val equal : t Base__Ppx_compare_lib.equal
val modulus : t

Solinas prime 2^64 - 2^31 + 1

val zero : t
val one : t
val two : t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val negate : t -> t
module Hex : sig ... end
val num_bits : Base.int
val is_normalized : t -> Hardcaml.Bits.t
val mul : ?pipe:( t -> t ) -> t -> t -> t
val to_bits : t -> Hardcaml.Bits.t
val of_bits : Hardcaml.Bits.t -> t
val of_z : Z.t -> t
val to_z : t -> Z.t