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 -> 'c list PC.Scalar_map.t
val add_first_common : Poly.scalar -> 'a SMap.t -> SMap.key list -> (SMap.key * 'b) list -> (SMap.key * 'c) 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 * 'b) list PC.Scalar_map.t -> (SMap.key * Poly.t) SMap.t -> 'b SMap.t
val add_in_hmap : SMap.key -> SMap.key -> PC.Scalar.t -> 'a SMap.t -> (PC.Scalar.t * 'b 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 * 'b SMap.t) list -> 'c 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 * 'b SMap.t) list -> 'c 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