conex

Establishing trust in community repositories
IN THIS PACKAGE
Module Conex
module Make (L : Conex_utils.LOGS) (C : Conex_verify.S) : sig ... end