package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

module Z : sig ... end

val transpose : 'a list list -> 'b list Stdlib.List.t

val of_bytes : 'a Repr.t -> bytes -> 'b

val to_bytes : 'a Repr.t -> 'b -> bytes

val tables_cs_encoding_t : (string list * Csir.CS.t) Repr.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 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