Module Gadget.ArithMod64

Parameters

module L : sig ... end

Signature

type mod_int
val mod_int_encoding : (Csir.Scalar.t list, mod_int L.repr, mod_int) L.Encodings.encoding
val label : string
val modulus : Z.t
val base : Z.t
val nb_limbs : int
val moduli_add : Z.t list
val moduli_mul : Z.t list
val bounds_add : (Z.t * Z.t) * (Z.t * Z.t) list
val bounds_mul : (Z.t * Z.t) * (Z.t * Z.t) list
val input_mod_int : ?kind:L.input_kind -> Z.t -> mod_int L.repr L.t
val mod_int_of_scalars : L.scalar list L.repr -> mod_int L.repr L.t
val scalars_of_mod_int : mod_int L.repr -> L.scalar list L.repr L.t
val bytes_of_mod_int : ?padded:bool -> mod_int L.repr -> L.Bytes.tl L.repr L.t
val constant : Z.t -> mod_int L.repr L.t
val zero : mod_int L.repr L.t
val one : mod_int L.repr L.t
val equal : mod_int L.repr -> mod_int L.repr -> bool L.repr L.t
val add_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t
val mul_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t