package octez-libs

  1. Overview
  2. Docs
package octez-libs
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 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct