module Make : functor (F : Mirage_flow.S) -> sig ... end with module Make.FLOW = FTLS module given a flow
module X509 : functor (KV : Mirage_kv.RO) -> functor (C : Mirage_clock.PCLOCK) -> sig ... endX.509 handling given a key value store and a clock