Module `Dirsp_proscript_mirage`

module type CUSTOM_OPTIONS = sig ... end

module DefaultOptions : CUSTOM_OPTIONS

module Make : functor () Dirsp_proscript.S: Make a Proscript runtime that uses the mirage-crypto libraries

module CustomizedMake : functor (Opts : CUSTOM_OPTIONS) -> Dirsp_proscript.S: Make a customized Proscript runtime that uses the mirage-crypto, mirage-crypto-ec and mirage-crypto-rng.lwt libraries.