proven_c_lib manual←↑
proven_c_lib-v0.113.0 · generated from the Markdown manual

Appendix A: alias_xcv.h Alias Index (Chapter 7)

This is a lookup table, not reading material. It is the one file in the manual with no prose to work through: 500-odd rows mapping every xcv_ short name to its canonical proven_ name. Skip it on a first read and come back when you meet an xcv_ spelling you do not recognise, or when you are deciding whether to adopt the short names in your own code.

The file keeps its manual-07 number because that number is a stable identifier used by links and by the build; its position in the reading order is "appendix", which is what this title says.

This appendix is generated from include/proven/alias_xcv.h. The alias layer is optional. The canonical proven_ and PROVEN_ names remain the source of truth for ABI, documentation, and tests.

Usage rule

Include aliases after the normal headers:

#include "proven.h"
#include "proven/alias_xcv.h"

Do not mix alias documentation with canonical API documentation. Use this index only as a spelling map.

Alias table

1333 aliases: 982 lowercase xcv_ names and 351 uppercase XCV_ names. The table is generated from include/proven/alias_xcv.h; tests/test_docs_alias_completeness fails the build if a public function has no alias. That gate compares the headers with each other, not with this appendix - the table had fallen 61 rows behind the header before it was regenerated, so regenerate it from the header rather than editing rows by hand.

There is deliberately no line-number column. It was wrong after every alias that got inserted above it, which is worse than having no column at all.

