/*
 * Generated by asn1c-0.9.29 (http://lionet.info/asn1c)
 * From ASN.1 module "PKIX1Explicit88"
 * 	found in "rfc5280-a.1.asn1"
 * 	`asn1c -Werror -fcompound-names -fwide-types -D asn1/asn1c -no-gen-PER -no-gen-example`
 */

#ifndef	_CertificateSerialNumber_H_
#define	_CertificateSerialNumber_H_

#include "asn1/asn1c/INTEGER.h"
#include "asn1/asn1c/constr_TYPE.h"

/* CertificateSerialNumber */
typedef INTEGER_t	 CertificateSerialNumber_t;

/* Implementation */
extern asn_TYPE_descriptor_t asn_DEF_CertificateSerialNumber;
asn_struct_free_f CertificateSerialNumber_free;
asn_struct_print_f CertificateSerialNumber_print;
asn_constr_check_f CertificateSerialNumber_constraint;
ber_type_decoder_f CertificateSerialNumber_decode_ber;
der_type_encoder_f CertificateSerialNumber_encode_der;
xer_type_encoder_f CertificateSerialNumber_encode_xer;

#endif	/* _CertificateSerialNumber_H_ */
