20 #include "libc/__fc_namemap.h"
123 void memcpy_charr(
char** dest,
char** src,
size_t size);
char ** vals
The array with the dictionary values keys.
Definition: namemap.h:39
size_t bufsize
The size of the area that can hold valid keys and values before reallocation is done.
Definition: namemap.h:35
Definitions of the base structures that represent the formulas and proofs.
The representation of the dictionary to hold strings under string keys.
Definition: namemap.h:29
size_t size
The size of the area in the representation which is occupied by valid keys and values.
Definition: namemap.h:32
char * Name
The type to structurally represent identifier names.
Definition: checker.h:46
char ** keys
The array with the dictionary keys.
Definition: namemap.h:37