Source position: gnutls.pp line 860
type Pgnutls_psk_client_credentials_t = ^Tgnutls_psk_client_credentials_t;