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

501 aliases: 375 lowercase xcv_ function names and 126 uppercase XCV_ macro 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 macro	Expands to
`XCV_ARG`	`PROVEN_ARG`
`XCV_ARG_CSTR`	`proven_arg_cstr`
`XCV_ARG_DATETIME`	`proven_arg_datetime`
`XCV_ARG_F64`	`proven_arg_f64`
`XCV_ARG_FN`	`PROVEN_ARG_FN(f)`
`XCV_ARG_I32`	`proven_arg_i32`
`XCV_ARG_I64`	`proven_arg_i64`
`XCV_ARG_NONE`	`proven_arg_none`
`XCV_ARG_PTR`	`proven_arg_ptr`
`XCV_ARG_STR_VIEW`	`proven_arg_str_view`
`XCV_ARG_U32`	`proven_arg_u32`
`XCV_ARG_U64`	`proven_arg_u64`
`XCV_ARRAY_DESTROY`	`PROVEN_ARRAY_DESTROY`
`XCV_ARRAY_GET`	`PROVEN_ARRAY_GET`
`XCV_ARRAY_GET_MUT`	`PROVEN_ARRAY_GET_MUT`
`XCV_ARRAY_INIT`	`PROVEN_ARRAY_INIT`
`XCV_ARRAY_IS_VALID`	`proven_array_is_valid`
`XCV_ARRAY_POP`	`PROVEN_ARRAY_POP`
`XCV_ARRAY_PUSH`	`PROVEN_ARRAY_PUSH`
`XCV_CKD_ADD`	`PROVEN_CKD_ADD`
`XCV_CKD_MUL`	`PROVEN_CKD_MUL`
`XCV_CKD_SUB`	`PROVEN_CKD_SUB`
`XCV_CONTAINER_OF`	`PROVEN_CONTAINER_OF`
`XCV_CORO_AWAIT`	`PROVEN_CORO_AWAIT`
`XCV_CORO_BEGIN`	`PROVEN_CORO_BEGIN`
`XCV_CORO_END`	`PROVEN_CORO_END`
`XCV_CORO_INIT`	`PROVEN_CORO_INIT`
`XCV_CORO_IS_DONE`	`PROVEN_CORO_IS_DONE`
`XCV_CORO_YIELD`	`PROVEN_CORO_YIELD`
`XCV_DEFAULT_ALIGNMENT`	`PROVEN_DEFAULT_ALIGNMENT`
`XCV_ERR_AGAIN`	`PROVEN_ERR_AGAIN`
`XCV_ERR_BUSY`	`PROVEN_ERR_BUSY`
`XCV_ERR_EOF`	`PROVEN_ERR_EOF`
`XCV_ERR_INVALID_ARG`	`PROVEN_ERR_INVALID_ARG`
`XCV_ERR_INVALID_ENCODING`	`PROVEN_ERR_INVALID_ENCODING`
`XCV_ERR_INVALID_STATE`	`PROVEN_ERR_INVALID_STATE`
`XCV_ERR_IO`	`PROVEN_ERR_IO`
`XCV_ERR_NOMEM`	`PROVEN_ERR_NOMEM`
`XCV_ERR_NOT_FOUND`	`PROVEN_ERR_NOT_FOUND`
`XCV_ERR_NEED_MORE`	`PROVEN_ERR_NEED_MORE`
`XCV_ERR_OUT_OF_BOUNDS`	`PROVEN_ERR_OUT_OF_BOUNDS`
`XCV_ERR_OVERFLOW`	`PROVEN_ERR_OVERFLOW`
`XCV_ERR_PERMISSION`	`PROVEN_ERR_PERMISSION`
`XCV_ERR_UNSUPPORTED`	`PROVEN_ERR_UNSUPPORTED`
`XCV_FS_APPEND`	`PROVEN_FS_APPEND`
`XCV_FS_CREATE`	`PROVEN_FS_CREATE`
`XCV_FS_LOCK_EXCLUSIVE`	`PROVEN_FS_LOCK_EXCLUSIVE`
`XCV_FS_LOCK_SHARED`	`PROVEN_FS_LOCK_SHARED`
`XCV_FS_LOCK_UNLOCK`	`PROVEN_FS_LOCK_UNLOCK`
`XCV_FS_PATH_SEP`	`PROVEN_FS_PATH_SEP`
`XCV_FS_PERM_DEFAULT`	`PROVEN_FS_PERM_DEFAULT`
`XCV_FS_PERM_GROUP_R`	`PROVEN_FS_PERM_GROUP_R`
`XCV_FS_PERM_GROUP_W`	`PROVEN_FS_PERM_GROUP_W`
`XCV_FS_PERM_GROUP_X`	`PROVEN_FS_PERM_GROUP_X`
`XCV_FS_PERM_OTHER_R`	`PROVEN_FS_PERM_OTHER_R`
`XCV_FS_PERM_OTHER_W`	`PROVEN_FS_PERM_OTHER_W`
`XCV_FS_PERM_OTHER_X`	`PROVEN_FS_PERM_OTHER_X`
`XCV_FS_PERM_OWNER_R`	`PROVEN_FS_PERM_OWNER_R`
`XCV_FS_PERM_OWNER_W`	`PROVEN_FS_PERM_OWNER_W`
`XCV_FS_PERM_OWNER_X`	`PROVEN_FS_PERM_OWNER_X`
`XCV_FS_READ`	`PROVEN_FS_READ`
`XCV_FS_TRUNC`	`PROVEN_FS_TRUNC`
`XCV_FS_TYPE_DIR`	`PROVEN_FS_TYPE_DIR`
`XCV_FS_TYPE_FILE`	`PROVEN_FS_TYPE_FILE`
`XCV_FS_TYPE_OTHER`	`PROVEN_FS_TYPE_OTHER`
`XCV_FS_WRITE`	`PROVEN_FS_WRITE`
`XCV_INDEX_NOT_FOUND`	`PROVEN_INDEX_NOT_FOUND`
`XCV_IS_OK`	`PROVEN_IS_OK`
`XCV_KEY_TYPE_INT`	`PROVEN_KEY_TYPE_INT`
`XCV_KEY_TYPE_U8_BORROWED`	`PROVEN_KEY_TYPE_U8_BORROWED`
`XCV_KEY_TYPE_U8_OWNED`	`PROVEN_KEY_TYPE_U8_OWNED`
`XCV_LIST_ENTRY`	`PROVEN_LIST_ENTRY`
`XCV_LIST_FOR_EACH`	`PROVEN_LIST_FOR_EACH`
`XCV_LIST_FOR_EACH_SAFE`	`PROVEN_LIST_FOR_EACH_SAFE`
`XCV_LIT`	`PROVEN_LIT`
`XCV_MAP_DESTROY`	`PROVEN_MAP_DESTROY`
`XCV_MAP_GET_INT`	`PROVEN_MAP_GET_INT`
`XCV_MAP_GET_MUT_INT`	`PROVEN_MAP_GET_MUT_INT`
`XCV_MAP_GET_MUT_U8_BORROWED`	`PROVEN_MAP_GET_MUT_U8_BORROWED`
`XCV_MAP_GET_U8_BORROWED`	`PROVEN_MAP_GET_U8_BORROWED`
`XCV_MAP_GET_U8_OWNED`	`PROVEN_MAP_GET_U8_OWNED`
`XCV_MAP_INIT_INT`	`PROVEN_MAP_INIT_INT`
`XCV_MAP_INIT_U8_BORROWED`	`PROVEN_MAP_INIT_U8_BORROWED`
`XCV_MAP_INIT_U8_OWNED`	`PROVEN_MAP_INIT_U8_OWNED`
`XCV_MAP_IS_VALID`	`proven_map_is_valid`
`XCV_MAP_REMOVE_INT`	`PROVEN_MAP_REMOVE_INT`
`XCV_MAP_REMOVE_U8_BORROWED`	`PROVEN_MAP_REMOVE_U8_BORROWED`
`XCV_MAP_REMOVE_U8_OWNED`	`PROVEN_MAP_REMOVE_U8_OWNED`
`XCV_MAP_SET_INT`	`PROVEN_MAP_SET_INT`
`XCV_MAP_SET_WITH_SCRATCH_INT`	`PROVEN_MAP_SET_WITH_SCRATCH_INT`
`XCV_MAP_SET_U8_BORROWED`	`PROVEN_MAP_SET_U8_BORROWED`
`XCV_MAP_SET_U8_OWNED`	`PROVEN_MAP_SET_U8_OWNED`
`XCV_MAP_SET_WITH_SCRATCH_U8_BORROWED`	`PROVEN_MAP_SET_WITH_SCRATCH_U8_BORROWED`
`XCV_MAX_ALIGN`	`PROVEN_MAX_ALIGN`
`XCV_MMAP_EXEC`	`PROVEN_MMAP_EXEC`
`XCV_MMAP_PRIVATE`	`PROVEN_MMAP_PRIVATE`
`XCV_MMAP_READ`	`PROVEN_MMAP_READ`
`XCV_MMAP_SHARED`	`PROVEN_MMAP_SHARED`
`XCV_MMAP_WRITE`	`PROVEN_MMAP_WRITE`
`XCV_OK`	`PROVEN_OK`
`XCV_RING_DESTROY`	`PROVEN_RING_DESTROY`
`XCV_RING_INIT`	`PROVEN_RING_INIT`
`XCV_RING_IS_VALID`	`proven_ring_is_valid`
`XCV_RING_POP`	`PROVEN_RING_POP`
`XCV_RING_PUSH`	`PROVEN_RING_PUSH`
`XCV_SCAN_ARG`	`PROVEN_SCAN_ARG(x)`
`XCV_SCAN_ARG_LONG`	`PROVEN_SCAN_ARG_LONG(ptr)`
`XCV_SCAN_ARG_TYPE_F64`	`PROVEN_SCAN_ARG_TYPE_F64`
`XCV_SCAN_ARG_TYPE_I32`	`PROVEN_SCAN_ARG_TYPE_I32`
`XCV_SCAN_ARG_TYPE_I64`	`PROVEN_SCAN_ARG_TYPE_I64`
`XCV_SCAN_ARG_TYPE_INT`	`PROVEN_SCAN_ARG_TYPE_INT`
`XCV_SCAN_ARG_TYPE_LLONG`	`PROVEN_SCAN_ARG_TYPE_LLONG`
`XCV_SCAN_ARG_TYPE_LONG`	`PROVEN_SCAN_ARG_TYPE_LONG`
`XCV_SCAN_ARG_TYPE_NONE`	`PROVEN_SCAN_ARG_TYPE_NONE`
`XCV_SCAN_ARG_TYPE_SHORT`	`PROVEN_SCAN_ARG_TYPE_SHORT`
`XCV_SCAN_ARG_TYPE_STR_VIEW`	`PROVEN_SCAN_ARG_TYPE_STR_VIEW`
`XCV_SCAN_ARG_TYPE_U32`	`PROVEN_SCAN_ARG_TYPE_U32`
`XCV_SCAN_ARG_TYPE_U64`	`PROVEN_SCAN_ARG_TYPE_U64`
`XCV_SCAN_ARG_TYPE_UINT`	`PROVEN_SCAN_ARG_TYPE_UINT`
`XCV_SCAN_ARG_TYPE_ULLONG`	`PROVEN_SCAN_ARG_TYPE_ULLONG`
`XCV_SCAN_ARG_TYPE_ULONG`	`PROVEN_SCAN_ARG_TYPE_ULONG`
`XCV_SCAN_ARG_TYPE_USHORT`	`PROVEN_SCAN_ARG_TYPE_USHORT`
`XCV_SCAN_ARG_ULONG`	`PROVEN_SCAN_ARG_ULONG(ptr)`
`XCV_U16_LIT`	`PROVEN_U16_LIT`
`XCV_VERSION_ENCODE`	`PROVEN_VERSION_ENCODE(major, minor, patch)`
`XCV_VERSION_MAJOR`	`PROVEN_VERSION_MAJOR`
`XCV_VERSION_MINOR`	`PROVEN_VERSION_MINOR`
`XCV_VERSION_NUM`	`PROVEN_VERSION_NUM`
`XCV_VERSION_PATCH`	`PROVEN_VERSION_PATCH`
`XCV_VERSION_STRING`	`PROVEN_VERSION_STRING`
`xcv_alloc_fn_t`	`proven_alloc_fn_t`
`xcv_alloc_is_valid`	`proven_alloc_is_valid`
`xcv_allocator_t`	`proven_allocator_t`
`xcv_arena_alloc`	`proven_arena_alloc`
`xcv_arena_alloc_aligned`	`proven_arena_alloc_aligned`
`xcv_arena_alloc_aligned_or_panic`	`proven_arena_alloc_aligned_or_panic`
`xcv_arena_alloc_or_panic`	`proven_arena_alloc_or_panic`
`xcv_arena_alloc_trait`	`proven_arena_alloc_trait`
`xcv_arena_as_allocator`	`proven_arena_as_allocator`
`xcv_arena_create`	`proven_arena_create`
`xcv_arena_destroy`	`proven_arena_destroy`
`xcv_arena_free_trait`	`proven_arena_free_trait`
`xcv_arena_realloc_aligned`	`proven_arena_realloc_aligned`
`xcv_arena_realloc_trait`	`proven_arena_realloc_trait`
`xcv_arena_reset`	`proven_arena_reset`
`xcv_arena_t`	`proven_arena_t`
`xcv_arg_bool`	`proven_arg_bool`
`xcv_arg_char`	`proven_arg_char`
`xcv_arg_cstr`	`proven_arg_cstr`
`xcv_arg_cstr_n`	`proven_arg_cstr_n`
`xcv_arg_custom`	`proven_arg_custom`
`xcv_arg_datetime`	`proven_arg_datetime`
`xcv_arg_f64`	`proven_arg_f64`
`xcv_arg_fn`	`proven_arg_fn`
`xcv_arg_i32`	`proven_arg_i32`
`xcv_arg_i64`	`proven_arg_i64`
`xcv_arg_identity`	`proven_arg_identity`
`xcv_arg_none`	`proven_arg_none`
`xcv_arg_ptr`	`proven_arg_ptr`
`xcv_arg_str_view`	`proven_arg_str_view`
`xcv_arg_t`	`proven_arg_t`
`xcv_arg_type_t`	`proven_arg_type_t`
`xcv_arg_u32`	`proven_arg_u32`
`xcv_arg_u64`	`proven_arg_u64`
`xcv_arg_ucstr`	`proven_arg_ucstr`
`xcv_array_binary_search`	`proven_array_binary_search`
`xcv_array_create`	`proven_array_create`
`xcv_array_destroy`	`proven_array_destroy`
`xcv_array_get`	`proven_array_get`
`xcv_array_get_mut`	`proven_array_get_mut`
`xcv_array_is_valid`	`proven_array_is_valid`
`xcv_array_linear_search`	`proven_array_linear_search`
`xcv_array_pop`	`proven_array_pop`
`xcv_array_push`	`proven_array_push`
`xcv_array_reserve`	`proven_array_reserve`
`xcv_array_sort`	`proven_array_sort`
`xcv_array_t`	`proven_array_t`
`xcv_buf_append`	`proven_buf_append`
`xcv_buf_create`	`proven_buf_create`
`xcv_buf_destroy`	`proven_buf_destroy`
`xcv_buf_t`	`proven_buf_t`
`xcv_byte_t`	`proven_byte_t`
`xcv_c_lib`	`proven_c_lib`
`xcv_compare_fn_t`	`proven_compare_fn_t`
`xcv_coro_t`	`proven_coro_t`
`xcv_crc32`	`proven_crc32`
`xcv_crc32_update`	`proven_crc32_update`
`xcv_cstr_len`	`proven_cstr_len`
`xcv_datetime_t`	`proven_datetime_t`
`xcv_env_get`	`proven_env_get`
`xcv_eprint`	`proven_eprint`
`xcv_eprintln`	`proven_eprintln`
`xcv_err_t`	`proven_err_t`
`xcv_file_t`	`proven_file_t`
`xcv_float_format_f32_policy`	`proven_float_format_f32_policy`
`xcv_float_format_f64_policy`	`proven_float_format_f64_policy`
`xcv_float_format_options_fixed_default`	`proven_float_format_options_fixed_default`
`xcv_float_format_options_scientific`	`proven_float_format_options_scientific`
`xcv_float_format_options_shortest`	`proven_float_format_options_shortest`
`xcv_fmt_put`	`proven_fmt_put`
`xcv_fmt_to_writer_impl`	`proven_fmt_to_writer_impl`
`xcv_fprint`	`proven_fprint`
`xcv_free_fn_t`	`proven_free_fn_t`
`xcv_fs_chmod`	`proven_fs_chmod`
`xcv_fs_close`	`proven_fs_close`
`xcv_fs_copy`	`proven_fs_copy`
`xcv_fs_dir_close`	`proven_fs_dir_close`
`xcv_fs_dir_next`	`proven_fs_dir_next`
`xcv_fs_dir_open`	`proven_fs_dir_open`
`xcv_fs_entry_t`	`proven_fs_entry_t`
`xcv_fs_handle_t`	`proven_fs_handle_t`
`xcv_fs_is_absolute`	`proven_fs_is_absolute`
`xcv_fs_link`	`proven_fs_link`
`xcv_fs_list`	`proven_fs_list`
`xcv_fs_list_destroy`	`proven_fs_list_destroy`
`xcv_fs_lock`	`proven_fs_lock`
`xcv_fs_lock_type_t`	`proven_fs_lock_type_t`
`xcv_fs_mkdir`	`proven_fs_mkdir`
`xcv_fs_mode_t`	`proven_fs_mode_t`
`xcv_fs_open`	`proven_fs_open`
`xcv_fs_perms_t`	`proven_fs_perms_t`
`xcv_fs_pread`	`proven_fs_pread`
`xcv_fs_pwrite`	`proven_fs_pwrite`
`xcv_fs_read`	`proven_fs_read`
`xcv_fs_read_all`	`proven_fs_read_all`
`xcv_fs_read_all_u8str`	`proven_fs_read_all_u8str`
`xcv_fs_remove`	`proven_fs_remove`
`xcv_fs_rename`	`proven_fs_rename`
`xcv_fs_rmdir`	`proven_fs_rmdir`
`xcv_fs_seek`	`proven_fs_seek`
`xcv_fs_size`	`proven_fs_size`
`xcv_fs_stat`	`proven_fs_stat`
`xcv_fs_stat_t`	`proven_fs_stat_t`
`xcv_fs_symlink`	`proven_fs_symlink`
`xcv_fs_sync`	`proven_fs_sync`
`xcv_fs_sync_dir`	`proven_fs_sync_dir`
`xcv_fs_tell`	`proven_fs_tell`
`xcv_fs_truncate`	`proven_fs_truncate`
`xcv_fs_type_t`	`proven_fs_type_t`
`xcv_fs_walk_close`	`proven_fs_walk_close`
`xcv_fs_walk_next`	`proven_fs_walk_next`
`xcv_fs_walk_open`	`proven_fs_walk_open`
`xcv_fs_write`	`proven_fs_write`
`xcv_fs_write_all`	`proven_fs_write_all`
`xcv_fs_write_file`	`proven_fs_write_file`
`xcv_fs_write_file_atomic`	`proven_fs_write_file_atomic`
`xcv_fs_write_file_durable`	`proven_fs_write_file_durable`
`xcv_hash_bytes`	`proven_hash_bytes`
`xcv_hash_keyed`	`proven_hash_keyed`
`xcv_base64_decode`	`proven_base64_decode`
`xcv_base64_decoded_size`	`proven_base64_decoded_size`
`xcv_base64_encode`	`proven_base64_encode`
`xcv_base64_encoded_size`	`proven_base64_encoded_size`
`xcv_base64url_encode`	`proven_base64url_encode`
`xcv_hex_decode`	`proven_hex_decode`
`xcv_hex_decoded_size`	`proven_hex_decoded_size`
`xcv_hex_encode`	`proven_hex_encode`
`xcv_hex_encoded_size`	`proven_hex_encoded_size`
`xcv_heap_allocator`	`proven_heap_allocator`
`xcv_i16`	`proven_i16`
`xcv_i32`	`proven_i32`
`xcv_i64`	`proven_i64`
`xcv_i8`	`proven_i8`
`xcv_intptr_t`	`proven_intptr_t`
`xcv_is_ok`	`proven_is_ok`
`xcv_is_pow2`	`proven_is_pow2`
`xcv_job_execute_one`	`proven_job_execute_one`
`xcv_job_submit`	`proven_job_submit`
`xcv_job_sys`	`proven_job_sys`
`xcv_job_sys_t`	`proven_job_sys_t`
`xcv_job_system_close`	`proven_job_system_close`
`xcv_job_system_destroy`	`proven_job_system_destroy`
`xcv_job_system_init`	`proven_job_system_init`
`xcv_job_t`	`proven_job_t`
`xcv_key_type_t`	`proven_key_type_t`
`xcv_list_init`	`proven_list_init`
`xcv_list_insert_after`	`proven_list_insert_after`
`xcv_list_is_empty`	`proven_list_is_empty`
`xcv_list_node_t`	`proven_list_node_t`
`xcv_list_push_back`	`proven_list_push_back`
`xcv_list_remove`	`proven_list_remove`
`xcv_list_t`	`proven_list_t`
`xcv_map_create`	`proven_map_create`
`xcv_map_create_trusted`	`proven_map_create_trusted`
`xcv_map_create_with_capacity`	`proven_map_create_with_capacity`
`xcv_map_destroy`	`proven_map_destroy`
`xcv_map_get`	`proven_map_get`
`xcv_map_get_mut`	`proven_map_get_mut`
`xcv_map_hash`	`proven_map_hash`
`xcv_map_is_valid`	`proven_map_is_valid`
`xcv_map_key_t`	`proven_map_key_t`
`xcv_map_remove`	`proven_map_remove`
`xcv_map_reserve`	`proven_map_reserve`
`xcv_map_set`	`proven_map_set`
`xcv_map_set_u8_owned`	`proven_map_set_u8_owned`
`xcv_map_set_with_scratch`	`proven_map_set_with_scratch`
`xcv_map_t`	`proven_map_t`
`xcv_mem_align_up`	`proven_mem_align_up`
`xcv_mem_copy`	`proven_mem_copy`
`xcv_mem_move`	`proven_mem_move`
`xcv_mem_mut_from_owned`	`proven_mem_mut_from_owned`
`xcv_mem_mut_slice_checked`	`proven_mem_mut_slice_checked`
`xcv_mem_mut_slice_unchecked`	`proven_mem_mut_slice_unchecked`
`xcv_mem_mut_t`	`proven_mem_mut_t`
`xcv_mem_t`	`proven_mem_t`
`xcv_mem_view_from_owned`	`proven_mem_view_from_owned`
`xcv_mem_view_from_u8`	`proven_mem_view_from_u8`
`xcv_mem_view_slice_checked`	`proven_mem_view_slice_checked`
`xcv_mem_view_slice_unchecked`	`proven_mem_view_slice_unchecked`
`xcv_mem_view_t`	`proven_mem_view_t`
`xcv_memcmp`	`proven_memcmp`
`xcv_mmap_as_view`	`proven_mmap_as_view`
`xcv_mmap_create`	`proven_mmap_create`
`xcv_mmap_destroy`	`proven_mmap_destroy`
`xcv_mmap_flags_t`	`proven_mmap_flags_t`
`xcv_mmap_prot_t`	`proven_mmap_prot_t`
`xcv_mmap_sync`	`proven_mmap_sync`
`xcv_mmap_t`	`proven_mmap_t`
`xcv_panic`	`proven_panic`
`xcv_parse_double_ascii`	`proven_parse_double_ascii`
`xcv_parse_f64_ascii`	`proven_parse_f64_ascii`
`xcv_pool_as_allocator`	`proven_pool_as_allocator`
`xcv_pool_destroy`	`proven_pool_destroy`
`xcv_pool_init`	`proven_pool_init`
`xcv_pool_t`	`proven_pool_t`
`xcv_print`	`proven_print`
`xcv_println`	`proven_println`
`xcv_ptrdiff_t`	`proven_ptrdiff_t`
`xcv_chacha_rng`	`proven_chacha_rng`
`xcv_chacha_rng_fill`	`proven_chacha_rng_fill`
`xcv_chacha_rng_next`	`proven_chacha_rng_next`
`xcv_chacha_rng_seed`	`proven_chacha_rng_seed`
`xcv_chacha_rng_seed_from_entropy`	`proven_chacha_rng_seed_from_entropy`
`xcv_entropy_fn`	`proven_entropy_fn`
`xcv_random_bytes`	`proven_random_bytes`
`xcv_random_set_source`	`proven_random_set_source`
`xcv_random_u64`	`proven_random_u64`
`xcv_rng_below`	`proven_rng_below`
`xcv_rng_f64`	`proven_rng_f64`
`xcv_rng_fill`	`proven_rng_fill`
`xcv_rng_is_valid`	`proven_rng_is_valid`
`xcv_rng_range`	`proven_rng_range`
`xcv_rng_shuffle`	`proven_rng_shuffle`
`xcv_rng_u64`	`proven_rng_u64`
`xcv_xoshiro256ss_next`	`proven_xoshiro256ss_next`
`xcv_xoshiro256ss_rng`	`proven_xoshiro256ss_rng`
`xcv_xoshiro256ss_seed`	`proven_xoshiro256ss_seed`
`xcv_range_contains_ptr`	`proven_range_contains_ptr`
`xcv_reader_buffered`	`proven_reader_buffered`
`xcv_reader_from_file`	`proven_reader_from_file`
`xcv_reader_from_view`	`proven_reader_from_view`
`xcv_reader_is_valid`	`proven_reader_is_valid`
`xcv_reader_read`	`proven_reader_read`
`xcv_reader_read_line`	`proven_reader_read_line`
`xcv_realloc_fn_t`	`proven_realloc_fn_t`
`xcv_result_array_t`	`proven_result_array_t`
`xcv_result_buf_t`	`proven_result_buf_t`
`xcv_result_cstr_t`	`proven_result_cstr_t`
`xcv_result_f64_t`	`proven_result_f64_t`
`xcv_result_file_t`	`proven_result_file_t`
`xcv_result_i64_t`	`proven_result_i64_t`
`xcv_result_map_t`	`proven_result_map_t`
`xcv_result_mem_mut_t`	`proven_result_mem_mut_t`
`xcv_result_mem_view_t`	`proven_result_mem_view_t`
`xcv_result_mmap_t`	`proven_result_mmap_t`
`xcv_result_ring_t`	`proven_result_ring_t`
`xcv_result_size_t`	`proven_result_size_t`
`xcv_result_u16str_t`	`proven_result_u16str_t`
`xcv_result_u64_t`	`proven_result_u64_t`
`xcv_result_u8str_t`	`proven_result_u8str_t`
`xcv_result_u8str_view_t`	`proven_result_u8str_view_t`
`xcv_ring_create`	`proven_ring_create`
`xcv_ring_destroy`	`proven_ring_destroy`
`xcv_ring_is_valid`	`proven_ring_is_valid`
`xcv_ring_pop`	`proven_ring_pop`
`xcv_ring_push`	`proven_ring_push`
`xcv_ring_t`	`proven_ring_t`
`xcv_scan_arg_f64`	`proven_scan_arg_f64`
`xcv_scan_arg_i32`	`proven_scan_arg_i32`
`xcv_scan_arg_i64`	`proven_scan_arg_i64`
`xcv_scan_arg_identity`	`proven_scan_arg_identity`
`xcv_scan_arg_int`	`proven_scan_arg_int`
`xcv_scan_arg_llong`	`proven_scan_arg_llong`
`xcv_scan_arg_long`	`proven_scan_arg_long`
`xcv_scan_arg_none`	`proven_scan_arg_none`
`xcv_scan_arg_short`	`proven_scan_arg_short`
`xcv_scan_arg_str_view`	`proven_scan_arg_str_view`
`xcv_scan_arg_t`	`proven_scan_arg_t`
`xcv_scan_arg_type_t`	`proven_scan_arg_type_t`
`xcv_scan_arg_u32`	`proven_scan_arg_u32`
`xcv_scan_arg_u64`	`proven_scan_arg_u64`
`xcv_scan_arg_uint`	`proven_scan_arg_uint`
`xcv_scan_arg_ullong`	`proven_scan_arg_ullong`
`xcv_scan_arg_ulong`	`proven_scan_arg_ulong`
`xcv_scan_arg_ushort`	`proven_scan_arg_ushort`
`xcv_scan_f64`	`proven_scan_f64`
`xcv_scan_fmt`	`proven_scan_fmt`
`xcv_scan_fmt_cursor`	`proven_scan_fmt_cursor`
`xcv_scan_fmt_from_file`	`proven_scan_fmt_from_file`
`xcv_scan_fmt_from_stdin`	`proven_scan_fmt_from_stdin`
`xcv_scan_fmt_internal`	`proven_scan_fmt_internal`
`xcv_scan_fmt_internal_view`	`proven_scan_fmt_internal_view`
`xcv_scan_i64`	`proven_scan_i64`
`xcv_scan_init`	`proven_scan_init`
`xcv_scan_skip_until`	`proven_scan_skip_until`
`xcv_scan_skip_until_number`	`proven_scan_skip_until_number`
`xcv_scan_skip_whitespace`	`proven_scan_skip_whitespace`
`xcv_scan_str`	`proven_scan_str`
`xcv_scan_t`	`proven_scan_t`
`xcv_scan_u64`	`proven_scan_u64`
`xcv_set_panic_handler`	`proven_set_panic_handler`
`xcv_sha256`	`proven_sha256`
`xcv_sha256_final`	`proven_sha256_final`
`xcv_sha256_init`	`proven_sha256_init`
`xcv_sha256_to_hex`	`proven_sha256_to_hex`
`xcv_sha256_update`	`proven_sha256_update`
`xcv_size_t`	`proven_size_t`
`xcv_strtod`	`proven_strtod`
`xcv_sysio_file_buffered`	`proven_sysio_file_buffered`
`xcv_sysio_lines_open`	`proven_sysio_lines_open`
`xcv_sysio_lines_t`	`proven_sysio_lines_t`
`xcv_sysio_out_t`	`proven_sysio_out_t`
`xcv_sysio_read_line`	`proven_sysio_read_line`
`xcv_sysio_std_t`	`proven_sysio_std_t`
`xcv_sysio_stderr_writer`	`proven_sysio_stderr_writer`
`xcv_sysio_stdin_lines`	`proven_sysio_stdin_lines`
`xcv_sysio_stdin_reader`	`proven_sysio_stdin_reader`
`xcv_sysio_stdout_buffered`	`proven_sysio_stdout_buffered`
`xcv_sysio_stdout_writer`	`proven_sysio_stdout_writer`
`xcv_sysio_print_impl`	`proven_sysio_print_impl`
`xcv_sysio_scan_chunk_impl`	`proven_sysio_scan_chunk_impl`
`xcv_sysio_scanner_deinit`	`proven_sysio_scanner_deinit`
`xcv_sysio_scanner_init`	`proven_sysio_scanner_init`
`xcv_sysio_scanner_scan_impl`	`proven_sysio_scanner_scan_impl`
`xcv_sysio_stderr`	`proven_sysio_stderr`
`xcv_sysio_stdin`	`proven_sysio_stdin`
`xcv_sysio_stdout`	`proven_sysio_stdout`
`xcv_time_breakdown`	`proven_time_breakdown`
`xcv_time_locale_en`	`proven_time_locale_en`
`xcv_time_locale_t`	`proven_time_locale_t`
`xcv_time_now`	`proven_time_now`
`xcv_time_now_datetime`	`proven_time_now_datetime`
`xcv_time_sleep`	`proven_time_sleep`
`xcv_time_t`	`proven_time_t`
`xcv_time_u16_fmt`	`proven_time_u16_fmt`
`xcv_time_u8_fmt`	`proven_time_u8_fmt`
`xcv_u16`	`proven_u16`
`xcv_u16str_append`	`proven_u16str_append`
`xcv_u16str_append_grow`	`proven_u16str_append_grow`
`xcv_u16str_append_partial`	`proven_u16str_append_partial`
`xcv_u16str_as_ptr`	`proven_u16str_as_ptr`
`xcv_u16str_create`	`proven_u16str_create`
`xcv_u16str_create_from_view`	`proven_u16str_create_from_view`
`xcv_u16str_destroy`	`proven_u16str_destroy`
`xcv_u16str_len`	`proven_u16str_len`
`xcv_u16str_t`	`proven_u16str_t`
`xcv_u16str_view_t`	`proven_u16str_view_t`
`xcv_u32`	`proven_u32`
`xcv_u64`	`proven_u64`
`xcv_u8`	`proven_u8`
`xcv_u8str_append`	`proven_u8str_append`
`xcv_u8str_append_byte`	`proven_u8str_append_byte`
`xcv_u8str_append_fmt`	`proven_u8str_append_fmt`
`xcv_u8str_append_fmt_grow`	`proven_u8str_append_fmt_grow`
`xcv_u8str_append_fmt_trunc`	`proven_u8str_append_fmt_trunc`
`xcv_u8str_append_fmt_with_scratch`	`proven_u8str_append_fmt_with_scratch`
`xcv_u8str_append_grow`	`proven_u8str_append_grow`
`xcv_u8str_append_partial`	`proven_u8str_append_partial`
`xcv_u8str_as_cstr`	`proven_u8str_as_cstr`
`xcv_u8str_as_view`	`proven_u8str_as_view`
`xcv_u8str_borrow`	`proven_u8str_borrow`
`xcv_u8str_create`	`proven_u8str_create`
`xcv_u8str_create_from_view`	`proven_u8str_create_from_view`
`xcv_u8str_destroy`	`proven_u8str_destroy`
`xcv_u8str_fmt_internal`	`proven_u8str_fmt_internal`
`xcv_u8str_insert`	`proven_u8str_insert`
`xcv_u8str_insert_grow`	`proven_u8str_insert_grow`
`xcv_u8str_is_valid`	`proven_u8str_is_valid`
`xcv_u8str_mut_t`	`proven_u8str_mut_t`
`xcv_u8str_remove`	`proven_u8str_remove`
`xcv_u8str_replace_at`	`proven_u8str_replace_at`
`xcv_u8str_replace_at_grow`	`proven_u8str_replace_at_grow`
`xcv_u8str_replace_first`	`proven_u8str_replace_first`
`xcv_u8str_reserve`	`proven_u8str_reserve`
`xcv_u8str_reset`	`proven_u8str_reset`
`xcv_u8str_t`	`proven_u8str_t`
`xcv_u8str_view_ends_with`	`proven_u8str_view_ends_with`
`xcv_u8str_view_eq`	`proven_u8str_view_eq`
`xcv_u8str_view_find`	`proven_u8str_view_find`
`xcv_u8str_view_from_cstr`	`proven_u8str_view_from_cstr`
`xcv_u8str_view_slice`	`proven_u8str_view_slice`
`xcv_u8str_view_starts_with`	`proven_u8str_view_starts_with`
`xcv_u8str_view_t`	`proven_u8str_view_t`
`xcv_u8str_view_to_cstr`	`proven_u8str_view_to_cstr`
`xcv_uintptr_align_up`	`proven_uintptr_align_up`
`xcv_uintptr_t`	`proven_uintptr_t`
`xcv_writer_buffered`	`proven_writer_buffered`
`xcv_writer_flush`	`proven_writer_flush`
`xcv_writer_from_buffer`	`proven_writer_from_buffer`
`xcv_writer_from_file`	`proven_writer_from_file`
`xcv_writer_from_u8str`	`proven_writer_from_u8str`
`xcv_writer_is_valid`	`proven_writer_is_valid`
`xcv_writer_write`	`proven_writer_write`
`xcv_writer_write_partial`	`proven_writer_write_partial`
`xcv_writer_write_str`	`proven_writer_write_str`

← Freestanding

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

Usage rule#

Alias table#

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

Usage rule

Alias table