val aliasKeyTBS_extensions_basicConstraints_isCA:bool
val aliasKeyTBS_extensions_basicConstraints_isCA:bool
let aliasKeyTBS_extensions_basicConstraints_isCA: bool = false
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"
/
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
Prims.bool
let aliasKeyTBS_extensions_basicConstraints_isCA:bool =
  
false