val serialize_aliasKeyTBS_extensions_basicConstraints:serializer parse_aliasKeyTBS_extensions_basicConstraints
val serialize_aliasKeyTBS_extensions_basicConstraints:serializer parse_aliasKeyTBS_extensions_basicConstraints
let serialize_aliasKeyTBS_extensions_basicConstraints
: serializer parse_aliasKeyTBS_extensions_basicConstraints
= coerce_parser_serializer
    (parse_aliasKeyTBS_extensions_basicConstraints)
    (serialize_x509_basicConstraints aliasKeyTBS_extensions_basicConstraints_isCA)
    ()
module L0.X509.AliasKeyTBS.Extensions.BasicConstraints

open ASN1.Spec
open ASN1.Low
open X509
open FStar.Integers

module B32 = FStar.Bytes

#set-options "--z3rlimit 64 --fuel 0 --ifuel 0"

noextract inline_for_extraction
let aliasKeyTBS_extensions_basicConstraints_isCA: bool = false

let aliasKeyTBS_extensions_basicConstraints_t: Type
= x509_basicConstraints_t aliasKeyTBS_extensions_basicConstraints_isCA

let parse_aliasKeyTBS_extensions_basicConstraints
// : parser parse_x509_extension_kind aliasKeyTBS_extensions_basicConstraints_t
= aliasKeyTBS_extensions_basicConstraints_t
  `coerce_parser`
  parse_x509_basicConstraints aliasKeyTBS_extensions_basicConstraints_isCA
/
X509.fst.checked prims.fst.checked FStar.Pervasives.fsti.checked FStar.Integers.fst.checked FStar.Bytes.fsti.checked ASN1.Spec.fst.checked ASN1.Low.fst.checked
L0.X509.AliasKeyTBS.Extensions.BasicConstraints.fst
LowParse.Spec.Base.serializer L0.X509.AliasKeyTBS.Extensions.BasicConstraints.parse_aliasKeyTBS_extensions_basicConstraints

ASN1.Spec.Base.coerce_parser_serializer L0.X509.AliasKeyTBS.Extensions.BasicConstraints.aliasKeyTBS_extensions_basicConstraints_t X509.BasicFields.Extension2.parse_x509_extension_kind X509.ExtFields.BasicConstraints.x509_basicConstraints_t L0.X509.AliasKeyTBS.Extensions.BasicConstraints.aliasKeyTBS_extensions_basicConstraints_isCA X509.ExtFields.BasicConstraints.parse_x509_basicConstraints L0.X509.AliasKeyTBS.Extensions.BasicConstraints.parse_aliasKeyTBS_extensions_basicConstraints X509.ExtFields.BasicConstraints.serialize_x509_basicConstraints
let serialize_aliasKeyTBS_extensions_basicConstraints:serializer parse_aliasKeyTBS_extensions_basicConstraints
 =
  
coerce_parser_serializer (parse_aliasKeyTBS_extensions_basicConstraints)
  (serialize_x509_basicConstraints aliasKeyTBS_extensions_basicConstraints_isCA)
  ()