package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module L : sig ... end

type pk =
  Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod
  * Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod

type signature = {

r : (Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod * Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod) L.repr;
s : bool list L.repr;

}

module Encoding : sig ... end

val verify : L.Bytes.tl L.repr -> pk L.repr -> signature -> bool L.repr L.t