Searched defs:Hacl_Hash_SHA3_get_alg (Results 1 – 2 of 2) sorted by relevance
81 #define Hacl_Hash_SHA3_get_alg python_hashlib_Hacl_Hash_SHA3_get_alg macro
167 Spec_Hash_Definitions_hash_alg Hacl_Hash_SHA3_get_alg(Hacl_Hash_SHA3_state_t *s) in Hacl_Hash_SHA3_get_alg() function