package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scalar = scalar
type 'a repr = 'a repr
type 'a t = 'a t
val zero : scalar repr t
val one : scalar repr t
val range_check : nb_bits:int -> scalar repr -> unit repr t
val div : ?den_coeff:Plompiler.Csir.Scalar.t -> scalar repr -> scalar repr -> scalar repr t
val pow5 : scalar repr -> scalar repr t
val is_zero : scalar repr -> bool repr t
val is_not_zero : scalar repr -> bool repr t
val assert_nonzero : scalar repr -> unit repr t
val assert_bool : scalar repr -> unit repr t
val square : scalar repr -> scalar repr t
val pow : scalar repr -> bool repr list -> scalar repr t
val add_list : ?qc:Plompiler.Csir.Scalar.t -> ?coeffs:Plompiler.Csir.Scalar.t list -> scalar list repr -> scalar repr t
val mul_list : scalar list repr -> scalar repr t
val mul_by_constant : Plompiler.Csir.Scalar.t -> scalar repr -> scalar repr t
val scalar_of_bytes : bool list repr -> scalar repr t
val is_eq_const : scalar repr -> Plompiler.Csir.Scalar.t -> bool repr t
val assert_eq_const : scalar repr -> Plompiler.Csir.Scalar.t -> unit repr t
val is_upper_bounded : bound:Z.t -> scalar repr -> bool repr t
val is_upper_bounded_unsafe : ?nb_bits:int -> bound:Z.t -> scalar repr -> bool repr t
val geq : (scalar repr * Z.t) -> (scalar repr * Z.t) -> bool repr 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