package dirsp-proscript

  1. Overview
  2. Docs

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.