package tezos-plompiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val q_list : ?q_table:'a -> qc:'a -> ql:'a -> qr:'a -> qo:'a -> qlg:'a -> qrg:'a -> qog:'a -> qm:'a -> qx2b:'a -> qx5a:'a -> qx5c:'a -> qecc_ws_add:'a -> qecc_ed_add:'a -> q_plookup:'a -> unit -> (string * 'a) list
type selector_tag =
  1. | Linear
  2. | ThisConstr
  3. | NextConstr
  4. | WireA
  5. | WireB
  6. | WireC
val selector_tag_t : selector_tag Repr.t
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;
}
val raw_constraint_t : raw_constraint Repr.t
type gate = raw_constraint array
val gate_t : raw_constraint array Repr.t
type t = gate list
val t : raw_constraint array list Repr.t
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 -> ?qx2b:Scalar.t -> ?qx5a:Scalar.t -> ?qx5c: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 -> 'a -> 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
OCaml

Innovation. Community. Security.