package octez-libs
module S = Csir.Scalar
val alpha : Z.t
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 is_power_of_2 : Z.t -> bool
val transpose : 'a list list -> 'b list List.t
val of_bytes : 'a Repr.t -> bytes -> 'b
val to_bytes : 'a Repr.t -> 'b -> bytes
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 dump_label_traces : string -> Csir.CS.t -> unit
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>