package dirsp-proscript

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Libraries
1. dirsp-proscript

package dirsp-proscript

dirsp-proscript
- Dirsp_proscript

Legend:
Library
Module
Module type
Parameter
Class
Class type

dirsp-proscript 0.1.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

dirsp-proscript

Documentation:

Dirsp_proscript Providing the signatures of cryptographic primitives needed by verified ProScript code.