Module Plompiler.Utils

module S = Csir.Scalar
val alpha : Z.t
val bitlist : le:bool -> bytes -> bool list
val of_bitlist : le:bool -> bool list -> bytes
val bytes_of_hex : string -> bytes
val hex_of_bytes : bytes -> string
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 split_exactly : 'a list -> int -> 'b list list
val bool_list_change_endianness : 'a list -> 'b list
val limbs_of_bool_list : nb_bits:int -> bool list -> int list
module Z : sig ... end
val (%!) : Z.t -> Z.t -> Z.t
val next_multiple_of : int -> int -> int
val is_power_of_2 : Z.t -> bool
val min_nb_limbs : modulus:Z.t -> base:Z.t -> int
val z_to_limbs : len:int -> base:Z.t -> Z.t -> Z.t list
val z_of_limbs : base:Z.t -> Z.t list -> Z.t
val mod_add_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
val mod_sub_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
val mod_mul_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
val mod_div_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
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
val dump_label_range_checks_traces : string -> (string list * int) list -> unit