class x509_certificate_from_ASN1 : Netasn1.Value.value -> x509_certificate
Netasn1.Value.value ->
x509_certificate