Bls12_381.Rustc_bls12_381_bindings.MakeFieldBindings · bls12-381 0.3.14

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