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 -> 'b 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