package bls12-381-legacy

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module S : sig ... end

module F : Cstubs.FOREIGN

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

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

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

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

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

val 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