package bls12-381

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

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

Module `Rustc_bls12_381_bindings.MakeFieldBindings`Source

module S : sig ... end

module F : Cstubs.FOREIGN

Sourceval check_bytes : (bytes Ctypes_static.ocaml -> bool F.return) F.result

Sourceval is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result

Sourceval is_one : (bytes Ctypes_static.ocaml -> bool F.return) F.result

Sourceval random : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval one : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val add : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val mul : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val unsafe_inverse : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val eq : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

val negate : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val square : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val double : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val pow : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result