package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Csir.CSSource

Sourceval 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
Sourcetype selector_tag =
  1. | Linear
  2. | ThisConstr
  3. | NextConstr
  4. | WireA
  5. | WireB
  6. | WireC
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
Sourcetype raw_constraint = {
  1. a : int;
  2. b : int;
  3. c : int;
  4. sels : (string * Scalar.t) list;
  5. 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 : 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
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 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 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