Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package tls
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Tls_mirage
Effectful operations using Mirage for pure TLS.
module Make (F : Mirage_flow.S) : sig ... endTLS module given a flow
module X509 (KV : Mirage_kv.RO) (C : Mirage_clock.PCLOCK) : sig ... endX.509 handling given a key value store and a clock