val aliasKeyCrt_key_usage:key_usage_payload_t
val aliasKeyCrt_key_usage:key_usage_payload_t
let aliasKeyCrt_key_usage: key_usage_payload_t
= normalize_term (x509_KU_KEY_CERT_SIGN
  (*
   * Adding more key usage bits for test only. According to the
   * [reference implementation](https://github.com/microsoft/L0/blob/master/Reference/L0/L0Crypt/include/x509bldr.h#L22),
   * Only the KeyCertSign bit is set.
   *)
  // `op_ku_with` x509_KU_DIGITAL_SIGNATURE
  // `op_ku_with` x509_KU_CRL_SIGN
  )
module L0.X509.Base
open ASN1.Spec
open L0.Base
open X509

module B32 = FStar.Bytes

noeq
type deviceIDCSR_ingredients_t = {
  deviceIDCSR_ku: key_usage_payload_t;
  deviceIDCSR_version: datatype_of_asn1_type INTEGER;
  deviceIDCSR_s_common:  x509_RDN_x520_attribute_string_t COMMON_NAME  IA5_STRING;
  deviceIDCSR_s_org:     x509_RDN_x520_attribute_string_t ORGANIZATION IA5_STRING;
  deviceIDCSR_s_country: x509_RDN_x520_attribute_string_t COUNTRY      PRINTABLE_STRING
}

noeq
type aliasKeyCRT_ingredients_t = {
  aliasKeyCrt_version: x509_version_t;
  aliasKeyCrt_serialNumber: x509_serialNumber_t;
  aliasKeyCrt_i_common:  x509_RDN_x520_attribute_string_t COMMON_NAME  IA5_STRING;
  aliasKeyCrt_i_org:     x509_RDN_x520_attribute_string_t ORGANIZATION IA5_STRING;
  aliasKeyCrt_i_country: x509_RDN_x520_attribute_string_t COUNTRY      PRINTABLE_STRING;
  aliasKeyCrt_notBefore: datatype_of_asn1_type UTC_TIME;
  aliasKeyCrt_notAfter : datatype_of_asn1_type Generalized_Time;
  aliasKeyCrt_s_common:  x509_RDN_x520_attribute_string_t COMMON_NAME  IA5_STRING;
  aliasKeyCrt_s_org:     x509_RDN_x520_attribute_string_t ORGANIZATION IA5_STRING;
  aliasKeyCrt_s_country: x509_RDN_x520_attribute_string_t COUNTRY      PRINTABLE_STRING;
  aliasKeyCrt_ku: key_usage_payload_t;
  aliasKeyCrt_l0_version: datatype_of_asn1_type INTEGER;
}
/
X509.fst.checked prims.fst.checked L0.Base.fst.checked FStar.Pervasives.fsti.checked FStar.Bytes.fsti.checked ASN1.Spec.fst.checked
L0.X509.Base.fst
X509.ExtFields.KeyUsage.key_usage_payload_t
FStar.Pervasives.normalize_term X509.ExtFields.KeyUsage.key_usage_payload_t X509.ExtFields.KeyUsage.x509_KU_KEY_CERT_SIGN
let aliasKeyCrt_key_usage:key_usage_payload_t =
  
normalize_term (x509_KU_KEY_CERT_SIGN)