Source position: gnutls.pp line 1068
type Tgnutls_psk_server_credentials_t = Pgnutls_psk_server_credentials_st;