package tezos-plompiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type selector_tag =
  1. | Linear
  2. | ThisConstr
  3. | NextConstr
  4. | WireA
  5. | WireB
  6. | WireC
val all_selectors : (string * selector_tag list) list
val selectors_with_tags : selector_tag list -> string list
val this_constr_selectors : string list
val next_constr_selectors : string list
val this_constr_linear_selectors : string list
val next_constr_linear_selectors : string list
type raw_constraint = {
  1. a : int;
  2. b : int;
  3. c : int;
  4. sels : (string * Scalar.t) list;
  5. label : string list;
}
type gate = raw_constraint array
type t = gate list
val selectors_encoding : (string * Scalar.t) list Data_encoding.encoding
val raw_constraint_encoding : raw_constraint Data_encoding.t
val gate_encoding : raw_constraint array Data_encoding.encoding
val encoding : raw_constraint array list Data_encoding.encoding
val cs_pub_size_encoding : (raw_constraint array list * int) Data_encoding.encoding
val q_list : ?q_table:'a -> qc:'b -> ql:'c -> qr:'d -> qo:'e -> qlg:'f -> qrg:'g -> qog:'h -> qm:'i -> qx5:'j -> qecc_ws_add:'k -> qecc_ed_add:'l -> q_plookup:'m -> unit -> (string * 'n) list
val new_constraint : a:int -> b:int -> c:int -> ?qc:Scalar.t -> ?ql:Scalar.t -> ?qr:Scalar.t -> ?qo:Scalar.t -> ?qlg:Scalar.t -> ?qrg:Scalar.t -> ?qog:Scalar.t -> ?qm:Scalar.t -> ?qx5:Scalar.t -> ?qecc_ws_add:Scalar.t -> ?qecc_ed_add:Scalar.t -> ?q_plookup:Scalar.t -> ?q_table:Scalar.t -> ?labels:string list -> string -> raw_constraint
val get_sel : ('a * Scalar.t) list -> 'b -> Scalar.t
val to_string_raw_constraint : raw_constraint -> string
val to_string_gate : raw_constraint array -> string
val to_string : raw_constraint array list -> string
val is_linear_raw_constr : raw_constraint -> bool
val used_selectors : raw_constraint array -> int -> (string * Scalar.t) list
val wires_of_constr_i : raw_constraint array -> int -> int list
val gate_wires : raw_constraint array -> int list
val linear_terms : raw_constraint -> (Scalar.t * int) list
val mk_linear_constr : (int list * (string * Scalar.t) list) -> raw_constraint
val raw_constraint_equal : raw_constraint -> raw_constraint -> bool