package bls12-381-legacy

  1. Overview
  2. Docs
module Fq12_stubs : sig ... end
module Stubs : sig ... end
include sig ... end
exception Not_in_field of Stdlib.Bytes.t
type t = Bls12_381_gen__Fq12.MakeFq12(Stubs).t
val order : Z.t
val size_in_bytes : int
val check_bytes : Stdlib.Bytes.t -> bool
val zero : t
val one : t
val is_zero : t -> bool
val is_one : t -> bool
val random : ?state:Stdlib.Random.State.t -> unit -> t
val non_null_random : ?state:Stdlib.Random.State.t -> unit -> t
val add : t -> t -> t
val (+) : t -> t -> t
val sub : t -> t -> t
val mul : t -> t -> t
val (*) : t -> t -> t
val eq : t -> t -> bool
val (=) : t -> t -> bool
val negate : t -> t
val (-) : t -> t
val inverse_exn : t -> t
val inverse_opt : t -> t option
val div_exn : t -> t -> t
val div_opt : t -> t -> t option
val (/) : t -> t -> t
val square : t -> t
val double : t -> t
val pow : t -> Z.t -> t
val (**) : t -> Z.t -> t
val of_bytes_exn : Stdlib.Bytes.t -> t
val of_bytes_opt : Stdlib.Bytes.t -> t option
val to_bytes : t -> Stdlib.Bytes.t
val of_string : Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> Stdlib.String.t -> t
val of_z : Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> Z.t -> 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