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.