package tezos-plompiler

  1. Overview
  2. Docs
package tezos-plompiler
Legend:
Library
Module
Module type
Parameter
Class
Class type
module S = Csir.Scalar
val alpha : Z.t
val bitlist : ?le:bool -> bytes -> bool list
val bytes_of_hex : string -> bytes
val bool_list_to_scalar : bool list -> S.t
val bool_list_to_z : bool list -> Z.t
val bool_list_of_z : ?nb_bits:int -> Z.t -> bool list
val transpose : 'a list list -> 'a list Stdlib.List.t
val tables_cs_encoding : (string list * Csir.CS.t) Data_encoding.t
val save_cs_to_file : string -> string list -> Csir.CS.t -> unit
val load_cs_from_file : string -> string list * Csir.CS.t
val trace_info_encoding : Optimizer.trace_info Data_encoding.t
val get_circuit_id : Csir.CS.raw_constraint array list -> string
val circuit_dir : string
val circuit_path : string -> string
val dump_label_traces : string -> Csir.CS.t -> unit
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