package octez-plompiler

  1. Overview
  2. Docs

Module Plompiler.UtilsSource

Sourceval alpha : Z.t
Sourceval bitlist : ?le:bool -> bytes -> bool list
Sourceval bytes_of_hex : string -> bytes
Sourceval bool_list_to_scalar : bool list -> S.t
Sourceval bool_list_to_z : bool list -> Z.t
Sourceval bool_list_of_z : ?nb_bits:int -> Z.t -> bool list
Sourcemodule Z : sig ... end
Sourceval transpose : 'a list list -> 'a list List.t
Sourceval of_bytes : 'a Repr.t -> bytes -> 'a
Sourceval to_bytes : 'a Repr.t -> 'a -> bytes
Sourceval tables_cs_encoding_t : (string list * Csir.CS.t) Repr.t
Sourceval save_cs_to_file : string -> string list -> Csir.CS.t -> unit
Sourceval load_cs_from_file : string -> string list * Csir.CS.t
Sourceval get_circuit_id : Csir.CS.raw_constraint array list -> string
Sourceval circuit_dir : string
Sourceval circuit_path : string -> string
Sourceval dump_label_traces : string -> Csir.CS.t -> unit
OCaml

Innovation. Community. Security.