package tezos-plonk

  1. Overview
  2. Docs
package tezos-plonk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val format_query : ('a * 'b) list PC.Scalar_map.t -> 'a list PC.Scalar_map.t
val add_first_common : Poly.scalar -> 'a SMap.t -> SMap.key list -> (SMap.key * 'a) list -> (SMap.key * 'a) list PC.Scalar_map.t -> (SMap.key * Poly.t) SMap.t -> 'a SMap.t
val build_common_h_map : PC.Scalar_map.key -> 'a SMap.t -> SMap.key list -> (SMap.key * 'a) list PC.Scalar_map.t -> (SMap.key * Poly.t) SMap.t -> 'a SMap.t
val add_in_hmap : SMap.key -> SMap.key -> PC.Scalar.t -> 'a SMap.t -> (PC.Scalar.t * 'a SMap.t) list -> 'a SMap.t
val build_h_map : Poly.scalar -> SMap.key list -> 'a SMap.t -> (SMap.key * Poly.t) SMap.t -> (PC.Scalar.t * 'a SMap.t) list -> 'a SMap.t
val build_h_map_i : prefix:string -> Poly.scalar -> SMap.key list -> 'a SMap.t -> (string * Poly.t) SMap.t -> (PC.Scalar.t * 'a SMap.t) list -> 'a SMap.t
val is_t_name : string -> bool
val build_tzs_h_map : PC.Scalar.t array -> (SMap.key * PC.Scalar.t) list PC.Scalar_map.t -> PC.Scalar_map.key -> PC.Scalar.t SMap.t
val remove_t : 'a SMap.t -> 'a SMap.t * int
val starts_with : string -> string -> bool
val apply : proof_type:proof_type -> PC.Scalar.t -> Poly.scalar -> MPoly.t Stdlib__Map.Make(Stdlib.String).t -> MP.scalar SMap.t -> (SMap.key * Poly.t) SMap.t -> (PC.Scalar.t * MP.scalar SMap.t) list -> PC.Scalar.t
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