Module Kobeissi_bhargavan_blanchet_shims.Make

Parameters

• ProScript : Dirsp_proscript.S

Signature

val shim_Type_key_construct : unit -> ProScript.t

val shim_Type_iv_construct : unit -> ProScript.t

val shim_UTIL_newKeyPair : ProScript.t -> ProScript.t record_keypair

val shim_UTIL_getDHPublicKey : ProScript.Crypto.t -> ProScript.Crypto.t