miTLS :: Dispatch
F# Interface: Dispatch.fsi
F# Implementation: Dispatch.fs
F7 Interface: Dispatch.fs7
Verification status
The F# code of this module has been verified to meet its F7 interface.
Verification depends on the F7 interfaces of the following modules: Error Bytes Nonce Tcp TLSConstants RSAKey DHGroup HASH HMAC TLSPRF Sig Cert TLSInfo Range DataStream AppFragment HSFragment TLSFragment StatefulPlain LHAEPlain MAC_SHA256 MAC_SHA1 MAC Encode ENC LHAE StatefulLHAE Record Alert PRF CRE DH RSA SessionDB TLSExtensions Handshake AppData
