package conex

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

Instantiation.

Parameters

module C : VERIFY_BACK

val raw_digest : string -> Conex_resource.Digest.t

raw_digest str is the digest of the given str.

val digest : Conex_resource.Wire.t -> Conex_resource.Digest.t

digest wire is the digest of the string encoding of wire.

val keyid : 
  Conex_resource.identifier ->
  Conex_resource.Key.t ->
  Conex_resource.Digest.t

keyid id key is the unique fingerprint of key.

val verify : 
  Conex_resource.Author.t ->
  (unit, [> verification_error ]) Stdlib.result

verify author verifies all signatures of author: they have to sign the current resource list.