pub unsafe extern "C" fn sort_kind_hash(kind: SortKind) -> usize
Hash function for Cvc5SortKinds. @param kind The kind. @return The hash value.