Alias macroExpands to
XCV_AEAD_NONCE_SIZEPROVEN_AEAD_NONCE_SIZE
XCV_AEAD_TAG_SIZEPROVEN_AEAD_TAG_SIZE
XCV_ARGPROVEN_ARG
XCV_ARG_CSTRproven_arg_cstr
XCV_ARG_DATETIMEproven_arg_datetime
XCV_ARG_F64proven_arg_f64
XCV_ARG_FNPROVEN_ARG_FN(f)
XCV_ARG_I32proven_arg_i32
XCV_ARG_I64proven_arg_i64
XCV_ARG_NONEproven_arg_none
XCV_ARG_PTRproven_arg_ptr
XCV_ARG_STR_VIEWproven_arg_str_view
XCV_ARG_U16proven_arg_u16
XCV_ARG_U32proven_arg_u32
XCV_ARG_U64proven_arg_u64
XCV_ARRAY_DESTROYPROVEN_ARRAY_DESTROY
XCV_ARRAY_GETPROVEN_ARRAY_GET
XCV_ARRAY_GET_MUTPROVEN_ARRAY_GET_MUT
XCV_ARRAY_INITPROVEN_ARRAY_INIT
XCV_ARRAY_IS_VALIDproven_array_is_valid
XCV_ARRAY_POPPROVEN_ARRAY_POP
XCV_ARRAY_PUSHPROVEN_ARRAY_PUSH
XCV_BROTLI_WINDOW_DEFAULTPROVEN_BROTLI_WINDOW_DEFAULT
XCV_CERT_EKU_PROVEN_CERT_EKU_
XCV_CERT_EKU_ANYPROVEN_CERT_EKU_ANY
XCV_CERT_EKU_CLIENT_AUTHPROVEN_CERT_EKU_CLIENT_AUTH
XCV_CERT_EKU_CODE_SIGNINGPROVEN_CERT_EKU_CODE_SIGNING
XCV_CERT_EKU_OTHERPROVEN_CERT_EKU_OTHER
XCV_CERT_EKU_SERVER_AUTHPROVEN_CERT_EKU_SERVER_AUTH
XCV_CERT_EKU_TIME_STAMPINGPROVEN_CERT_EKU_TIME_STAMPING
XCV_CERT_FAULT_ALGORITHMPROVEN_CERT_FAULT_ALGORITHM
XCV_CERT_FAULT_BAD_SIGNATUREPROVEN_CERT_FAULT_BAD_SIGNATURE
XCV_CERT_FAULT_CRITICAL_EXTENSIONPROVEN_CERT_FAULT_CRITICAL_EXTENSION
XCV_CERT_FAULT_EXPIREDPROVEN_CERT_FAULT_EXPIRED
XCV_CERT_FAULT_MALFORMEDPROVEN_CERT_FAULT_MALFORMED
XCV_CERT_FAULT_NAME_CONSTRAINTPROVEN_CERT_FAULT_NAME_CONSTRAINT
XCV_CERT_FAULT_NAME_MISMATCHPROVEN_CERT_FAULT_NAME_MISMATCH
XCV_CERT_FAULT_NONEPROVEN_CERT_FAULT_NONE
XCV_CERT_FAULT_NOT_A_CAPROVEN_CERT_FAULT_NOT_A_CA
XCV_CERT_FAULT_NOT_YET_VALIDPROVEN_CERT_FAULT_NOT_YET_VALID
XCV_CERT_FAULT_NO_ISSUERPROVEN_CERT_FAULT_NO_ISSUER
XCV_CERT_FAULT_PATH_LENGTHPROVEN_CERT_FAULT_PATH_LENGTH
XCV_CERT_FAULT_PIN_MISMATCHPROVEN_CERT_FAULT_PIN_MISMATCH
XCV_CERT_FAULT_TOO_DEEPPROVEN_CERT_FAULT_TOO_DEEP
XCV_CERT_FAULT_USAGEPROVEN_CERT_FAULT_USAGE
XCV_CERT_KEY_EC_P256PROVEN_CERT_KEY_EC_P256
XCV_CERT_KEY_EC_P384PROVEN_CERT_KEY_EC_P384
XCV_CERT_KEY_ED25519PROVEN_CERT_KEY_ED25519
XCV_CERT_KEY_RSAPROVEN_CERT_KEY_RSA
XCV_CERT_KEY_UNKNOWNPROVEN_CERT_KEY_UNKNOWN
XCV_CERT_KU_PROVEN_CERT_KU_
XCV_CERT_KU_CRL_SIGNPROVEN_CERT_KU_CRL_SIGN
XCV_CERT_KU_DIGITAL_SIGNATUREPROVEN_CERT_KU_DIGITAL_SIGNATURE
XCV_CERT_KU_KEY_AGREEMENTPROVEN_CERT_KU_KEY_AGREEMENT
XCV_CERT_KU_KEY_CERT_SIGNPROVEN_CERT_KU_KEY_CERT_SIGN
XCV_CERT_KU_KEY_ENCIPHERMENTPROVEN_CERT_KU_KEY_ENCIPHERMENT
XCV_CERT_MAX_DEPTHPROVEN_CERT_MAX_DEPTH
XCV_CERT_NAME_DNSPROVEN_CERT_NAME_DNS
XCV_CERT_NAME_IPPROVEN_CERT_NAME_IP
XCV_CERT_NAME_OTHERPROVEN_CERT_NAME_OTHER
XCV_CERT_SIG_ECDSAPROVEN_CERT_SIG_ECDSA
XCV_CERT_SIG_ED25519PROVEN_CERT_SIG_ED25519
XCV_CERT_SIG_RSA_PKCS1PROVEN_CERT_SIG_RSA_PKCS1
XCV_CERT_SIG_RSA_PSSPROVEN_CERT_SIG_RSA_PSS
XCV_CERT_SIG_UNKNOWNPROVEN_CERT_SIG_UNKNOWN
XCV_CERT_USE_CLIENTPROVEN_CERT_USE_CLIENT
XCV_CERT_USE_CODE_SIGNINGPROVEN_CERT_USE_CODE_SIGNING
XCV_CERT_USE_SERVERPROVEN_CERT_USE_SERVER
XCV_CERT_USE_TIMESTAMPINGPROVEN_CERT_USE_TIMESTAMPING
XCV_CKD_ADDPROVEN_CKD_ADD
XCV_CKD_MULPROVEN_CKD_MUL
XCV_CKD_SUBPROVEN_CKD_SUB
XCV_CONTAINER_OFPROVEN_CONTAINER_OF
XCV_CORO_AWAITPROVEN_CORO_AWAIT
XCV_CORO_BEGINPROVEN_CORO_BEGIN
XCV_CORO_ENDPROVEN_CORO_END
XCV_CORO_INITPROVEN_CORO_INIT
XCV_CORO_IS_DONEPROVEN_CORO_IS_DONE
XCV_CORO_YIELDPROVEN_CORO_YIELD
XCV_DEFAULT_ALIGNMENTPROVEN_DEFAULT_ALIGNMENT
XCV_DEFLATE_FLUSH_FINISHPROVEN_DEFLATE_FLUSH_FINISH
XCV_DEFLATE_FLUSH_NONEPROVEN_DEFLATE_FLUSH_NONE
XCV_DEFLATE_FLUSH_SYNCPROVEN_DEFLATE_FLUSH_SYNC
XCV_DEFLATE_GZIPPROVEN_DEFLATE_GZIP
XCV_DEFLATE_RAWPROVEN_DEFLATE_RAW
XCV_DEFLATE_ZLIBPROVEN_DEFLATE_ZLIB
XCV_DER_BER_MAX_DEPTHPROVEN_DER_BER_MAX_DEPTH
XCV_DER_BIT_STRINGPROVEN_DER_BIT_STRING
XCV_DER_BOOLEANPROVEN_DER_BOOLEAN
XCV_DER_CONTEXTPROVEN_DER_CONTEXT(n)
XCV_DER_CONTEXT_PRIMITIVEPROVEN_DER_CONTEXT_PRIMITIVE(n)
XCV_DER_GENERALIZED_TIMEPROVEN_DER_GENERALIZED_TIME
XCV_DER_IA5_STRINGPROVEN_DER_IA5_STRING
XCV_DER_INTEGERPROVEN_DER_INTEGER
XCV_DER_MAX_DEPTHPROVEN_DER_MAX_DEPTH
XCV_DER_NULLPROVEN_DER_NULL
XCV_DER_OCTET_STRINGPROVEN_DER_OCTET_STRING
XCV_DER_OIDPROVEN_DER_OID
XCV_DER_PRINTABLE_STRINGPROVEN_DER_PRINTABLE_STRING
XCV_DER_SEQUENCEPROVEN_DER_SEQUENCE
XCV_DER_SETPROVEN_DER_SET
XCV_DER_UTC_TIMEPROVEN_DER_UTC_TIME
XCV_DER_UTF8_STRINGPROVEN_DER_UTF8_STRING
XCV_DH_EXP_MAX_BYTESPROVEN_DH_EXP_MAX_BYTES
XCV_DH_MAX_BYTESPROVEN_DH_MAX_BYTES
XCV_ERR_AGAINPROVEN_ERR_AGAIN
XCV_ERR_BUSYPROVEN_ERR_BUSY
XCV_ERR_CANCELLEDPROVEN_ERR_CANCELLED
XCV_ERR_EOFPROVEN_ERR_EOF
XCV_ERR_EXISTSPROVEN_ERR_EXISTS
XCV_ERR_EXPIREDPROVEN_ERR_EXPIRED
XCV_ERR_INVALID_ARGPROVEN_ERR_INVALID_ARG
XCV_ERR_INVALID_ENCODINGPROVEN_ERR_INVALID_ENCODING
XCV_ERR_INVALID_FORMATPROVEN_ERR_INVALID_FORMAT
XCV_ERR_INVALID_STATEPROVEN_ERR_INVALID_STATE
XCV_ERR_IOPROVEN_ERR_IO
XCV_ERR_LASTPROVEN_ERR_LAST
XCV_ERR_NAME_MISMATCHPROVEN_ERR_NAME_MISMATCH
XCV_ERR_NEED_MOREPROVEN_ERR_NEED_MORE
XCV_ERR_NOMEMPROVEN_ERR_NOMEM
XCV_ERR_NOT_FOUNDPROVEN_ERR_NOT_FOUND
XCV_ERR_NOT_YET_VALIDPROVEN_ERR_NOT_YET_VALID
XCV_ERR_OUT_OF_BOUNDSPROVEN_ERR_OUT_OF_BOUNDS
XCV_ERR_OVERFLOWPROVEN_ERR_OVERFLOW
XCV_ERR_PERMISSIONPROVEN_ERR_PERMISSION
XCV_ERR_PROTOCOLPROVEN_ERR_PROTOCOL
XCV_ERR_REFUSEDPROVEN_ERR_REFUSED
XCV_ERR_RESERVED_ENDPROVEN_ERR_RESERVED_END
XCV_ERR_RESETPROVEN_ERR_RESET
XCV_ERR_TIMEOUTPROVEN_ERR_TIMEOUT
XCV_ERR_UNREACHABLEPROVEN_ERR_UNREACHABLE
XCV_ERR_UNSUPPORTEDPROVEN_ERR_UNSUPPORTED
XCV_ERR_UNTRUSTEDPROVEN_ERR_UNTRUSTED
XCV_FS_APPENDPROVEN_FS_APPEND
XCV_FS_CREATEPROVEN_FS_CREATE
XCV_FS_LOCK_EXCLUSIVEPROVEN_FS_LOCK_EXCLUSIVE
XCV_FS_LOCK_SHAREDPROVEN_FS_LOCK_SHARED
XCV_FS_LOCK_UNLOCKPROVEN_FS_LOCK_UNLOCK
XCV_FS_PATH_SEPPROVEN_FS_PATH_SEP
XCV_FS_PERM_DEFAULTPROVEN_FS_PERM_DEFAULT
XCV_FS_PERM_GROUP_RPROVEN_FS_PERM_GROUP_R
XCV_FS_PERM_GROUP_WPROVEN_FS_PERM_GROUP_W
XCV_FS_PERM_GROUP_XPROVEN_FS_PERM_GROUP_X
XCV_FS_PERM_OTHER_RPROVEN_FS_PERM_OTHER_R
XCV_FS_PERM_OTHER_WPROVEN_FS_PERM_OTHER_W
XCV_FS_PERM_OTHER_XPROVEN_FS_PERM_OTHER_X
XCV_FS_PERM_OWNER_RPROVEN_FS_PERM_OWNER_R
XCV_FS_PERM_OWNER_WPROVEN_FS_PERM_OWNER_W
XCV_FS_PERM_OWNER_XPROVEN_FS_PERM_OWNER_X
XCV_FS_READPROVEN_FS_READ
XCV_FS_TRUNCPROVEN_FS_TRUNC
XCV_FS_TYPE_DIRPROVEN_FS_TYPE_DIR
XCV_FS_TYPE_FILEPROVEN_FS_TYPE_FILE
XCV_FS_TYPE_OTHERPROVEN_FS_TYPE_OTHER
XCV_FS_WRITEPROVEN_FS_WRITE
XCV_H2_CANCELPROVEN_H2_CANCEL
XCV_H2_COMPRESSION_ERRORPROVEN_H2_COMPRESSION_ERROR
XCV_H2_CONNECT_ERRORPROVEN_H2_CONNECT_ERROR
XCV_H2_CONTINUATIONPROVEN_H2_CONTINUATION
XCV_H2_DATAPROVEN_H2_DATA
XCV_H2_DEFAULT_WINDOWPROVEN_H2_DEFAULT_WINDOW
XCV_H2_ENHANCE_YOUR_CALMPROVEN_H2_ENHANCE_YOUR_CALM
XCV_H2_EVENT_CLOSEDPROVEN_H2_EVENT_CLOSED
XCV_H2_EVENT_DATAPROVEN_H2_EVENT_DATA
XCV_H2_EVENT_GOAWAYPROVEN_H2_EVENT_GOAWAY
XCV_H2_EVENT_HEADERSPROVEN_H2_EVENT_HEADERS
XCV_H2_EVENT_NONEPROVEN_H2_EVENT_NONE
XCV_H2_EVENT_PONGPROVEN_H2_EVENT_PONG
XCV_H2_EVENT_STREAM_RESETPROVEN_H2_EVENT_STREAM_RESET
XCV_H2_EVENT_STREAM_WRITABLEPROVEN_H2_EVENT_STREAM_WRITABLE
XCV_H2_EVENT_TRAILERSPROVEN_H2_EVENT_TRAILERS
XCV_H2_FLAG_ACKPROVEN_H2_FLAG_ACK
XCV_H2_FLAG_END_HEADERSPROVEN_H2_FLAG_END_HEADERS
XCV_H2_FLAG_END_STREAMPROVEN_H2_FLAG_END_STREAM
XCV_H2_FLAG_PADDEDPROVEN_H2_FLAG_PADDED
XCV_H2_FLAG_PRIORITYPROVEN_H2_FLAG_PRIORITY
XCV_H2_FLOW_CONTROL_ERRORPROVEN_H2_FLOW_CONTROL_ERROR
XCV_H2_FRAME_HEADER_SIZEPROVEN_H2_FRAME_HEADER_SIZE
XCV_H2_FRAME_SIZE_ERRORPROVEN_H2_FRAME_SIZE_ERROR
XCV_H2_GOAWAYPROVEN_H2_GOAWAY
XCV_H2_HEADERSPROVEN_H2_HEADERS
XCV_H2_HTTP_1_1_REQUIREDPROVEN_H2_HTTP_1_1_REQUIRED
XCV_H2_INADEQUATE_SECURITYPROVEN_H2_INADEQUATE_SECURITY
XCV_H2_INTERNAL_ERRORPROVEN_H2_INTERNAL_ERROR
XCV_H2_MAX_MAX_FRAME_SIZEPROVEN_H2_MAX_MAX_FRAME_SIZE
XCV_H2_MAX_WINDOWPROVEN_H2_MAX_WINDOW
XCV_H2_MIN_MAX_FRAME_SIZEPROVEN_H2_MIN_MAX_FRAME_SIZE
XCV_H2_NO_ERRORPROVEN_H2_NO_ERROR
XCV_H2_PINGPROVEN_H2_PING
XCV_H2_PREFACEPROVEN_H2_PREFACE
XCV_H2_PREFACE_SIZEPROVEN_H2_PREFACE_SIZE
XCV_H2_PRIORITYPROVEN_H2_PRIORITY
XCV_H2_PROTOCOL_ERRORPROVEN_H2_PROTOCOL_ERROR
XCV_H2_PUSH_PROMISEPROVEN_H2_PUSH_PROMISE
XCV_H2_REFUSED_STREAMPROVEN_H2_REFUSED_STREAM
XCV_H2_RST_STREAMPROVEN_H2_RST_STREAM
XCV_H2_SETTINGSPROVEN_H2_SETTINGS
XCV_H2_SETTINGS_ENABLE_CONNECT_PROTOCOLPROVEN_H2_SETTINGS_ENABLE_CONNECT_PROTOCOL
XCV_H2_SETTINGS_ENABLE_PUSHPROVEN_H2_SETTINGS_ENABLE_PUSH
XCV_H2_SETTINGS_HEADER_TABLE_SIZEPROVEN_H2_SETTINGS_HEADER_TABLE_SIZE
XCV_H2_SETTINGS_INITIAL_WINDOW_SIZEPROVEN_H2_SETTINGS_INITIAL_WINDOW_SIZE
XCV_H2_SETTINGS_MAX_CONCURRENT_STREAMSPROVEN_H2_SETTINGS_MAX_CONCURRENT_STREAMS
XCV_H2_SETTINGS_MAX_FRAME_SIZEPROVEN_H2_SETTINGS_MAX_FRAME_SIZE
XCV_H2_SETTINGS_MAX_HEADER_LIST_SIZEPROVEN_H2_SETTINGS_MAX_HEADER_LIST_SIZE
XCV_H2_SETTINGS_TIMEOUTPROVEN_H2_SETTINGS_TIMEOUT
XCV_H2_STREAM_CLOSEDPROVEN_H2_STREAM_CLOSED
XCV_H2_WINDOW_UPDATEPROVEN_H2_WINDOW_UPDATE
XCV_HMAC_MAX_SIZEPROVEN_HMAC_MAX_SIZE
XCV_HMAC_SHA1PROVEN_HMAC_SHA1
XCV_HMAC_SHA256PROVEN_HMAC_SHA256
XCV_HMAC_SHA384PROVEN_HMAC_SHA384
XCV_HMAC_SHA512PROVEN_HMAC_SHA512
XCV_HPACK_DEFAULT_TABLE_BYTESPROVEN_HPACK_DEFAULT_TABLE_BYTES
XCV_HPACK_ENTRY_OVERHEADPROVEN_HPACK_ENTRY_OVERHEAD
XCV_HTTP_BODY_CHUNKEDPROVEN_HTTP_BODY_CHUNKED
XCV_HTTP_BODY_LENGTHPROVEN_HTTP_BODY_LENGTH
XCV_HTTP_BODY_NONEPROVEN_HTTP_BODY_NONE
XCV_HTTP_BODY_UNTIL_CLOSEPROVEN_HTTP_BODY_UNTIL_CLOSE
XCV_HTTP_BOUNDARY_SIZEPROVEN_HTTP_BOUNDARY_SIZE
XCV_HTTP_CODING_BROTLIPROVEN_HTTP_CODING_BROTLI
XCV_HTTP_CODING_DEFLATEPROVEN_HTTP_CODING_DEFLATE
XCV_HTTP_CODING_GZIPPROVEN_HTTP_CODING_GZIP
XCV_HTTP_CODING_IDENTITYPROVEN_HTTP_CODING_IDENTITY
XCV_HTTP_CODING_OTHERPROVEN_HTTP_CODING_OTHER
XCV_HTTP_CODING_ZSTDPROVEN_HTTP_CODING_ZSTD
XCV_HTTP_CONNECTPROVEN_HTTP_CONNECT
XCV_HTTP_COOKIE_MAX_SIZEPROVEN_HTTP_COOKIE_MAX_SIZE
XCV_HTTP_DATE_SIZEPROVEN_HTTP_DATE_SIZE
XCV_HTTP_DEFAULT_MAX_HEADPROVEN_HTTP_DEFAULT_MAX_HEAD
XCV_HTTP_DELETEPROVEN_HTTP_DELETE
XCV_HTTP_DIGEST_MD5PROVEN_HTTP_DIGEST_MD5
XCV_HTTP_DIGEST_MD5_SESSPROVEN_HTTP_DIGEST_MD5_SESS
XCV_HTTP_DIGEST_SHA256PROVEN_HTTP_DIGEST_SHA256
XCV_HTTP_DIGEST_SHA256_SESSPROVEN_HTTP_DIGEST_SHA256_SESS
XCV_HTTP_EVENT_LENGTH_UNKNOWNPROVEN_HTTP_EVENT_LENGTH_UNKNOWN
XCV_HTTP_GETPROVEN_HTTP_GET
XCV_HTTP_HEADPROVEN_HTTP_HEAD
XCV_HTTP_LENGTH_UNKNOWNPROVEN_HTTP_LENGTH_UNKNOWN
XCV_HTTP_MAX_CHUNK_LINEPROVEN_HTTP_MAX_CHUNK_LINE
XCV_HTTP_MAX_TRAILER_BYTESPROVEN_HTTP_MAX_TRAILER_BYTES
XCV_HTTP_METHOD_OTHERPROVEN_HTTP_METHOD_OTHER
XCV_HTTP_OPTIONSPROVEN_HTTP_OPTIONS
XCV_HTTP_PATCHPROVEN_HTTP_PATCH
XCV_HTTP_POSTPROVEN_HTTP_POST
XCV_HTTP_PUTPROVEN_HTTP_PUT
XCV_HTTP_RANGE_TO_ENDPROVEN_HTTP_RANGE_TO_END
XCV_HTTP_TRACEPROVEN_HTTP_TRACE
XCV_INDEX_NOT_FOUNDPROVEN_INDEX_NOT_FOUND
XCV_IS_OKPROVEN_IS_OK
XCV_KEY_TYPE_INTPROVEN_KEY_TYPE_INT
XCV_KEY_TYPE_U8_BORROWEDPROVEN_KEY_TYPE_U8_BORROWED
XCV_KEY_TYPE_U8_OWNEDPROVEN_KEY_TYPE_U8_OWNED
XCV_LIST_ENTRYPROVEN_LIST_ENTRY
XCV_LIST_FOR_EACHPROVEN_LIST_FOR_EACH
XCV_LIST_FOR_EACH_SAFEPROVEN_LIST_FOR_EACH_SAFE
XCV_LITPROVEN_LIT
XCV_LOOP_BACKEND_AUTOPROVEN_LOOP_BACKEND_AUTO
XCV_LOOP_BACKEND_IOCPPROVEN_LOOP_BACKEND_IOCP
XCV_LOOP_BACKEND_SELECTORPROVEN_LOOP_BACKEND_SELECTOR
XCV_LOOP_BACKEND_URINGPROVEN_LOOP_BACKEND_URING
XCV_MAP_DESTROYPROVEN_MAP_DESTROY
XCV_MAP_GET_INTPROVEN_MAP_GET_INT
XCV_MAP_GET_MUT_INTPROVEN_MAP_GET_MUT_INT
XCV_MAP_GET_MUT_U8_BORROWEDPROVEN_MAP_GET_MUT_U8_BORROWED
XCV_MAP_GET_U8_BORROWEDPROVEN_MAP_GET_U8_BORROWED
XCV_MAP_GET_U8_OWNEDPROVEN_MAP_GET_U8_OWNED
XCV_MAP_INIT_INTPROVEN_MAP_INIT_INT
XCV_MAP_INIT_U8_BORROWEDPROVEN_MAP_INIT_U8_BORROWED
XCV_MAP_INIT_U8_OWNEDPROVEN_MAP_INIT_U8_OWNED
XCV_MAP_IS_VALIDproven_map_is_valid
XCV_MAP_REMOVE_INTPROVEN_MAP_REMOVE_INT
XCV_MAP_REMOVE_U8_BORROWEDPROVEN_MAP_REMOVE_U8_BORROWED
XCV_MAP_REMOVE_U8_OWNEDPROVEN_MAP_REMOVE_U8_OWNED
XCV_MAP_SET_INTPROVEN_MAP_SET_INT
XCV_MAP_SET_U8_BORROWEDPROVEN_MAP_SET_U8_BORROWED
XCV_MAP_SET_U8_OWNEDPROVEN_MAP_SET_U8_OWNED
XCV_MAP_SET_WITH_SCRATCH_INTPROVEN_MAP_SET_WITH_SCRATCH_INT
XCV_MAP_SET_WITH_SCRATCH_U8_BORROWEDPROVEN_MAP_SET_WITH_SCRATCH_U8_BORROWED
XCV_MAX_ALIGNPROVEN_MAX_ALIGN
XCV_MMAP_EXECPROVEN_MMAP_EXEC
XCV_MMAP_PRIVATEPROVEN_MMAP_PRIVATE
XCV_MMAP_READPROVEN_MMAP_READ
XCV_MMAP_SHAREDPROVEN_MMAP_SHARED
XCV_MMAP_WRITEPROVEN_MMAP_WRITE
XCV_NET_ADDR_TEXT_MAXPROVEN_NET_ADDR_TEXT_MAX
XCV_NET_DONT_WAITPROVEN_NET_DONT_WAIT
XCV_NET_FAILEDPROVEN_NET_FAILED
XCV_NET_FAMILY_IPV4PROVEN_NET_FAMILY_IPV4
XCV_NET_FAMILY_IPV6PROVEN_NET_FAMILY_IPV6
XCV_NET_FAMILY_NONEPROVEN_NET_FAMILY_NONE
XCV_NET_FAMILY_UNIXPROVEN_NET_FAMILY_UNIX
XCV_NET_NO_DEADLINEPROVEN_NET_NO_DEADLINE
XCV_NET_POLL_INLINE_MAXPROVEN_NET_POLL_INLINE_MAX
XCV_NET_READABLEPROVEN_NET_READABLE
XCV_NET_SELECTOR_EPOLLPROVEN_NET_SELECTOR_EPOLL
XCV_NET_SELECTOR_KQUEUEPROVEN_NET_SELECTOR_KQUEUE
XCV_NET_SELECTOR_IOCPPROVEN_NET_SELECTOR_IOCP
XCV_NET_SELECTOR_POLLPROVEN_NET_SELECTOR_POLL
XCV_NET_UNIX_PATH_MAXPROVEN_NET_UNIX_PATH_MAX
XCV_NET_WRITABLEPROVEN_NET_WRITABLE
XCV_OKPROVEN_OK
XCV_PKEY_NONEPROVEN_PKEY_NONE
XCV_PKEY_P256PROVEN_PKEY_P256
XCV_PKEY_P384PROVEN_PKEY_P384
XCV_PKEY_RSAPROVEN_PKEY_RSA
XCV_RING_DESTROYPROVEN_RING_DESTROY
XCV_RING_INITPROVEN_RING_INIT
XCV_RING_IS_VALIDproven_ring_is_valid
XCV_RING_POPPROVEN_RING_POP
XCV_RING_PUSHPROVEN_RING_PUSH
XCV_SCAN_ARGPROVEN_SCAN_ARG(x)
XCV_SCAN_ARG_LONGPROVEN_SCAN_ARG_LONG(ptr)
XCV_SCAN_ARG_TYPE_F64PROVEN_SCAN_ARG_TYPE_F64
XCV_SCAN_ARG_TYPE_I32PROVEN_SCAN_ARG_TYPE_I32
XCV_SCAN_ARG_TYPE_I64PROVEN_SCAN_ARG_TYPE_I64
XCV_SCAN_ARG_TYPE_INTPROVEN_SCAN_ARG_TYPE_INT
XCV_SCAN_ARG_TYPE_LLONGPROVEN_SCAN_ARG_TYPE_LLONG
XCV_SCAN_ARG_TYPE_LONGPROVEN_SCAN_ARG_TYPE_LONG
XCV_SCAN_ARG_TYPE_NONEPROVEN_SCAN_ARG_TYPE_NONE
XCV_SCAN_ARG_TYPE_SHORTPROVEN_SCAN_ARG_TYPE_SHORT
XCV_SCAN_ARG_TYPE_STR_VIEWPROVEN_SCAN_ARG_TYPE_STR_VIEW
XCV_SCAN_ARG_TYPE_U32PROVEN_SCAN_ARG_TYPE_U32
XCV_SCAN_ARG_TYPE_U64PROVEN_SCAN_ARG_TYPE_U64
XCV_SCAN_ARG_TYPE_UINTPROVEN_SCAN_ARG_TYPE_UINT
XCV_SCAN_ARG_TYPE_ULLONGPROVEN_SCAN_ARG_TYPE_ULLONG
XCV_SCAN_ARG_TYPE_ULONGPROVEN_SCAN_ARG_TYPE_ULONG
XCV_SCAN_ARG_TYPE_USHORTPROVEN_SCAN_ARG_TYPE_USHORT
XCV_SCAN_ARG_ULONGPROVEN_SCAN_ARG_ULONG(ptr)
XCV_SHA256_SIZEPROVEN_SHA256_SIZE
XCV_SHA384_SIZEPROVEN_SHA384_SIZE
XCV_SHA512_SIZEPROVEN_SHA512_SIZE
XCV_SIGN_ECDSAPROVEN_SIGN_ECDSA
XCV_SIGN_ECDSA_RAWPROVEN_SIGN_ECDSA_RAW
XCV_SIGN_MAX_SIZEPROVEN_SIGN_MAX_SIZE
XCV_SIGN_RSA_PKCS1PROVEN_SIGN_RSA_PKCS1
XCV_SIGN_RSA_PKCS1_RAWPROVEN_SIGN_RSA_PKCS1_RAW
XCV_SIGN_RSA_PSSPROVEN_SIGN_RSA_PSS
XCV_TLS_CLIENT_AUTH_NONEPROVEN_TLS_CLIENT_AUTH_NONE
XCV_TLS_CLIENT_AUTH_REQUESTPROVEN_TLS_CLIENT_AUTH_REQUEST
XCV_TLS_CLIENT_AUTH_REQUIREPROVEN_TLS_CLIENT_AUTH_REQUIRE
XCV_TLS_LEGACY_CBCPROVEN_TLS_LEGACY_CBC
XCV_TLS_LEGACY_DHEPROVEN_TLS_LEGACY_DHE
XCV_TLS_LEGACY_NO_EXTENDED_MASTER_SECRETPROVEN_TLS_LEGACY_NO_EXTENDED_MASTER_SECRET
XCV_TLS_LEGACY_RSA_KEY_EXCHANGEPROVEN_TLS_LEGACY_RSA_KEY_EXCHANGE
XCV_TLS_SESSION_SIZEPROVEN_TLS_SESSION_SIZE
XCV_TLS_VERIFY_CHAINPROVEN_TLS_VERIFY_CHAIN
XCV_TLS_VERIFY_PIN_ONLYPROVEN_TLS_VERIFY_PIN_ONLY
XCV_TLS_VERSION_1_0PROVEN_TLS_VERSION_1_0
XCV_TLS_VERSION_1_1PROVEN_TLS_VERSION_1_1
XCV_TLS_VERSION_1_2PROVEN_TLS_VERSION_1_2
XCV_TLS_VERSION_1_3PROVEN_TLS_VERSION_1_3
XCV_U16_LITPROVEN_U16_LIT
XCV_VERSION_ENCODEminor, patch) PROVEN_VERSION_ENCODE(major, minor, patch)
XCV_VERSION_MAJORPROVEN_VERSION_MAJOR
XCV_VERSION_MINORPROVEN_VERSION_MINOR
XCV_VERSION_NUMPROVEN_VERSION_NUM
XCV_VERSION_PATCHPROVEN_VERSION_PATCH
XCV_VERSION_STRINGPROVEN_VERSION_STRING
XCV_WS_ACCEPT_SIZEPROVEN_WS_ACCEPT_SIZE
XCV_WS_BINARYPROVEN_WS_BINARY
XCV_WS_CLOSEPROVEN_WS_CLOSE
XCV_WS_CLOSE_ABNORMALPROVEN_WS_CLOSE_ABNORMAL
XCV_WS_CLOSE_GOING_AWAYPROVEN_WS_CLOSE_GOING_AWAY
XCV_WS_CLOSE_INTERNAL_ERRORPROVEN_WS_CLOSE_INTERNAL_ERROR
XCV_WS_CLOSE_INVALID_DATAPROVEN_WS_CLOSE_INVALID_DATA
XCV_WS_CLOSE_NORMALPROVEN_WS_CLOSE_NORMAL
XCV_WS_CLOSE_NO_STATUSPROVEN_WS_CLOSE_NO_STATUS
XCV_WS_CLOSE_POLICYPROVEN_WS_CLOSE_POLICY
XCV_WS_CLOSE_PROTOCOL_ERRORPROVEN_WS_CLOSE_PROTOCOL_ERROR
XCV_WS_CLOSE_TOO_BIGPROVEN_WS_CLOSE_TOO_BIG
XCV_WS_CLOSE_UNSUPPORTED_DATAPROVEN_WS_CLOSE_UNSUPPORTED_DATA
XCV_WS_CONTINUATIONPROVEN_WS_CONTINUATION
XCV_WS_DEFLATE_ANSWER_MAXPROVEN_WS_DEFLATE_ANSWER_MAX
XCV_WS_DEFLATE_OFFERPROVEN_WS_DEFLATE_OFFER
XCV_WS_DEFLATE_OFFER_PEER_NO_TAKEOVERPROVEN_WS_DEFLATE_OFFER_PEER_NO_TAKEOVER
XCV_WS_DEFLATE_OFFER_TAKEOVERPROVEN_WS_DEFLATE_OFFER_TAKEOVER
XCV_WS_EVENT_CLOSEPROVEN_WS_EVENT_CLOSE
XCV_WS_EVENT_DATAPROVEN_WS_EVENT_DATA
XCV_WS_EVENT_NONEPROVEN_WS_EVENT_NONE
XCV_WS_EVENT_PINGPROVEN_WS_EVENT_PING
XCV_WS_EVENT_PONGPROVEN_WS_EVENT_PONG
XCV_WS_KEY_SIZEPROVEN_WS_KEY_SIZE
XCV_WS_MAX_CONTROLPROVEN_WS_MAX_CONTROL
XCV_WS_MAX_FRAME_HEADERPROVEN_WS_MAX_FRAME_HEADER
XCV_WS_PINGPROVEN_WS_PING
XCV_WS_PONGPROVEN_WS_PONG
XCV_WS_TEXTPROVEN_WS_TEXT
XCV_ZSTD_FLUSH_BLOCKPROVEN_ZSTD_FLUSH_BLOCK
XCV_ZSTD_FLUSH_FINISHPROVEN_ZSTD_FLUSH_FINISH
XCV_ZSTD_FLUSH_NONEPROVEN_ZSTD_FLUSH_NONE
XCV_ZSTD_WINDOW_DEFAULTPROVEN_ZSTD_WINDOW_DEFAULT
xcv_aes_cbc_decryptproven_aes_cbc_decrypt
xcv_aes_cbc_decrypt_withproven_aes_cbc_decrypt_with
xcv_aes_cbc_encryptproven_aes_cbc_encrypt
xcv_aes_cbc_encrypt_withproven_aes_cbc_encrypt_with
xcv_aes_cbc_key_initproven_aes_cbc_key_init
xcv_aes_cbc_key_tproven_aes_cbc_key_t
xcv_aes_encrypt_blockproven_aes_encrypt_block
xcv_aes_gcm_initproven_aes_gcm_init
xcv_aes_gcm_openproven_aes_gcm_open
xcv_aes_gcm_sealproven_aes_gcm_seal
xcv_aes_gcm_tproven_aes_gcm_t
xcv_aes_hw_availableproven_aes_hw_available
xcv_aes_initproven_aes_init
xcv_aes_tproven_aes_t
xcv_alloc_check_entry_tproven_alloc_check_entry_t
xcv_alloc_check_liveproven_alloc_check_live
xcv_alloc_check_ownsproven_alloc_check_owns
xcv_alloc_check_tproven_alloc_check_t
xcv_alloc_check_wrapproven_alloc_check_wrap
xcv_alloc_checkedproven_alloc_checked
xcv_alloc_fn_tproven_alloc_fn_t
xcv_alloc_is_validproven_alloc_is_valid
xcv_allocator_tproven_allocator_t
xcv_arena_allocproven_arena_alloc
xcv_arena_alloc_alignedproven_arena_alloc_aligned
xcv_arena_alloc_aligned_or_panicproven_arena_alloc_aligned_or_panic
xcv_arena_alloc_or_panicproven_arena_alloc_or_panic
xcv_arena_alloc_traitproven_arena_alloc_trait
xcv_arena_as_allocatorproven_arena_as_allocator
xcv_arena_createproven_arena_create
xcv_arena_destroyproven_arena_destroy
xcv_arena_free_traitproven_arena_free_trait
xcv_arena_realloc_alignedproven_arena_realloc_aligned
xcv_arena_realloc_traitproven_arena_realloc_trait
xcv_arena_resetproven_arena_reset
xcv_arena_tproven_arena_t
xcv_arg_boolproven_arg_bool
xcv_arg_charproven_arg_char
xcv_arg_cstrproven_arg_cstr
xcv_arg_cstr_nproven_arg_cstr_n
xcv_arg_customproven_arg_custom
xcv_arg_datetimeproven_arg_datetime
xcv_arg_f64proven_arg_f64
xcv_arg_fnproven_arg_fn
xcv_arg_i32proven_arg_i32
xcv_arg_i64proven_arg_i64
xcv_arg_identityproven_arg_identity
xcv_arg_noneproven_arg_none
xcv_arg_ptrproven_arg_ptr
xcv_arg_str_viewproven_arg_str_view
xcv_arg_tproven_arg_t
xcv_arg_type_tproven_arg_type_t
xcv_arg_u16proven_arg_u16
xcv_arg_u32proven_arg_u32
xcv_arg_u64proven_arg_u64
xcv_arg_ucstrproven_arg_ucstr
xcv_array_binary_searchproven_array_binary_search
xcv_array_clearproven_array_clear
xcv_array_createproven_array_create
xcv_array_destroyproven_array_destroy
xcv_array_extendproven_array_extend
xcv_array_getproven_array_get
xcv_array_get_mutproven_array_get_mut
xcv_array_insertproven_array_insert
xcv_array_is_validproven_array_is_valid
xcv_array_linear_searchproven_array_linear_search
xcv_array_popproven_array_pop
xcv_array_pushproven_array_push
xcv_array_remove_atproven_array_remove_at
xcv_array_reserveproven_array_reserve
xcv_array_sortproven_array_sort
xcv_array_swap_removeproven_array_swap_remove
xcv_array_tproven_array_t
xcv_array_truncateproven_array_truncate
xcv_ascii_lowerproven_ascii_lower
xcv_base64_decodeproven_base64_decode
xcv_base64_decoded_sizeproven_base64_decoded_size
xcv_base64_encodeproven_base64_encode
xcv_base64_encoded_sizeproven_base64_encoded_size
xcv_base64url_encodeproven_base64url_encode
xcv_brotli_decodeproven_brotli_decode
xcv_brotli_decode_allproven_brotli_decode_all
xcv_brotli_decoder_createproven_brotli_decoder_create
xcv_brotli_decoder_destroyproven_brotli_decoder_destroy
xcv_brotli_decoder_resetproven_brotli_decoder_reset
xcv_brotli_decoder_tproven_brotli_decoder_t
xcv_buf_appendproven_buf_append
xcv_buf_createproven_buf_create
xcv_buf_destroyproven_buf_destroy
xcv_buf_tproven_buf_t
xcv_byte_tproven_byte_t
xcv_c_libproven_c_lib
xcv_cert_alt_name_nextproven_cert_alt_name_next
xcv_cert_fault_tproven_cert_fault_t
xcv_cert_key_kind_tproven_cert_key_kind_t
xcv_cert_key_sha256proven_cert_key_sha256
xcv_cert_matches_hostproven_cert_matches_host
xcv_cert_name_kind_tproven_cert_name_kind_t
xcv_cert_parseproven_cert_parse
xcv_cert_sig_kind_tproven_cert_sig_kind_t
xcv_cert_storeproven_cert_store
xcv_cert_store_add_derproven_cert_store_add_der
xcv_cert_store_add_pemproven_cert_store_add_pem
xcv_cert_store_add_systemproven_cert_store_add_system
xcv_cert_store_countproven_cert_store_count
xcv_cert_store_createproven_cert_store_create
xcv_cert_store_destroyproven_cert_store_destroy
xcv_cert_store_tproven_cert_store_t
xcv_cert_tproven_cert_t
xcv_cert_use_tproven_cert_use_t
xcv_cert_verifyproven_cert_verify
xcv_cert_verify_options_tproven_cert_verify_options_t
xcv_cert_verify_result_tproven_cert_verify_result_t
xcv_chacha20proven_chacha20
xcv_chacha20_poly1305_openproven_chacha20_poly1305_open
xcv_chacha20_poly1305_sealproven_chacha20_poly1305_seal
xcv_chacha_rngproven_chacha_rng
xcv_chacha_rng_fillproven_chacha_rng_fill
xcv_chacha_rng_nextproven_chacha_rng_next
xcv_chacha_rng_seedproven_chacha_rng_seed
xcv_chacha_rng_seed_from_entropyproven_chacha_rng_seed_from_entropy
xcv_compare_fn_tproven_compare_fn_t
xcv_coro_tproven_coro_t
xcv_crc32proven_crc32
xcv_crc32_updateproven_crc32_update
xcv_cstr_lenproven_cstr_len
xcv_datetime_tproven_datetime_t
xcv_deflateproven_deflate
xcv_deflate_allproven_deflate_all
xcv_deflate_boundproven_deflate_bound
xcv_deflate_createproven_deflate_create
xcv_deflate_destroyproven_deflate_destroy
xcv_deflate_flush_tproven_deflate_flush_t
xcv_deflate_format_tproven_deflate_format_t
xcv_deflate_options_tproven_deflate_options_t
xcv_deflate_resetproven_deflate_reset
xcv_deflate_tproven_deflate_t
xcv_der_beginproven_der_begin
xcv_der_endproven_der_end
xcv_der_end_set_ofproven_der_end_set_of
xcv_der_expectproven_der_expect
xcv_der_from_berproven_der_from_ber
xcv_der_item_tproven_der_item_t
xcv_der_oid_isproven_der_oid_is
xcv_der_putproven_der_put
xcv_der_put_bitsproven_der_put_bits
xcv_der_put_rawproven_der_put_raw
xcv_der_put_u64proven_der_put_u64
xcv_der_put_uintproven_der_put_uint
xcv_der_readproven_der_read
xcv_der_read_bitsproven_der_read_bits
xcv_der_read_u64proven_der_read_u64
xcv_der_read_uintproven_der_read_uint
xcv_der_writer_finishproven_der_writer_finish
xcv_der_writer_initproven_der_writer_init
xcv_der_writer_tproven_der_writer_t
xcv_dh_exponent_lenproven_dh_exponent_len
xcv_dh_ffdhe2048proven_dh_ffdhe2048
xcv_dh_knownproven_dh_known
xcv_dh_publicproven_dh_public
xcv_dh_sharedproven_dh_shared
xcv_ec_publicproven_ec_public
xcv_ecdhproven_ecdh
xcv_ecdsa_sign_scalarproven_ecdsa_sign_scalar
xcv_ed25519_publicproven_ed25519_public
xcv_ed25519_signproven_ed25519_sign
xcv_ed25519_verifyproven_ed25519_verify
xcv_entropy_fnproven_entropy_fn
xcv_env_getproven_env_get
xcv_eprintproven_eprint
xcv_eprintlnproven_eprintln
xcv_err_tproven_err_t
xcv_file_tproven_file_t
xcv_float_format_f32_policyproven_float_format_f32_policy
xcv_float_format_f64_policyproven_float_format_f64_policy
xcv_float_format_options_fixed_defaultproven_float_format_options_fixed_default
xcv_float_format_options_scientificproven_float_format_options_scientific
xcv_float_format_options_shortestproven_float_format_options_shortest
xcv_fmt_arg_countproven_fmt_arg_count
xcv_fmt_putproven_fmt_put
xcv_fmt_toproven_fmt_to
xcv_fmt_to_internalproven_fmt_to_internal
xcv_fmt_to_writer_implproven_fmt_to_writer_impl
xcv_fprintproven_fprint
xcv_free_fn_tproven_free_fn_t
xcv_fs_chmodproven_fs_chmod
xcv_fs_closeproven_fs_close
xcv_fs_copyproven_fs_copy
xcv_fs_dir_closeproven_fs_dir_close
xcv_fs_dir_nextproven_fs_dir_next
xcv_fs_dir_openproven_fs_dir_open
xcv_fs_entry_tproven_fs_entry_t
xcv_fs_handle_tproven_fs_handle_t
xcv_fs_is_absoluteproven_fs_is_absolute
xcv_fs_is_staging_nameproven_fs_is_staging_name
xcv_fs_linkproven_fs_link
xcv_fs_listproven_fs_list
xcv_fs_list_destroyproven_fs_list_destroy
xcv_fs_lockproven_fs_lock
xcv_fs_lock_type_tproven_fs_lock_type_t
xcv_fs_mkdirproven_fs_mkdir
xcv_fs_mkdir_allproven_fs_mkdir_all
xcv_fs_mode_tproven_fs_mode_t
xcv_fs_openproven_fs_open
xcv_fs_perms_tproven_fs_perms_t
xcv_fs_preadproven_fs_pread
xcv_fs_pwriteproven_fs_pwrite
xcv_fs_readproven_fs_read
xcv_fs_read_allproven_fs_read_all
xcv_fs_read_all_boundedproven_fs_read_all_bounded
xcv_fs_read_all_u8strproven_fs_read_all_u8str
xcv_fs_removeproven_fs_remove
xcv_fs_renameproven_fs_rename
xcv_fs_rmdirproven_fs_rmdir
xcv_fs_seekproven_fs_seek
xcv_fs_sizeproven_fs_size
xcv_fs_statproven_fs_stat
xcv_fs_stat_tproven_fs_stat_t
xcv_fs_symlinkproven_fs_symlink
xcv_fs_syncproven_fs_sync
xcv_fs_sync_dirproven_fs_sync_dir
xcv_fs_tellproven_fs_tell
xcv_fs_truncateproven_fs_truncate
xcv_fs_type_tproven_fs_type_t
xcv_fs_walk_closeproven_fs_walk_close
xcv_fs_walk_nextproven_fs_walk_next
xcv_fs_walk_openproven_fs_walk_open
xcv_fs_writeproven_fs_write
xcv_fs_write_allproven_fs_write_all
xcv_fs_write_fileproven_fs_write_file
xcv_fs_write_file_atomicproven_fs_write_file_atomic
xcv_fs_write_file_durableproven_fs_write_file_durable
xcv_h2_config_tproven_h2_config_t
xcv_h2_conn_consumedproven_h2_conn_consumed
xcv_h2_conn_createproven_h2_conn_create
xcv_h2_conn_destroyproven_h2_conn_destroy
xcv_h2_conn_feedproven_h2_conn_feed
xcv_h2_conn_has_peer_settingsproven_h2_conn_has_peer_settings
xcv_h2_conn_is_closedproven_h2_conn_is_closed
xcv_h2_conn_next_sensitiveproven_h2_conn_next_sensitive
xcv_h2_conn_output_sentproven_h2_conn_output_sent
xcv_h2_conn_pending_outputproven_h2_conn_pending_output
xcv_h2_conn_pingproven_h2_conn_ping
xcv_h2_conn_resetproven_h2_conn_reset
xcv_h2_conn_send_dataproven_h2_conn_send_data
xcv_h2_conn_send_roomproven_h2_conn_send_room
xcv_h2_conn_send_trailersproven_h2_conn_send_trailers
xcv_h2_conn_set_initial_windowproven_h2_conn_set_initial_window
xcv_h2_conn_set_max_streamsproven_h2_conn_set_max_streams
xcv_h2_conn_shutdownproven_h2_conn_shutdown
xcv_h2_conn_stream_countproven_h2_conn_stream_count
xcv_h2_conn_stream_set_userproven_h2_conn_stream_set_user
xcv_h2_conn_stream_userproven_h2_conn_stream_user
xcv_h2_conn_submit_requestproven_h2_conn_submit_request
xcv_h2_conn_submit_responseproven_h2_conn_submit_response
xcv_h2_conn_tproven_h2_conn_t
xcv_h2_error_tproven_h2_error_t
xcv_h2_event_kind_tproven_h2_event_kind_t
xcv_h2_event_tproven_h2_event_t
xcv_h2_frame_checkproven_h2_frame_check
xcv_h2_frame_contentproven_h2_frame_content
xcv_h2_frame_parseproven_h2_frame_parse
xcv_h2_frame_tproven_h2_frame_t
xcv_h2_frame_type_tproven_h2_frame_type_t
xcv_h2_frame_writeproven_h2_frame_write
xcv_h2_header_buffer_sizeproven_h2_header_buffer_size
xcv_h2_read_goawayproven_h2_read_goaway
xcv_h2_read_rst_streamproven_h2_read_rst_stream
xcv_h2_read_window_updateproven_h2_read_window_update
xcv_h2_request_headproven_h2_request_head
xcv_h2_request_head_tproven_h2_request_head_t
xcv_h2_response_headproven_h2_response_head
xcv_h2_setting_id_tproven_h2_setting_id_t
xcv_h2_setting_tproven_h2_setting_t
xcv_h2_settings_nextproven_h2_settings_next
xcv_h2_trailers_checkproven_h2_trailers_check
xcv_h2_write_goawayproven_h2_write_goaway
xcv_h2_write_pingproven_h2_write_ping
xcv_h2_write_rst_streamproven_h2_write_rst_stream
xcv_h2_write_settingsproven_h2_write_settings
xcv_h2_write_settings_ackproven_h2_write_settings_ack
xcv_h2_write_window_updateproven_h2_write_window_update
xcv_hash_bytesproven_hash_bytes
xcv_hash_keyedproven_hash_keyed
xcv_heap_allocatorproven_heap_allocator
xcv_hex_decodeproven_hex_decode
xcv_hex_decoded_sizeproven_hex_decoded_size
xcv_hex_encodeproven_hex_encode
xcv_hex_encoded_sizeproven_hex_encoded_size
xcv_hkdfproven_hkdf
xcv_hkdf_expandproven_hkdf_expand
xcv_hkdf_extractproven_hkdf_extract
xcv_hmacproven_hmac
xcv_hmac_finalproven_hmac_final
xcv_hmac_hash_tproven_hmac_hash_t
xcv_hmac_initproven_hmac_init
xcv_hmac_sizeproven_hmac_size
xcv_hmac_tproven_hmac_t
xcv_hmac_updateproven_hmac_update
xcv_hpack_decodeproven_hpack_decode
xcv_hpack_decode_markedproven_hpack_decode_marked
xcv_hpack_decoderproven_hpack_decoder
xcv_hpack_decoder_createproven_hpack_decoder_create
xcv_hpack_decoder_destroyproven_hpack_decoder_destroy
xcv_hpack_decoder_set_max_table_bytesproven_hpack_decoder_set_max_table_bytes
xcv_hpack_decoder_tproven_hpack_decoder_t
xcv_hpack_decoder_table_bytesproven_hpack_decoder_table_bytes
xcv_hpack_decoder_table_countproven_hpack_decoder_table_count
xcv_hpack_decoder_table_entryproven_hpack_decoder_table_entry
xcv_hpack_encodeproven_hpack_encode
xcv_hpack_encode_boundproven_hpack_encode_bound
xcv_hpack_encoderproven_hpack_encoder
xcv_hpack_encoder_createproven_hpack_encoder_create
xcv_hpack_encoder_destroyproven_hpack_encoder_destroy
xcv_hpack_encoder_set_peer_table_bytesproven_hpack_encoder_set_peer_table_bytes
xcv_hpack_encoder_tproven_hpack_encoder_t
xcv_hpack_huffman_decodeproven_hpack_huffman_decode
xcv_hpack_huffman_encodeproven_hpack_huffman_encode
xcv_hpack_huffman_sizeproven_hpack_huffman_size
xcv_http_accept_weightproven_http_accept_weight
xcv_http_accepts_codingproven_http_accepts_coding
xcv_http_auth_offersproven_http_auth_offers
xcv_http_basic_authproven_http_basic_auth
xcv_http_body_endproven_http_body_end
xcv_http_body_feedproven_http_body_feed
xcv_http_body_initproven_http_body_init
xcv_http_body_keep_trailersproven_http_body_keep_trailers
xcv_http_body_kind_tproven_http_body_kind_t
xcv_http_body_receivedproven_http_body_received
xcv_http_body_tproven_http_body_t
xcv_http_body_trailersproven_http_body_trailers
xcv_http_byteranges_write_content_typeproven_http_byteranges_write_content_type
xcv_http_byteranges_write_partproven_http_byteranges_write_part
xcv_http_client_config_tproven_http_client_config_t
xcv_http_client_createproven_http_client_create
xcv_http_client_destroyproven_http_client_destroy
xcv_http_client_finishproven_http_client_finish
xcv_http_client_getproven_http_client_get
xcv_http_client_readproven_http_client_read
xcv_http_client_read_allproven_http_client_read_all
xcv_http_client_request_tproven_http_client_request_t
xcv_http_client_response_tproven_http_client_response_t
xcv_http_client_sendproven_http_client_send
xcv_http_client_tproven_http_client_t
xcv_http_client_trailersproven_http_client_trailers
xcv_http_client_upgradeproven_http_client_upgrade
xcv_http_coding_tproven_http_coding_t
xcv_http_content_codingproven_http_content_coding
xcv_http_content_disposition_parseproven_http_content_disposition_parse
xcv_http_content_range_parseproven_http_content_range_parse
xcv_http_cookie_jar_clearproven_http_cookie_jar_clear
xcv_http_cookie_jar_countproven_http_cookie_jar_count
xcv_http_cookie_jar_destroyproven_http_cookie_jar_destroy
xcv_http_cookie_jar_headerproven_http_cookie_jar_header
xcv_http_cookie_jar_initproven_http_cookie_jar_init
xcv_http_cookie_jar_storeproven_http_cookie_jar_store
xcv_http_cookie_jar_tproven_http_cookie_jar_t
xcv_http_date_formatproven_http_date_format
xcv_http_date_parseproven_http_date_parse
xcv_http_digest_algorithm_tproven_http_digest_algorithm_t
xcv_http_digest_authproven_http_digest_auth
xcv_http_digest_auth_bodyproven_http_digest_auth_body
xcv_http_digest_challenge_parseproven_http_digest_challenge_parse
xcv_http_digest_challenge_tproven_http_digest_challenge_t
xcv_http_disposition_tproven_http_disposition_t
xcv_http_event_callbacks_tproven_http_event_callbacks_t
xcv_http_event_client_callbacks_tproven_http_event_client_callbacks_t
xcv_http_event_client_config_tproven_http_event_client_config_t
xcv_http_event_client_createproven_http_event_client_create
xcv_http_event_client_destroyproven_http_event_client_destroy
xcv_http_event_client_requestsproven_http_event_client_requests
xcv_http_event_client_startproven_http_event_client_start
xcv_http_event_client_tproven_http_event_client_t
xcv_http_event_drained_fnproven_http_event_drained_fn
xcv_http_event_port_closeproven_http_event_port_close
xcv_http_event_port_openproven_http_event_port_open
xcv_http_event_port_tproven_http_event_port_t
xcv_http_event_request_abortproven_http_event_request_abort
xcv_http_event_request_endproven_http_event_request_end
xcv_http_event_request_end_trailersproven_http_event_request_end_trailers
xcv_http_event_request_options_tproven_http_event_request_options_t
xcv_http_event_request_pauseproven_http_event_request_pause
xcv_http_event_request_protocolproven_http_event_request_protocol
xcv_http_event_request_resumeproven_http_event_request_resume
xcv_http_event_request_set_userproven_http_event_request_set_user
xcv_http_event_request_tproven_http_event_request_t
xcv_http_event_request_trailersproven_http_event_request_trailers
xcv_http_event_request_userproven_http_event_request_user
xcv_http_event_request_writeproven_http_event_request_write
xcv_http_event_server_adoptproven_http_event_server_adopt
xcv_http_event_server_config_tproven_http_event_server_config_t
xcv_http_event_server_connectionsproven_http_event_server_connections
xcv_http_event_server_createproven_http_event_server_create
xcv_http_event_server_destroyproven_http_event_server_destroy
xcv_http_event_server_listenproven_http_event_server_listen
xcv_http_event_server_listen_portproven_http_event_server_listen_port
xcv_http_event_server_set_max_streamsproven_http_event_server_set_max_streams
xcv_http_event_server_set_windowproven_http_event_server_set_window
xcv_http_event_server_shutdownproven_http_event_server_shutdown
xcv_http_event_server_stop_listeningproven_http_event_server_stop_listening
xcv_http_event_server_tproven_http_event_server_t
xcv_http_exchange_beginproven_http_exchange_begin
xcv_http_exchange_compressproven_http_exchange_compress
xcv_http_exchange_earlyproven_http_exchange_early
xcv_http_exchange_endproven_http_exchange_end
xcv_http_exchange_end_trailersproven_http_exchange_end_trailers
xcv_http_exchange_flushproven_http_exchange_flush
xcv_http_exchange_peerproven_http_exchange_peer
xcv_http_exchange_readproven_http_exchange_read
xcv_http_exchange_requestproven_http_exchange_request
xcv_http_exchange_respondproven_http_exchange_respond
xcv_http_exchange_tproven_http_exchange_t
xcv_http_exchange_trailersproven_http_exchange_trailers
xcv_http_exchange_upgradeproven_http_exchange_upgrade
xcv_http_exchange_writeproven_http_exchange_write
xcv_http_framing_tproven_http_framing_t
xcv_http_handler_fnproven_http_handler_fn
xcv_http_header_countproven_http_header_count
xcv_http_header_findproven_http_header_find
xcv_http_header_has_tokenproven_http_header_has_token
xcv_http_header_tproven_http_header_t
xcv_http_method_from_textproven_http_method_from_text
xcv_http_method_tproven_http_method_t
xcv_http_method_textproven_http_method_text
xcv_http_multipart_boundaryproven_http_multipart_boundary
xcv_http_multipart_boundary_parseproven_http_multipart_boundary_parse
xcv_http_multipart_endproven_http_multipart_end
xcv_http_multipart_event_kind_tproven_http_multipart_event_kind_t
xcv_http_multipart_event_tproven_http_multipart_event_t
xcv_http_multipart_feedproven_http_multipart_feed
xcv_http_multipart_initproven_http_multipart_init
xcv_http_multipart_tproven_http_multipart_t
xcv_http_multipart_write_content_typeproven_http_multipart_write_content_type
xcv_http_multipart_write_endproven_http_multipart_write_end
xcv_http_multipart_write_partproven_http_multipart_write_part
xcv_http_multipart_write_part_endproven_http_multipart_write_part_end
xcv_http_parse_requestproven_http_parse_request
xcv_http_parse_responseproven_http_parse_response
xcv_http_range_parseproven_http_range_parse
xcv_http_range_parse_listproven_http_range_parse_list
xcv_http_range_tproven_http_range_t
xcv_http_reason_phraseproven_http_reason_phrase
xcv_http_request_framingproven_http_request_framing
xcv_http_request_keep_aliveproven_http_request_keep_alive
xcv_http_request_tproven_http_request_t
xcv_http_response_framingproven_http_response_framing
xcv_http_response_keep_aliveproven_http_response_keep_alive
xcv_http_response_tproven_http_response_t
xcv_http_server_config_tproven_http_server_config_t
xcv_http_server_connection_countproven_http_server_connection_count
xcv_http_server_createproven_http_server_create
xcv_http_server_destroyproven_http_server_destroy
xcv_http_server_drainedproven_http_server_drained
xcv_http_server_listenproven_http_server_listen
xcv_http_server_pollproven_http_server_poll
xcv_http_server_runproven_http_server_run
xcv_http_server_shutdownproven_http_server_shutdown
xcv_http_server_shutting_downproven_http_server_shutting_down
xcv_http_server_stopproven_http_server_stop
xcv_http_server_tproven_http_server_t
xcv_http_stream_abortproven_http_stream_abort
xcv_http_stream_beginproven_http_stream_begin
xcv_http_stream_bufferedproven_http_stream_buffered
xcv_http_stream_compressproven_http_stream_compress
xcv_http_stream_earlyproven_http_stream_early
xcv_http_stream_endproven_http_stream_end
xcv_http_stream_end_trailersproven_http_stream_end_trailers
xcv_http_stream_flushproven_http_stream_flush
xcv_http_stream_pauseproven_http_stream_pause
xcv_http_stream_peerproven_http_stream_peer
xcv_http_stream_protocolproven_http_stream_protocol
xcv_http_stream_respondproven_http_stream_respond
xcv_http_stream_resumeproven_http_stream_resume
xcv_http_stream_set_userproven_http_stream_set_user
xcv_http_stream_tproven_http_stream_t
xcv_http_stream_trailersproven_http_stream_trailers
xcv_http_stream_userproven_http_stream_user
xcv_http_stream_writeproven_http_stream_write
xcv_http_tls_wrap_fnproven_http_tls_wrap_fn
xcv_http_trailer_allowedproven_http_trailer_allowed
xcv_http_write_chunk_beginproven_http_write_chunk_begin
xcv_http_write_chunk_endproven_http_write_chunk_end
xcv_http_write_content_rangeproven_http_write_content_range
xcv_http_write_head_endproven_http_write_head_end
xcv_http_write_headerproven_http_write_header
xcv_http_write_header_u64proven_http_write_header_u64
xcv_http_write_last_chunkproven_http_write_last_chunk
xcv_http_write_rangeproven_http_write_range
xcv_http_write_request_lineproven_http_write_request_line
xcv_http_write_status_lineproven_http_write_status_line
xcv_http_write_trailersproven_http_write_trailers
xcv_i16proven_i16
xcv_i32proven_i32
xcv_i64proven_i64
xcv_i8proven_i8
xcv_inflateproven_inflate
xcv_inflate_allproven_inflate_all
xcv_inflate_createproven_inflate_create
xcv_inflate_destroyproven_inflate_destroy
xcv_inflate_resetproven_inflate_reset
xcv_inflate_restartproven_inflate_restart
xcv_inflate_tproven_inflate_t
xcv_intptr_tproven_intptr_t
xcv_is_okproven_is_ok
xcv_is_pow2proven_is_pow2
xcv_job_execute_oneproven_job_execute_one
xcv_job_group_initproven_job_group_init
xcv_job_group_pendingproven_job_group_pending
xcv_job_group_submitproven_job_group_submit
xcv_job_group_tproven_job_group_t
xcv_job_group_waitproven_job_group_wait
xcv_job_submitproven_job_submit
xcv_job_submit_exproven_job_submit_ex
xcv_job_sysproven_job_sys
xcv_job_sys_tproven_job_sys_t
xcv_job_system_closeproven_job_system_close
xcv_job_system_destroyproven_job_system_destroy
xcv_job_system_initproven_job_system_init
xcv_job_tproven_job_t
xcv_key_type_tproven_key_type_t
xcv_list_initproven_list_init
xcv_list_insert_afterproven_list_insert_after
xcv_list_is_emptyproven_list_is_empty
xcv_list_node_tproven_list_node_t
xcv_list_push_backproven_list_push_back
xcv_list_removeproven_list_remove
xcv_list_tproven_list_t
xcv_loop_accept_cancelproven_loop_accept_cancel
xcv_loop_accept_fnproven_loop_accept_fn
xcv_loop_accept_tproven_loop_accept_t
xcv_loop_acceptproven_loop_accept
xcv_loop_allocatorproven_loop_allocator
xcv_loop_attachproven_loop_attach
xcv_loop_backend_tproven_loop_backend_t
xcv_loop_backendproven_loop_backend
xcv_loop_closeproven_loop_close
xcv_loop_connectproven_loop_connect
xcv_loop_create_exproven_loop_create_ex
xcv_loop_createproven_loop_create
xcv_loop_destroyproven_loop_destroy
xcv_loop_fnproven_loop_fn
xcv_loop_options_tproven_loop_options_t
xcv_loop_pollproven_loop_poll
xcv_loop_postproven_loop_post
xcv_loop_recv_cancelproven_loop_recv_cancel
xcv_loop_readproven_loop_read
xcv_loop_recvproven_loop_recv
xcv_loop_runproven_loop_run
xcv_loop_scratchproven_loop_scratch
xcv_loop_send_queuedproven_loop_send_queued
xcv_loop_send_waitproven_loop_send_wait
xcv_loop_sendproven_loop_send
xcv_loop_sock_fns_tproven_loop_sock_fns_t
xcv_loop_sock_tproven_loop_sock_t
xcv_loop_stopproven_loop_stop
xcv_loop_tproven_loop_t
xcv_loop_timer_cancelproven_loop_timer_cancel
xcv_loop_timer_is_setproven_loop_timer_is_set
xcv_loop_timer_setproven_loop_timer_set
xcv_loop_timer_tproven_loop_timer_t
xcv_map_createproven_map_create
xcv_map_create_trustedproven_map_create_trusted
xcv_map_create_with_capacityproven_map_create_with_capacity
xcv_map_destroyproven_map_destroy
xcv_map_getproven_map_get
xcv_map_get_mutproven_map_get_mut
xcv_map_hashproven_map_hash
xcv_map_is_validproven_map_is_valid
xcv_map_iter_initproven_map_iter_init
xcv_map_iter_nextproven_map_iter_next
xcv_map_iter_tproven_map_iter_t
xcv_map_key_tproven_map_key_t
xcv_map_lenproven_map_len
xcv_map_removeproven_map_remove
xcv_map_reserveproven_map_reserve
xcv_map_setproven_map_set
xcv_map_set_u8_ownedproven_map_set_u8_owned
xcv_map_set_with_scratchproven_map_set_with_scratch
xcv_map_tproven_map_t
xcv_md5proven_md5
xcv_md5_compressproven_md5_compress
xcv_md5_finalproven_md5_final
xcv_md5_initproven_md5_init
xcv_md5_to_hexproven_md5_to_hex
xcv_md5_updateproven_md5_update
xcv_mem_align_upproven_mem_align_up
xcv_mem_copyproven_mem_copy
xcv_mem_equal_ctproven_mem_equal_ct
xcv_mem_moveproven_mem_move
xcv_mem_mut_from_ownedproven_mem_mut_from_owned
xcv_mem_mut_slice_checkedproven_mem_mut_slice_checked
xcv_mem_mut_slice_uncheckedproven_mem_mut_slice_unchecked
xcv_mem_mut_tproven_mem_mut_t
xcv_mem_tproven_mem_t
xcv_mem_view_from_ownedproven_mem_view_from_owned
xcv_mem_view_from_u8proven_mem_view_from_u8
xcv_mem_view_slice_checkedproven_mem_view_slice_checked
xcv_mem_view_slice_uncheckedproven_mem_view_slice_unchecked
xcv_mem_view_tproven_mem_view_t
xcv_mem_wipeproven_mem_wipe
xcv_memcmpproven_memcmp
xcv_mmap_as_viewproven_mmap_as_view
xcv_mmap_createproven_mmap_create
xcv_mmap_destroyproven_mmap_destroy
xcv_mmap_flags_tproven_mmap_flags_t
xcv_mmap_prot_tproven_mmap_prot_t
xcv_mmap_syncproven_mmap_sync
xcv_mmap_tproven_mmap_t
xcv_net_acceptproven_net_accept
xcv_net_addr_anyproven_net_addr_any
xcv_net_addr_eqproven_net_addr_eq
xcv_net_addr_formatproven_net_addr_format
xcv_net_addr_ipv4proven_net_addr_ipv4
xcv_net_addr_ipv6proven_net_addr_ipv6
xcv_net_addr_loopbackproven_net_addr_loopback
xcv_net_addr_parseproven_net_addr_parse
xcv_net_addr_tproven_net_addr_t
xcv_net_addr_unixproven_net_addr_unix
xcv_net_closeproven_net_close
xcv_net_conn_handleproven_net_conn_handle
xcv_net_conn_is_openproven_net_conn_is_open
xcv_net_conn_local_addrproven_net_conn_local_addr
xcv_net_conn_peer_addrproven_net_conn_peer_addr
xcv_net_conn_set_nodelayproven_net_conn_set_nodelay
xcv_net_conn_tproven_net_conn_t
xcv_net_conn_transportproven_net_conn_transport
xcv_net_connectproven_net_connect
xcv_net_connect_finishproven_net_connect_finish
xcv_net_connect_startproven_net_connect_start
xcv_net_deadline_inproven_net_deadline_in
xcv_net_deadline_tproven_net_deadline_t
xcv_net_event_tproven_net_event_t
xcv_net_family_tproven_net_family_t
xcv_net_handle_tproven_net_handle_t
xcv_net_listenproven_net_listen
xcv_net_listener_addrproven_net_listener_addr
xcv_net_listener_closeproven_net_listener_close
xcv_net_listener_handleproven_net_listener_handle
xcv_net_listener_is_openproven_net_listener_is_open
xcv_net_listener_tproven_net_listener_t
xcv_net_pairproven_net_pair
xcv_net_pollproven_net_poll
xcv_net_poll_item_tproven_net_poll_item_t
xcv_net_poll_scratch_sizeproven_net_poll_scratch_size
xcv_net_poll_withproven_net_poll_with
xcv_net_readproven_net_read
xcv_net_ready_tproven_net_ready_t
xcv_net_resolveproven_net_resolve
xcv_net_selector_addproven_net_selector_add
xcv_net_selector_countproven_net_selector_count
xcv_net_selector_createproven_net_selector_create
xcv_net_selector_create_pollproven_net_selector_create_poll
xcv_net_selector_destroyproven_net_selector_destroy
xcv_net_selector_kindproven_net_selector_kind
xcv_net_selector_kind_tproven_net_selector_kind_t
xcv_net_selector_modifyproven_net_selector_modify
xcv_net_selector_removeproven_net_selector_remove
xcv_net_selector_tproven_net_selector_t
xcv_net_selector_waitproven_net_selector_wait
xcv_net_shutdown_writeproven_net_shutdown_write
xcv_net_udp_addrproven_net_udp_addr
xcv_net_udp_closeproven_net_udp_close
xcv_net_udp_handleproven_net_udp_handle
xcv_net_udp_is_openproven_net_udp_is_open
xcv_net_udp_openproven_net_udp_open
xcv_net_udp_recv_fromproven_net_udp_recv_from
xcv_net_udp_send_toproven_net_udp_send_to
xcv_net_udp_tproven_net_udp_t
xcv_net_waker_closeproven_net_waker_close
xcv_net_waker_drainproven_net_waker_drain
xcv_net_waker_handleproven_net_waker_handle
xcv_net_waker_openproven_net_waker_open
xcv_net_waker_tproven_net_waker_t
xcv_net_waker_wakeproven_net_waker_wake
xcv_net_writeproven_net_write
xcv_net_write_allproven_net_write_all
xcv_panicproven_panic
xcv_parse_double_asciiproven_parse_double_ascii
xcv_parse_f64_asciiproven_parse_f64_ascii
xcv_pbkdf2proven_pbkdf2
xcv_pem_nextproven_pem_next
xcv_pkcs7_unpadproven_pkcs7_unpad
xcv_pkey_bitsproven_pkey_bits
xcv_pkey_destroyproven_pkey_destroy
xcv_pkey_ec_pointproven_pkey_ec_point
xcv_pkey_ec_scalarproven_pkey_ec_scalar
xcv_pkey_from_ecproven_pkey_from_ec
xcv_pkey_from_rsaproven_pkey_from_rsa
xcv_pkey_kindproven_pkey_kind
xcv_pkey_kind_tproven_pkey_kind_t
xcv_pkey_parseproven_pkey_parse
xcv_pkey_rsa_componentsproven_pkey_rsa_components
xcv_pkey_signproven_pkey_sign
xcv_pkey_spkiproven_pkey_spki
xcv_pkey_tproven_pkey_t
xcv_pool_as_allocatorproven_pool_as_allocator
xcv_pool_destroyproven_pool_destroy
xcv_pool_initproven_pool_init
xcv_pool_tproven_pool_t
xcv_printproven_print
xcv_printlnproven_println
xcv_ptrdiff_tproven_ptrdiff_t
xcv_random_bytesproven_random_bytes
xcv_random_set_sourceproven_random_set_source
xcv_random_u64proven_random_u64
xcv_random_u64_checkedproven_random_u64_checked
xcv_range_contains_ptrproven_range_contains_ptr
xcv_reader_bufferedproven_reader_buffered
xcv_reader_from_fileproven_reader_from_file
xcv_reader_from_viewproven_reader_from_view
xcv_reader_is_validproven_reader_is_valid
xcv_reader_readproven_reader_read
xcv_reader_read_lineproven_reader_read_line
xcv_realloc_fn_tproven_realloc_fn_t
xcv_result_array_tproven_result_array_t
xcv_result_buf_tproven_result_buf_t
xcv_result_cstr_tproven_result_cstr_t
xcv_result_f64_tproven_result_f64_t
xcv_result_file_tproven_result_file_t
xcv_result_i64_tproven_result_i64_t
xcv_result_map_tproven_result_map_t
xcv_result_mem_mut_tproven_result_mem_mut_t
xcv_result_mem_view_tproven_result_mem_view_t
xcv_result_mmap_tproven_result_mmap_t
xcv_result_ring_tproven_result_ring_t
xcv_result_size_tproven_result_size_t
xcv_result_u16str_tproven_result_u16str_t
xcv_result_u16str_view_tproven_result_u16str_view_t
xcv_result_u64_tproven_result_u64_t
xcv_result_u8str_tproven_result_u8str_t
xcv_result_u8str_view_tproven_result_u8str_view_t
xcv_ring_createproven_ring_create
xcv_ring_destroyproven_ring_destroy
xcv_ring_is_validproven_ring_is_valid
xcv_ring_popproven_ring_pop
xcv_ring_pushproven_ring_push
xcv_ring_tproven_ring_t
xcv_rng_belowproven_rng_below
xcv_rng_f64proven_rng_f64
xcv_rng_fillproven_rng_fill
xcv_rng_is_validproven_rng_is_valid
xcv_rng_rangeproven_rng_range
xcv_rng_shuffleproven_rng_shuffle
xcv_rng_u64proven_rng_u64
xcv_rsa_components_tproven_rsa_components_t
xcv_rsa_encrypt_pkcs1proven_rsa_encrypt_pkcs1
xcv_scan_arg_f64proven_scan_arg_f64
xcv_scan_arg_i32proven_scan_arg_i32
xcv_scan_arg_i64proven_scan_arg_i64
xcv_scan_arg_identityproven_scan_arg_identity
xcv_scan_arg_intproven_scan_arg_int
xcv_scan_arg_llongproven_scan_arg_llong
xcv_scan_arg_longproven_scan_arg_long
xcv_scan_arg_noneproven_scan_arg_none
xcv_scan_arg_shortproven_scan_arg_short
xcv_scan_arg_str_viewproven_scan_arg_str_view
xcv_scan_arg_tproven_scan_arg_t
xcv_scan_arg_type_tproven_scan_arg_type_t
xcv_scan_arg_u32proven_scan_arg_u32
xcv_scan_arg_u64proven_scan_arg_u64
xcv_scan_arg_uintproven_scan_arg_uint
xcv_scan_arg_ullongproven_scan_arg_ullong
xcv_scan_arg_ulongproven_scan_arg_ulong
xcv_scan_arg_ushortproven_scan_arg_ushort
xcv_scan_f64proven_scan_f64
xcv_scan_fmtproven_scan_fmt
xcv_scan_fmt_cursorproven_scan_fmt_cursor
xcv_scan_fmt_from_fileproven_scan_fmt_from_file
xcv_scan_fmt_from_stdinproven_scan_fmt_from_stdin
xcv_scan_fmt_internalproven_scan_fmt_internal
xcv_scan_fmt_internal_viewproven_scan_fmt_internal_view
xcv_scan_i64proven_scan_i64
xcv_scan_i64_hexproven_scan_i64_hex
xcv_scan_initproven_scan_init
xcv_scan_skip_untilproven_scan_skip_until
xcv_scan_skip_until_numberproven_scan_skip_until_number
xcv_scan_skip_whitespaceproven_scan_skip_whitespace
xcv_scan_strproven_scan_str
xcv_scan_tproven_scan_t
xcv_scan_u64proven_scan_u64
xcv_scan_u64_hexproven_scan_u64_hex
xcv_set_panic_handlerproven_set_panic_handler
xcv_sha1proven_sha1
xcv_sha1_compressproven_sha1_compress
xcv_sha1_finalproven_sha1_final
xcv_sha1_initproven_sha1_init
xcv_sha1_to_hexproven_sha1_to_hex
xcv_sha1_updateproven_sha1_update
xcv_sha256proven_sha256
xcv_sha256_compressproven_sha256_compress
xcv_sha256_finalproven_sha256_final
xcv_sha256_initproven_sha256_init
xcv_sha256_tproven_sha256_t
xcv_sha256_to_hexproven_sha256_to_hex
xcv_sha256_updateproven_sha256_update
xcv_sha384proven_sha384
xcv_sha384_finalproven_sha384_final
xcv_sha384_initproven_sha384_init
xcv_sha384_tproven_sha384_t
xcv_sha384_updateproven_sha384_update
xcv_sha512proven_sha512
xcv_sha512_compressproven_sha512_compress
xcv_sha512_finalproven_sha512_final
xcv_sha512_initproven_sha512_init
xcv_sha512_tproven_sha512_t
xcv_sha512_updateproven_sha512_update
xcv_sign_scheme_tproven_sign_scheme_t
xcv_size_tproven_size_t
xcv_sse_event_tproven_sse_event_t
xcv_sse_feedproven_sse_feed
xcv_sse_initproven_sse_init
xcv_sse_last_idproven_sse_last_id
xcv_sse_tproven_sse_t
xcv_strtodproven_strtod
xcv_sysio_file_bufferedproven_sysio_file_buffered
xcv_sysio_lines_openproven_sysio_lines_open
xcv_sysio_lines_tproven_sysio_lines_t
xcv_sysio_out_tproven_sysio_out_t
xcv_sysio_print_implproven_sysio_print_impl
xcv_sysio_read_lineproven_sysio_read_line
xcv_sysio_read_u16_lineproven_sysio_read_u16_line
xcv_sysio_scan_chunk_implproven_sysio_scan_chunk_impl
xcv_sysio_scanner_deinitproven_sysio_scanner_deinit
xcv_sysio_scanner_initproven_sysio_scanner_init
xcv_sysio_scanner_scan_implproven_sysio_scanner_scan_impl
xcv_sysio_std_tproven_sysio_std_t
xcv_sysio_stderrproven_sysio_stderr
xcv_sysio_stderr_writerproven_sysio_stderr_writer
xcv_sysio_stdinproven_sysio_stdin
xcv_sysio_stdin_linesproven_sysio_stdin_lines
xcv_sysio_stdin_readerproven_sysio_stdin_reader
xcv_sysio_stdin_u16_linesproven_sysio_stdin_u16_lines
xcv_sysio_stdoutproven_sysio_stdout
xcv_sysio_stdout_bufferedproven_sysio_stdout_buffered
xcv_sysio_stdout_writerproven_sysio_stdout_writer
xcv_sysio_u16_lines_openproven_sysio_u16_lines_open
xcv_sysio_u16_lines_tproven_sysio_u16_lines_t
xcv_text_encoding_tproven_text_encoding_t
xcv_time_breakdownproven_time_breakdown
xcv_time_locale_enproven_time_locale_en
xcv_time_locale_tproven_time_locale_t
xcv_time_monotonic_nowproven_time_monotonic_now
xcv_time_nowproven_time_now
xcv_time_now_datetimeproven_time_now_datetime
xcv_time_sleepproven_time_sleep
xcv_time_tproven_time_t
xcv_time_u16_fmtproven_time_u16_fmt
xcv_time_u8_fmtproven_time_u8_fmt
xcv_tls_alert_receivedproven_tls_alert_received
xcv_tls_alert_sentproven_tls_alert_sent
xcv_tls_alpnproven_tls_alpn
xcv_tls_cipher_suiteproven_tls_cipher_suite
xcv_tls_client_auth_tproven_tls_client_auth_t
xcv_tls_client_createproven_tls_client_create
xcv_tls_closeproven_tls_close
xcv_tls_configproven_tls_config
xcv_tls_config_createproven_tls_config_create
xcv_tls_config_destroyproven_tls_config_destroy
xcv_tls_config_tproven_tls_config_t
xcv_tls_connproven_tls_conn
xcv_tls_conn_destroyproven_tls_conn_destroy
xcv_tls_conn_tproven_tls_conn_t
xcv_tls_feedproven_tls_feed
xcv_tls_http_wrapproven_tls_http_wrap
xcv_tls_is_establishedproven_tls_is_established
xcv_tls_key_updateproven_tls_key_update
xcv_tls_now_fnproven_tls_now_fn
xcv_tls_options_tproven_tls_options_t
xcv_tls_output_sentproven_tls_output_sent
xcv_tls_peer_certificateproven_tls_peer_certificate
xcv_tls_peer_faultproven_tls_peer_fault
xcv_tls_peer_key_sha256proven_tls_peer_key_sha256
xcv_tls_pending_outputproven_tls_pending_output
xcv_tls_random_fnproven_tls_random_fn
xcv_tls_readproven_tls_read
xcv_tls_resumedproven_tls_resumed
xcv_tls_server_createproven_tls_server_create
xcv_tls_server_nameproven_tls_server_name
xcv_tls_session_tproven_tls_session_t
xcv_tls_transport_clientproven_tls_transport_client
xcv_tls_transport_connproven_tls_transport_conn
xcv_tls_transport_serverproven_tls_transport_server
xcv_tls_verify_tproven_tls_verify_t
xcv_tls_versionproven_tls_version
xcv_tls_writeproven_tls_write
xcv_transport_closeproven_transport_close
xcv_transport_is_validproven_transport_is_valid
xcv_transport_readproven_transport_read
xcv_transport_readerproven_transport_reader
xcv_transport_shutdownproven_transport_shutdown
xcv_transport_stream_tproven_transport_stream_t
xcv_transport_tproven_transport_t
xcv_transport_writeproven_transport_write
xcv_transport_write_allproven_transport_write_all
xcv_transport_writerproven_transport_writer
xcv_u16proven_u16
xcv_u16_ascii_lowerproven_u16_ascii_lower
xcv_u16_cstr_lenproven_u16_cstr_len
xcv_u16_reader_initproven_u16_reader_init
xcv_u16_reader_readproven_u16_reader_read
xcv_u16_reader_read_lineproven_u16_reader_read_line
xcv_u16_reader_tproven_u16_reader_t
xcv_u16str_appendproven_u16str_append
xcv_u16str_append_growproven_u16str_append_grow
xcv_u16str_append_partialproven_u16str_append_partial
xcv_u16str_as_ptrproven_u16str_as_ptr
xcv_u16str_as_viewproven_u16str_as_view
xcv_u16str_createproven_u16str_create
xcv_u16str_create_from_viewproven_u16str_create_from_view
xcv_u16str_destroyproven_u16str_destroy
xcv_u16str_lenproven_u16str_len
xcv_u16str_tproven_u16str_t
xcv_u16str_view_cmpproven_u16str_view_cmp
xcv_u16str_view_cmp_ascii_ciproven_u16str_view_cmp_ascii_ci
xcv_u16str_view_containsproven_u16str_view_contains
xcv_u16str_view_copy_toproven_u16str_view_copy_to
xcv_u16str_view_ends_withproven_u16str_view_ends_with
xcv_u16str_view_ends_with_ascii_ciproven_u16str_view_ends_with_ascii_ci
xcv_u16str_view_eqproven_u16str_view_eq
xcv_u16str_view_eq_ascii_ciproven_u16str_view_eq_ascii_ci
xcv_u16str_view_findproven_u16str_view_find
xcv_u16str_view_find_lastproven_u16str_view_find_last
xcv_u16str_view_find_last_unitproven_u16str_view_find_last_unit
xcv_u16str_view_find_unitproven_u16str_view_find_unit
xcv_u16str_view_from_cstrproven_u16str_view_from_cstr
xcv_u16str_view_parse_i32proven_u16str_view_parse_i32
xcv_u16str_view_parse_i64proven_u16str_view_parse_i64
xcv_u16str_view_parse_u32proven_u16str_view_parse_u32
xcv_u16str_view_parse_u64proven_u16str_view_parse_u64
xcv_u16str_view_remove_prefixproven_u16str_view_remove_prefix
xcv_u16str_view_remove_suffixproven_u16str_view_remove_suffix
xcv_u16str_view_sliceproven_u16str_view_slice
xcv_u16str_view_splitproven_u16str_view_split
xcv_u16str_view_split_nextproven_u16str_view_split_next
xcv_u16str_view_split_tproven_u16str_view_split_t
xcv_u16str_view_starts_withproven_u16str_view_starts_with
xcv_u16str_view_starts_with_ascii_ciproven_u16str_view_starts_with_ascii_ci
xcv_u16str_view_tproven_u16str_view_t
xcv_u16str_view_tokensproven_u16str_view_tokens
xcv_u16str_view_tokens_nextproven_u16str_view_tokens_next
xcv_u16str_view_tokens_tproven_u16str_view_tokens_t
xcv_u16str_view_trimproven_u16str_view_trim
xcv_u16str_view_trim_endproven_u16str_view_trim_end
xcv_u16str_view_trim_startproven_u16str_view_trim_start
xcv_u32proven_u32
xcv_u64proven_u64
xcv_u8proven_u8
xcv_u8str_appendproven_u8str_append
xcv_u8str_append_byteproven_u8str_append_byte
xcv_u8str_append_fmtproven_u8str_append_fmt
xcv_u8str_append_fmt_growproven_u8str_append_fmt_grow
xcv_u8str_append_fmt_truncproven_u8str_append_fmt_trunc
xcv_u8str_append_fmt_with_scratchproven_u8str_append_fmt_with_scratch
xcv_u8str_append_growproven_u8str_append_grow
xcv_u8str_append_partialproven_u8str_append_partial
xcv_u8str_as_cstrproven_u8str_as_cstr
xcv_u8str_as_viewproven_u8str_as_view
xcv_u8str_borrowproven_u8str_borrow
xcv_u8str_createproven_u8str_create
xcv_u8str_create_from_viewproven_u8str_create_from_view
xcv_u8str_destroyproven_u8str_destroy
xcv_u8str_fmt_internalproven_u8str_fmt_internal
xcv_u8str_insertproven_u8str_insert
xcv_u8str_insert_growproven_u8str_insert_grow
xcv_u8str_is_validproven_u8str_is_valid
xcv_u8str_mut_tproven_u8str_mut_t
xcv_u8str_removeproven_u8str_remove
xcv_u8str_replace_atproven_u8str_replace_at
xcv_u8str_replace_at_growproven_u8str_replace_at_grow
xcv_u8str_replace_firstproven_u8str_replace_first
xcv_u8str_reserveproven_u8str_reserve
xcv_u8str_resetproven_u8str_reset
xcv_u8str_tproven_u8str_t
xcv_u8str_view_cmpproven_u8str_view_cmp
xcv_u8str_view_cmp_ascii_ciproven_u8str_view_cmp_ascii_ci
xcv_u8str_view_cmp_ptrproven_u8str_view_cmp_ptr
xcv_u8str_view_containsproven_u8str_view_contains
xcv_u8str_view_ends_withproven_u8str_view_ends_with
xcv_u8str_view_ends_with_ascii_ciproven_u8str_view_ends_with_ascii_ci
xcv_u8str_view_eqproven_u8str_view_eq
xcv_u8str_view_eq_ascii_ciproven_u8str_view_eq_ascii_ci
xcv_u8str_view_findproven_u8str_view_find
xcv_u8str_view_find_lastproven_u8str_view_find_last
xcv_u8str_view_from_bytesproven_u8str_view_from_bytes
xcv_u8str_view_from_cstrproven_u8str_view_from_cstr
xcv_u8str_view_is_well_formedproven_u8str_view_is_well_formed
xcv_u8str_view_remove_prefixproven_u8str_view_remove_prefix
xcv_u8str_view_remove_suffixproven_u8str_view_remove_suffix
xcv_u8str_view_sliceproven_u8str_view_slice
xcv_u8str_view_splitproven_u8str_view_split
xcv_u8str_view_split_nextproven_u8str_view_split_next
xcv_u8str_view_split_tproven_u8str_view_split_t
xcv_u8str_view_starts_withproven_u8str_view_starts_with
xcv_u8str_view_starts_with_ascii_ciproven_u8str_view_starts_with_ascii_ci
xcv_u8str_view_tproven_u8str_view_t
xcv_u8str_view_to_cstrproven_u8str_view_to_cstr
xcv_u8str_view_trimproven_u8str_view_trim
xcv_u8str_view_trim_endproven_u8str_view_trim_end
xcv_u8str_view_trim_startproven_u8str_view_trim_start
xcv_uintptr_align_upproven_uintptr_align_up
xcv_uintptr_tproven_uintptr_t
xcv_url_default_portproven_url_default_port
xcv_url_effective_portproven_url_effective_port
xcv_url_encode_componentproven_url_encode_component
xcv_url_encode_pathproven_url_encode_path
xcv_url_encoded_size_maxproven_url_encoded_size_max
xcv_url_form_appendproven_url_form_append
xcv_url_form_decodeproven_url_form_decode
xcv_url_form_encodeproven_url_form_encode
xcv_url_parseproven_url_parse
xcv_url_path_resolveproven_url_path_resolve
xcv_url_percent_decodeproven_url_percent_decode
xcv_url_query_iterproven_url_query_iter
xcv_url_query_iter_tproven_url_query_iter_t
xcv_url_query_nextproven_url_query_next
xcv_url_resolveproven_url_resolve
xcv_url_scheme_isproven_url_scheme_is
xcv_url_split_targetproven_url_split_target
xcv_url_tproven_url_t
xcv_utf16_append_to_u8strproven_utf16_append_to_u8str
xcv_utf16_to_utf8proven_utf16_to_utf8
xcv_utf16_to_utf8_lossyproven_utf16_to_utf8_lossy
xcv_utf16_to_utf8_lossy_sizeproven_utf16_to_utf8_lossy_size
xcv_utf16_to_utf8_partialproven_utf16_to_utf8_partial
xcv_utf16_to_utf8_sizeproven_utf16_to_utf8_size
xcv_utf8_append_to_u16strproven_utf8_append_to_u16str
xcv_utf8_char_tproven_utf8_char_t
xcv_utf8_decode_nextproven_utf8_decode_next
xcv_utf8_encode_oneproven_utf8_encode_one
xcv_utf8_to_utf16_lossyproven_utf8_to_utf16_lossy
xcv_utf8_to_utf16_lossy_sizeproven_utf8_to_utf16_lossy_size
xcv_utf8_validateproven_utf8_validate
xcv_utf8_to_utf16proven_utf8_to_utf16
xcv_utf8_to_utf16_partialproven_utf8_to_utf16_partial
xcv_utf8_to_utf16_sizeproven_utf8_to_utf16_size
xcv_utf_step_tproven_utf_step_t
xcv_verify_ecdsaproven_verify_ecdsa
xcv_verify_rsaproven_verify_rsa
xcv_verify_spkiproven_verify_spki
xcv_writer_bufferedproven_writer_buffered
xcv_writer_flushproven_writer_flush
xcv_writer_from_bufferproven_writer_from_buffer
xcv_writer_from_fileproven_writer_from_file
xcv_writer_from_u8strproven_writer_from_u8str
xcv_writer_is_validproven_writer_is_valid
xcv_writer_writeproven_writer_write
xcv_writer_write_bomproven_writer_write_bom
xcv_writer_write_partialproven_writer_write_partial
xcv_writer_write_strproven_writer_write_str
xcv_writer_write_u16proven_writer_write_u16
xcv_ws_accept_keyproven_ws_accept_key
xcv_ws_check_requestproven_ws_check_request
xcv_ws_check_responseproven_ws_check_response
xcv_ws_check_response_deflateproven_ws_check_response_deflate
xcv_ws_check_response_peer_no_takeoverproven_ws_check_response_peer_no_takeover
xcv_ws_check_response_takeoverproven_ws_check_response_takeover
xcv_ws_close_code_forproven_ws_close_code_for
xcv_ws_close_code_is_validproven_ws_close_code_is_valid
xcv_ws_close_parseproven_ws_close_parse
xcv_ws_close_writeproven_ws_close_write
xcv_ws_conn_acceptproven_ws_conn_accept
xcv_ws_conn_closeproven_ws_conn_close
xcv_ws_conn_close_codeproven_ws_conn_close_code
xcv_ws_conn_close_reasonproven_ws_conn_close_reason
xcv_ws_conn_compressedproven_ws_conn_compressed
xcv_ws_conn_config_tproven_ws_conn_config_t
xcv_ws_conn_connectproven_ws_conn_connect
xcv_ws_conn_destroyproven_ws_conn_destroy
xcv_ws_conn_openproven_ws_conn_open
xcv_ws_conn_pingproven_ws_conn_ping
xcv_ws_conn_pong_countproven_ws_conn_pong_count
xcv_ws_conn_protocolproven_ws_conn_protocol
xcv_ws_conn_receiveproven_ws_conn_receive
xcv_ws_conn_send_binaryproven_ws_conn_send_binary
xcv_ws_conn_send_partproven_ws_conn_send_part
xcv_ws_conn_send_textproven_ws_conn_send_text
xcv_ws_conn_set_compressproven_ws_conn_set_compress
xcv_ws_conn_tproven_ws_conn_t
xcv_ws_decoder_allow_compressedproven_ws_decoder_allow_compressed
xcv_ws_decoder_feedproven_ws_decoder_feed
xcv_ws_decoder_initproven_ws_decoder_init
xcv_ws_decoder_tproven_ws_decoder_t
xcv_ws_deflate_acceptproven_ws_deflate_accept
xcv_ws_deflate_accept_peer_no_takeoverproven_ws_deflate_accept_peer_no_takeover
xcv_ws_deflate_accept_takeoverproven_ws_deflate_accept_takeover
xcv_ws_deflate_terms_tproven_ws_deflate_terms_t
xcv_ws_event_acceptproven_ws_event_accept
xcv_ws_event_callbacks_tproven_ws_event_callbacks_t
xcv_ws_event_config_tproven_ws_event_config_t
xcv_ws_event_connectproven_ws_event_connect
xcv_ws_event_kind_tproven_ws_event_kind_t
xcv_ws_event_tproven_ws_event_t
xcv_ws_frame_parseproven_ws_frame_parse
xcv_ws_frame_tproven_ws_frame_t
xcv_ws_frame_writeproven_ws_frame_write
xcv_ws_make_keyproven_ws_make_key
xcv_ws_maskproven_ws_mask
xcv_ws_message_tproven_ws_message_t
xcv_ws_opcode_tproven_ws_opcode_t
xcv_ws_check_originproven_ws_check_origin
xcv_ws_request_offersproven_ws_request_offers
xcv_ws_stream_abortproven_ws_stream_abort
xcv_ws_stream_bufferedproven_ws_stream_buffered
xcv_ws_stream_closeproven_ws_stream_close
xcv_ws_stream_compressedproven_ws_stream_compressed
xcv_ws_stream_pauseproven_ws_stream_pause
xcv_ws_stream_peerproven_ws_stream_peer
xcv_ws_stream_pingproven_ws_stream_ping
xcv_ws_stream_resumeproven_ws_stream_resume
xcv_ws_stream_sendproven_ws_stream_send
xcv_ws_stream_send_pieceproven_ws_stream_send_piece
xcv_ws_stream_set_compressproven_ws_stream_set_compress
xcv_ws_stream_set_userproven_ws_stream_set_user
xcv_ws_stream_tproven_ws_stream_t
xcv_ws_stream_userproven_ws_stream_user
xcv_x25519proven_x25519
xcv_x25519_publicproven_x25519_public
xcv_xoshiro256ss_nextproven_xoshiro256ss_next
xcv_xoshiro256ss_rngproven_xoshiro256ss_rng
xcv_xoshiro256ss_seedproven_xoshiro256ss_seed
xcv_zstd_decodeproven_zstd_decode
xcv_zstd_decode_allproven_zstd_decode_all
xcv_zstd_decoder_createproven_zstd_decoder_create
xcv_zstd_decoder_destroyproven_zstd_decoder_destroy
xcv_zstd_decoder_resetproven_zstd_decoder_reset
xcv_zstd_decoder_tproven_zstd_decoder_t
xcv_zstd_decoder_use_dictionaryproven_zstd_decoder_use_dictionary
xcv_zstd_dictionary_idproven_zstd_dictionary_id
xcv_zstd_encodeproven_zstd_encode
xcv_zstd_encode_allproven_zstd_encode_all
xcv_zstd_encode_boundproven_zstd_encode_bound
xcv_zstd_encoder_createproven_zstd_encoder_create
xcv_zstd_encoder_destroyproven_zstd_encoder_destroy
xcv_zstd_encoder_options_tproven_zstd_encoder_options_t
xcv_zstd_encoder_resetproven_zstd_encoder_reset
xcv_zstd_encoder_tproven_zstd_encoder_t
xcv_zstd_flush_tproven_zstd_flush_t