package bls12-381-legacy

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fq12.Stubs`Source

Sourceval order : Z.t

Sourceval size_in_bytes : int

Sourceval empty : unit -> bytes

Sourceval check_bytes : bytes -> bool Bls12_381_legacy.Rustc_bls12_381_stubs.return

Sourceval is_zero : bytes -> bool Bls12_381_legacy.Rustc_bls12_381_stubs.return

Sourceval is_one : bytes -> bool Bls12_381_legacy.Rustc_bls12_381_stubs.return

Sourceval zero : unit -> bytes

Sourceval one : unit -> bytes

Sourceval random : unit -> bytes

Sourceval add : bytes -> bytes -> bytes

Sourceval mul : bytes -> bytes -> bytes

Sourceval unsafe_inverse : bytes -> bytes

Sourceval eq : bytes -> bytes -> bool Bls12_381_legacy.Rustc_bls12_381_stubs.return

Sourceval negate : bytes -> bytes

Sourceval square : bytes -> bytes

Sourceval double : bytes -> bytes

Sourceval pow : bytes -> bytes -> bytes