package octez-libs

  1. Overview
  2. Docs
val add_mod_25519 : ?valid:bool -> ?sub:bool -> string -> x:Plompiler.Utils.Z.t -> y:Plompiler.Utils.Z.t -> z:Plompiler.Utils.Z.t -> qm:Plompiler.Utils.Z.t -> tj:Plompiler.Utils.Z.t -> case
val mod_add_tests_25519 : case list
val add_mod_64 : ?valid:bool -> ?sub:bool -> string -> x:Plompiler.Utils.Z.t -> y:Plompiler.Utils.Z.t -> z:Plompiler.Utils.Z.t -> qm:Plompiler.Utils.Z.t -> case
val mod_add_tests_64 : case list
val mul_mod_25519 : ?valid:bool -> ?div:bool -> string -> x:Plompiler.Utils.Z.t -> y:Plompiler.Utils.Z.t -> z:Plompiler.Utils.Z.t -> qm:Plompiler.Utils.Z.t -> t1:Plompiler.Utils.Z.t -> t2:Plompiler.Utils.Z.t -> case
val mod_mul_tests_25519 : case list
val mul_mod_64 : ?valid:bool -> string -> x:Plompiler.Utils.Z.t -> y:Plompiler.Utils.Z.t -> z:Plompiler.Utils.Z.t -> qm:Plompiler.Utils.Z.t -> case
val mod_mul_tests_64 : case list
val list : case list
OCaml

Innovation. Community. Security.