package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Plompiler.UtilsSource

Sourceval alpha : Z.t
Sourceval bitlist : le:bool -> bytes -> bool list
Sourceval of_bitlist : le:bool -> bool list -> bytes
Sourceval bytes_of_hex : string -> bytes
Sourceval hex_of_bytes : bytes -> string
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
Sourceval split_exactly : 'a list -> int -> 'a list list
Sourceval bool_list_change_endianness : 'a list -> 'a list
Sourceval limbs_of_bool_list : nb_bits:int -> bool list -> int list
Sourcemodule Z : sig ... end
Sourceval (%!) : Z.t -> Z.t -> Z.t
Sourceval next_multiple_of : int -> int -> int
Sourceval is_power_of_2 : Z.t -> bool
Sourceval min_nb_limbs : modulus:Z.t -> base:Z.t -> int
Sourceval z_to_limbs : len:int -> base:Z.t -> Z.t -> Z.t list
Sourceval z_of_limbs : base:Z.t -> Z.t list -> Z.t
Sourceval mod_add_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
Sourceval mod_sub_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
Sourceval mod_mul_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
Sourceval mod_div_limbs : modulus:Z.t -> base:Z.t -> Z.t list -> Z.t list -> Z.t list
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
Sourceval 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