package octez-libs

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

Parameters

module L : sig ... end

Signature

type mod_int
val mod_int_encoding : (Csir.Scalar.t list, mod_int L.repr, mod_int) L.Encodings.encoding
val label : string
val modulus : Z.t
val base : Z.t
val nb_limbs : int
val moduli_add : Z.t list
val moduli_mul : Z.t list
val bounds_add : (Z.t * Z.t) * (Z.t * Z.t) list
val bounds_mul : (Z.t * Z.t) * (Z.t * Z.t) list
val input_mod_int : ?kind:L.input_kind -> Z.t -> mod_int L.repr L.t
val mod_int_of_scalars : L.scalar list L.repr -> mod_int L.repr L.t
val scalars_of_mod_int : mod_int L.repr -> L.scalar list L.repr L.t
val bytes_of_mod_int : ?padded:bool -> mod_int L.repr -> L.Bytes.bl L.repr L.t
val constant : Z.t -> mod_int L.repr L.t
val zero : mod_int L.repr L.t
val one : mod_int L.repr L.t
val equal : mod_int L.repr -> mod_int L.repr -> bool L.repr L.t
val add_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t
val mul_constant : mod_int L.repr -> Z.t -> mod_int L.repr L.t
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