Module LibCircuit.Mod_arith

val add : ?subtraction:bool -> label:string -> modulus:Z.t -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> scalar list repr -> scalar list repr t
val mul : ?division:bool -> label:string -> modulus:Z.t -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> scalar list repr -> scalar list repr t
val assert_non_zero : label:string -> modulus:Z.t -> is_prime:bool -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> unit repr t
val is_zero : label:string -> modulus:Z.t -> is_prime:bool -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> bool repr t