Module Gadget.ArithMod64Source

Parameters

module L : sig ... end

Signature

Sourcetype mod_int
Sourceval label : string
Sourceval modulus : Z.t
Sourceval base : Z.t
Sourceval nb_limbs : int
Sourceval moduli_add : Z.t list
Sourceval moduli_mul : Z.t list
Sourceval bounds_add : (Z.t * Z.t) * (Z.t * Z.t) list
Sourceval bounds_mul : (Z.t * Z.t) * (Z.t * Z.t) list
Sourceval input_mod_int : ?kind:L.input_kind -> Z.t -> mod_int L.repr L.t
Sourceval mod_int_of_scalars : L.scalar list L.repr -> mod_int L.repr L.t
Sourceval scalars_of_mod_int : mod_int L.repr -> L.scalar list L.repr L.t
Sourceval bytes_of_mod_int : ?padded:bool -> mod_int L.repr -> L.Bytes.tl L.repr L.t
Sourceval constant : Z.t -> mod_int L.repr L.t
Sourceval equal : mod_int L.repr -> mod_int L.repr -> bool L.repr L.t
Sourceval add_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t
Sourceval mul_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t