Module Csir.CSSource

Sourceval q_list : ?q_table:'a -> qc:'a -> linear:(int * 'a) list -> linear_g:(int * 'a) list -> qm:'a -> qx2b:'a -> qx5a:'a -> qx5c:'a -> qecc_ws_add:'a -> qecc_ed_add:'a -> qecc_ed_cond_add:'a -> qbool:'a -> qcond_swap:'a -> q_anemoi:'a -> q_mod_add:(string * 'a) list -> q_mod_mul:(string * 'a) list -> q_plookup:'a -> unit -> (string * 'a) list
Sourcetype selector_tag =
  1. | Linear
  2. | Arithmetic
  3. | ThisConstr
  4. | NextConstr
  5. | Wire of int
Sourceval selector_tag_t : selector_tag Repr.t
Sourceval all_selectors : (string * selector_tag list) list
Sourceval selectors_with_tags : selector_tag list -> string list
Sourceval this_constr_selectors : string list
Sourceval next_constr_selectors : string list
Sourceval this_constr_linear_selectors : string list
Sourceval next_constr_linear_selectors : string list
Sourceval arithmetic_selectors : string list
Sourcetype raw_constraint = {
  1. wires : int array;
  2. sels : (string * Scalar.t) list;
  3. precomputed_advice : (string * Scalar.t) list;
  4. label : string list;
}
Sourceval raw_constraint_t : raw_constraint Repr.t
Sourcetype gate = raw_constraint array
Sourceval gate_t : raw_constraint array Repr.t
Sourcetype t = gate list
Sourceval t : raw_constraint array list Repr.t
Sourceval new_constraint : wires:int list -> ?qc:Scalar.t -> ?linear:(int * Scalar.t) list -> ?linear_g:(int * Scalar.t) list -> ?qm:Scalar.t -> ?qx2b:Scalar.t -> ?qx5a:Scalar.t -> ?qx5c:Scalar.t -> ?qecc_ws_add:Scalar.t -> ?qecc_ed_add:Scalar.t -> ?qecc_ed_cond_add:Scalar.t -> ?qbool:Scalar.t -> ?qcond_swap:Scalar.t -> ?q_anemoi:Scalar.t -> ?q_mod_add:(string * Scalar.t) list -> ?q_mod_mul:(string * Scalar.t) list -> ?q_plookup:Scalar.t -> ?q_table:Scalar.t -> ?precomputed_advice:(string * Scalar.t) list -> ?labels:string list -> string -> raw_constraint
Sourceval get_sel : ('a * Scalar.t) list -> 'a -> Scalar.t
Sourceval to_string_raw_constraint : raw_constraint -> string
Sourceval to_string_gate : raw_constraint array -> string
Sourceval to_string : raw_constraint array list -> string
Sourceval is_linear_raw_constr : raw_constraint -> bool
Sourceval rename_wires_constr : rename:(int -> int) -> raw_constraint -> raw_constraint
Sourceval rename_wires : rename:(int -> int) -> raw_constraint array -> raw_constraint array
Sourceval is_arithmetic_raw_constr : raw_constraint -> bool
Sourceval boolean_raw_constr : raw_constraint -> int option
Sourceval used_selectors : raw_constraint array -> int -> (string * Scalar.t) list
Sourceval wires_of_constr_i : raw_constraint array -> int -> int list
Sourceval gate_wires : raw_constraint array -> int list
Sourceval linear_terms : raw_constraint -> (Scalar.t * int) list
Sourceval mk_linear_constr : (int list * (string * Scalar.t) list) -> raw_constraint
Sourceval mk_bool_constr : int -> raw_constraint
Sourceval raw_constraint_equal : raw_constraint -> raw_constraint -> bool