Module Conex_openssl

Verification crypto provided by the OpenSSL command line tool

module V : sig ... end
module O_V : Conex_verify.S

The instantiaed verify module