val pubkey_len : FStar.UInt32.t
let pubkey_len
  // (pubkey_alg: supported_crypto_alg_t)
=
  // match pubkey_alg with
  // | AlgID_ECDSA_P256 -> 32ul
  // | AlgID_Ed25519    ->
  32ul
module X509.Base

open ASN1.Base

(* Disabling them for now *)
// type supported_crypto_alg_t =
// | AlgID_ECDSA_P256
// | AlgID_Ed25519
/
prims.fst.checked FStar.UInt32.fsti.checked FStar.Pervasives.fsti.checked ASN1.Base.fst.checked
X509.Base.fst
FStar.UInt32.t
FStar.UInt32.__uint_to_t
let pubkey_len =
  
32ul