Conex_openssl.O_VSourceThe instantiaed verify module
raw_digest str is the digest of the given str.
digest wire is the digest of the string encoding of wire.
val verify :
Conex_resource.Wire.t ->
Conex_resource.Key.t Conex_utils.M.t ->
Conex_resource.Signature.t Conex_utils.M.t ->
Conex_resource.identifier Conex_resource.Digest_map.t
* Conex_verify.error listverify wire keys sigs is the set of valid signatures and errors