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

Crypto primitives

Implementations are provided in Conex_nocrypto and Conex_openssl.

Verification

type verification_error = [

]

Potential error case when verifying a signature

val pp_verification_error : verification_error Conex_utils.fmt

pp_verification_error is a pretty printer for verification_error.

module type VERIFY = sig ... end

The verification module type

module type VERIFY_BACK = sig ... end

The verification backend, to be implemented by a crypto provider

module Make_verify (C : VERIFY_BACK) : VERIFY

Instantiation.

module type SIGN = sig ... end

The signing module type

module type SIGN_BACK = sig ... end

The signing backend, to be implemented by a crypto provider.

module Make_sign (C : SIGN_BACK) : SIGN

Instantiation.