package octez-protocol-017-PtNairob-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val add : ?subtraction:bool -> label:string -> modulus:Z.t -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> scalar list repr -> scalar list repr t
val mul : ?division:bool -> label:string -> modulus:Z.t -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> scalar list repr -> scalar list repr t
val assert_non_zero : label:string -> modulus:Z.t -> is_prime:bool -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> unit repr t
val is_zero : label:string -> modulus:Z.t -> is_prime:bool -> nb_limbs:int -> base:Z.t -> moduli:Z.t list -> qm_bound:(Z.t * Z.t) -> ts_bounds:(Z.t * Z.t) list -> scalar list repr -> bool repr t
OCaml

Innovation. Community. Security.