package tezos-plompiler

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

Module Lib.NumSource

include module type of struct include C.Num end
type scalar = C.scalar
type 'a repr = 'a C.repr
type 'a t = 'a C.t
val custom : ?qc:Csir.Scalar.t -> ?ql:Csir.Scalar.t -> ?qr:Csir.Scalar.t -> ?qo:Csir.Scalar.t -> ?qm:Csir.Scalar.t -> scalar repr -> scalar repr -> scalar repr t
val assert_custom : ?qc:Csir.Scalar.t -> ?ql:Csir.Scalar.t -> ?qr:Csir.Scalar.t -> ?qo:Csir.Scalar.t -> ?qm:Csir.Scalar.t -> scalar repr -> scalar repr -> scalar repr -> unit repr t
val add_constant : ?ql:Csir.Scalar.t -> Csir.Scalar.t -> scalar repr -> scalar repr t
val mul : ?qm:Csir.Scalar.t -> scalar repr -> scalar repr -> scalar repr t
val div : ?qm: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
Sourceval square : scalar repr -> scalar repr t
Sourceval pow : scalar repr -> bool Bool.repr list -> scalar repr t
Sourceval add_n : ?qc:Csir.Scalar.t -> (Csir.Scalar.t * scalar repr) list -> scalar repr t
Sourceval scalar_of_bytes : bool list repr -> scalar repr t
Sourceval is_eq_const : scalar repr -> Csir.Scalar.t -> bool repr t
Sourceval ignore_leading_zeros : nb_bits:int -> bound:Z.t -> 'a list repr -> 'a repr * ('a repr * bool) list
Sourceval is_upper_bounded_unsafe : ?nb_bits:int -> bound:Z.t -> scalar repr -> bool Bool.repr t
Sourceval is_upper_bounded : bound:Z.t -> scalar repr -> bool Bool.repr t
Sourceval geq : (C.Num.scalar C.Num.repr * Z.t) -> (C.Num.scalar C.Num.repr * Z.t) -> bool 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