Source position: gnutls.pp line 2317
function gnutls_x509_crl_get_certificate_count(
crl: Tgnutls_x509_crl_t
):cint;