package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct