val parse_asn1_generalized_time_kind:parser_kind
val parse_asn1_generalized_time_kind:parser_kind
let parse_asn1_generalized_time_kind: parser_kind
= parse_filter_kind (total_constant_size_parser_kind 15)
module ASN1.Spec.Value.Generalized_Time

open ASN1.Spec.Base

open ASN1.Base
open ASN1.Spec.Tag
open ASN1.Spec.Length
open ASN1.Spec.Bytes32

open FStar.Integers

module B32 = FStar.Bytes

#set-options "--z3rlimit 32  --fuel 0 --ifuel 0"
/
prims.fst.checked FStar.UInt32.fsti.checked FStar.Seq.fst.checked FStar.Pervasives.fsti.checked FStar.Integers.fst.checked FStar.Bytes.fsti.checked ASN1.Spec.Tag.fsti.checked ASN1.Spec.Length.fsti.checked ASN1.Spec.Bytes32.fst.checked ASN1.Spec.Base.fst.checked ASN1.Base.fst.checked
ASN1.Spec.Value.Generalized_Time.fsti
LowParse.Spec.Base.parser_kind
LowParse.Spec.Combinators.parse_filter_kind LowParse.Spec.Base.total_constant_size_parser_kind
let parse_asn1_generalized_time_kind:parser_kind =
  
parse_filter_kind (total_constant_size_parser_kind 15)