|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
#include <concepts.h>
Check if the type T supports the same operation one could expect a typical hash algorithm to support:
result_type
alias that defines the type of the hash valueT | type to check |