val verify :
Digestif.hash' ->?scheme:Key_type.signature_scheme ->signature:string ->t->[ `Digest of string| `Message of string ]->unit Core.Or_error.t
val decode_der : contents:string ->tCore.Or_error.t
val decode_pem : contents:string ->tCore.Or_error.t