Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Meta API coverage

This inventory covers every non-static, non-underscore callable on String, List, Array, Map, Symbol and Var in the runtime sources and stage interfaces. It includes generated methods, foreign aliases and optional modules. Module visibility and API tier distinguish supported user operations from exported internals; neither group is hidden.

Run python3 tools/meta-api-coverage.py --probe --write after building the current tree to refresh this report. Omit --probe for a source-only inventory; --json emits full signatures, provenance and diagnostics. This optional command is not a build or publication gate. Each behavioral case first compiles and runs as native code; an invalid native control leaves the operation unverified rather than blaming meta execution.

What the states establish

A verified example establishes only its listed case. A reproduced failure records that case’s compilation or execution failure, which may involve a dependency called by the example. Bound, unverified means the session defines the resolved name; no binding found means the standard loaded files contain no definition of that name. Neither binding search result is a behavioral test. User-installed bindings can extend this surface.

Bindings are discovered from the compiler’s library loader and native installation. A dotted Lisp name alone does not expose an ordinary method: that call uses its resolved underscore name. Templates, indexing, truth tests and conversions can have separate lowering. Their presence does not imply that a similarly named direct method works.

Loaded layers: etc/init.xlisp, etc/lisp-values.xlisp, etc/comptime.xlisp, etc/compiler-sdk.xlisp, etc/builtin-macros.xlisp.

Source fingerprint: 978a9cfd2afbad93dbdf21d6a78f9b2408e9c81524f0f2357d5dddbc536d920b.

Compiler fingerprint: 1e2926c596a6461b7a1ec335f9c49b5673c31c82deb14e25a99ab53a19b33408.

TypeCallablesBinding foundNo binding found
String892960
List952273
Array611843
Map381226
Symbol14311
Var18614172

What a missing operation may need

These are contract and signature considerations, not claims about why an operation was historically omitted. Multiple considerations can apply. No label promises that adding an alias is sufficient.

  • binding: A binding/adapter candidate over represented values; inspect its contract before assuming a direct alias is sufficient.
  • callback: An interpreted callback needs a compatible call adapter, including order, empty input, and missing-value behavior.
  • pointer: Native pointer, output-parameter, or varargs arguments need representation-aware adaptation; evaluator cells are not C addresses.
  • ownership: Allocation ownership or lifetime transfer needs deliberate compile-time semantics; evaluator objects cannot simply be freed by their callers.
  • resource: Another resource or value type needs a supported representation and lifetime before this signature is useful.
  • syntax: Related language syntax has lowering, but this does not establish availability of the explicitly named method.
  • internal: Low-level representation or runtime-internal behavior needs investigation; feasibility is not established.

The existing adapters also merge runtime void with an empty List. Missing values, null arguments, callbacks and ownership need explicit checks before claiming runtime equivalence.

String

verified example: len.

reproduced failure: strip.

bound, unverified: add, capitalize, contains, count, endswith, equal, escape, find, find_all, getindex, getslice, join, lower, new, partition, remove_prefix, remove_suffix, repeat, replace, rfind, rpartition, split, split_lines, startswith, unescape, upper, var.

no binding found: c_compare, c_find, c_len, compare, contains_digit, dedent, filter, find_within, free, hash, intern, intern_free, is_alnum, is_alnum_under, is_alpha, is_alpha_under, is_digit, is_identifier, is_lower, is_lower_under, is_permanent, is_space, is_upper, is_upper_under, iter, keep, lines, lstrip, malloc, map, new_fill, new_in, new_len, open, pad_center, pad_left, pad_right, parse, parse_char, printf, promote, reject, replace_n, repr, rstrip, sha256, split_n, splits, squeeze, str, symbol, truth, try_double, try_long, try_next, try_own, withindex, words, write_repr, write_str.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
String String.add(String str, String other)bound, unverifiedetc/comptime.xlisp:182bindingprimary/apilib/string.x:575
int String.c_compare(const char *, const char *)no binding foundnone foundpointerunclassified generated/apilib/common.x (interface)
char * String.c_find(const char *, int)no binding foundnone foundpointerunclassified generated/apilib/common.x (interface)
size_t String.c_len(const char *)no binding foundnone foundpointerunclassified generated/apilib/common.x (interface)
String String.capitalize(String str)bound, unverifiedetc/comptime.xlisp:200bindingprimary/apilib/string.x:718
int String.compare(String x, String y)no binding foundnone foundbindingadvanced/apilib/string.x:1398
int String.contains(String str, String sub)bound, unverifiedetc/comptime.xlisp:187bindingprimary/apilib/string.x:530
int String.contains_digit(String str)no binding foundnone foundbindingprimary/apilib/string-classify.x:19
int String.count(String str, String sub)bound, unverifiedetc/comptime.xlisp:199bindingprimary/apilib/string.x:505
String String.dedent(String str)no binding foundnone foundbindingprimary/apilib/string.x:779
int String.endswith(String str, String suffix)bound, unverifiedetc/comptime.xlisp:189bindingprimary/apilib/string.x:553
int String.equal(String x, String y)bound, unverifiedetc/comptime.xlisp:207bindingadvanced/apilib/string.x:1386
String String.escape(String str)bound, unverifiedetc/comptime.xlisp:204bindingadvanced/apilib/string.x:1266
String String.filter(String str, Func fn)no binding foundnone foundcallbackprimary/apilib/string.x:825
int String.find(String str, String sub)bound, unverifiedetc/comptime.xlisp:186bindingprimary/apilib/string.x:455
List String.find_all(String str, String sub, int start, int end)bound, unverifiedetc/comptime.xlisp:197bindingprimary/apilib/string.x:477
int String.find_within(String str, String sub, int start, int end)no binding foundnone foundbindingprimary/apilib/string.x:434
void String.free(String str)no binding foundnone foundownershipadvanced/apilib/string.x:227
int String.getindex(String str, int index)bound, unverifiedetc/comptime.xlisp:181bindingprimary/apilib/string.x:519
String String.getslice(String s, int start, int stop, int step)bound, unverifiedetc/comptime.xlisp:190bindingprimary/apilib/string.x:655
unsigned String.hash(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1373
Self String.intern(Self string)no binding foundnone foundbindingadvanced/apilib/string.x:283
Self String.intern_free(Self string)no binding foundnone foundownershipadvanced/apilib/string.x:308
int String.is_alnum(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:53
int String.is_alnum_under(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:58
int String.is_alpha(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:38
int String.is_alpha_under(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:43
int String.is_digit(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:48
int String.is_identifier(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:66
int String.is_lower(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:81
int String.is_lower_under(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:86
int String.is_permanent(String str)no binding foundnone foundownership, internalinternal/apilib/string.x:142
int String.is_space(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:76
int String.is_upper(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:91
int String.is_upper_under(String s)no binding foundnone foundbindingprimary/apilib/string-classify.x:96
Iter String.iter(String x, Iter dest)no binding foundnone foundresourceprimary/apilib/string.x:1445
String String.join(String sep, List strings)bound, unverifiedetc/comptime.xlisp:192bindingprimary/apilib/string.x:1002
String String.keep(String str, String chars)no binding foundnone foundbindingprimary/apilib/string.x:863
int String.len(String str)verified exampleetc/init.xlisp:107bindingprimary/apilib/string.x:248
Split String.lines(String str)no binding foundnone foundresourceprimary/apilib/split.x:205
String String.lower(String str)bound, unverifiedetc/comptime.xlisp:183bindingprimary/apilib/string.x:699
String String.lstrip(String str, char *negChars)no binding foundnone foundpointerprimary/apilib/string.x:727
String String.malloc(int len)no binding foundnone foundownershipadvanced/apilib/string.x:207
String String.map(String str, Func fn)no binding foundnone foundcallbackprimary/apilib/string.x:841
String String.new(const char *str)bound, unverifiedetc/comptime.xlisp:206pointerprimary/apilib/string.x:378
String String.new_fill(char fill, int count)no binding foundnone foundbindingadvanced/apilib/string.x:408
String String.new_in(Pool pool, const char *bytes, int length)no binding foundnone foundownership, resource, pointeradvanced/apilib/string.x:61
String String.new_len(const char *str, int len)no binding foundnone foundpointeradvanced/apilib/string.x:395
File String.open(String s, const char *mode)no binding foundnone foundresource, pointerprimary/apilib/file.x:236
String String.pad_center(String str, int width, char fill)no binding foundnone foundbindingprimary/apilib/string.x:922
String String.pad_left(String str, int width, char fill)no binding foundnone foundbindingprimary/apilib/string.x:910
String String.pad_right(String str, int width, char fill)no binding foundnone foundbindingprimary/apilib/string.x:916
String String.parse(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1359
int String.parse_char(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1324
List String.partition(String str, String sep)bound, unverifiedetc/comptime.xlisp:195bindingprimary/apilib/string.x:959
String String.printf(String fmt, ...)no binding foundnone foundpointeradvanced/apilib/string.x:1108
Self String.promote(Self str)no binding foundnone foundownershipadvanced/apilib/string.x:117
String String.reject(String str, String chars)no binding foundnone foundbindingprimary/apilib/string.x:874
String String.remove_prefix(String str, String prefix)bound, unverifiedetc/comptime.xlisp:202bindingprimary/apilib/string.x:931
String String.remove_suffix(String str, String suffix)bound, unverifiedetc/comptime.xlisp:203bindingprimary/apilib/string.x:941
String String.repeat(String str, int count)bound, unverifiedetc/comptime.xlisp:201bindingprimary/apilib/string.x:599
String String.replace(String str, String old, String replacement)bound, unverifiedetc/comptime.xlisp:191bindingprimary/apilib/string.x:1094
String String.replace_n( String str, String old, String replacement, int max_replacements)no binding foundnone foundbindingprimary/apilib/string.x:1044
String String.repr(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1289
int String.rfind(String str, String sub)bound, unverifiedetc/comptime.xlisp:198bindingprimary/apilib/string.x:463
List String.rpartition(String str, String sep)bound, unverifiedetc/comptime.xlisp:196bindingprimary/apilib/string.x:979
String String.rstrip(String str, char *negChars)no binding foundnone foundpointerprimary/apilib/string.x:740
String String.sha256(String text)no binding foundnone foundbindingprimary/optionallib/digest.x:110
List String.split(String str, String sep)bound, unverifiedetc/comptime.xlisp:193bindingprimary/apilib/split.x:111
List String.split_lines(String str, int keep_ends)bound, unverifiedetc/comptime.xlisp:194bindingprimary/apilib/split.x:124
List String.split_n(String str, String sep, int max_splits)no binding foundnone foundbindingprimary/apilib/split.x:81
Split String.splits(String str, String sep)no binding foundnone foundresourceprimary/apilib/split.x:219
String String.squeeze(String str, String chars)no binding foundnone foundbindingprimary/apilib/string.x:884
int String.startswith(String str, String prefix)bound, unverifiedetc/comptime.xlisp:188bindingprimary/apilib/string.x:542
String String.str(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1283
String String.strip(String str, char *negChars)reproduced failureetc/comptime.xlisp:184pointerprimary/apilib/string.x:758
Symbol String.symbol(String str)no binding foundnone foundbindingadvanced/apilib/string.x:1347
inline int String.truth(String string)no binding foundnone foundsyntaxadvanced/apilib/common.x:402
int String.try_double(String str, double *out)no binding foundnone foundpointeradvanced/apilib/string-number.x:89
int String.try_long(String str, long *out)no binding foundnone foundpointeradvanced/apilib/string-number.x:39
int String.try_next(String str, int *cursor, int *out)no binding foundnone foundpointerprimary/apilib/string.x:1422
int String.try_own(String str)no binding foundnone foundownership, internalinternal/apilib/string.x:131
String String.unescape(String str)bound, unverifiedetc/comptime.xlisp:205bindingprimary/apilib/string.x:1235
String String.upper(String str)bound, unverifiedetc/comptime.xlisp:185bindingprimary/apilib/string.x:709
inline Var String.var(String x)bound, unverifiedetc/comptime.xlisp:225bindingadvanced/apilib/common.x:541
String String.withindex(String str, int index, char value)no binding foundnone foundbindingprimary/apilib/string.x:630
Split String.words(String str)no binding foundnone foundresourceprimary/apilib/split.x:190
Buffer String.write_repr(String str, Buffer out)no binding foundnone foundresourceadvanced/apilib/string.x:1308
Buffer String.write_str(String str, Buffer out)no binding foundnone foundresourceprimary/apilib/string.x:1300

Evaluated cases

  • String.len: nonempty text; returned 3.
  • String.strip: default whitespace through NULL; note: reason: the compile-time form reads a table no unit initializer writes, so the two forms answer differently.
  • String.strip: explicit character set; returned 1.

List

verified example: car, cdr, cons.

reproduced failure: foldl.

bound, unverified: append, array, assoc, contains, equal, filter, get, getindex, index, last, len, map, match, reverse, search, search_replace, sort, try_next, var.

no binding found: all, any, caaaar, caaadr, caaar, caadar, caaddr, caadr, caar, cadaar, cadadr, cadar, caddar, cadddr, caddr, cadr, cdaaar, cdaadr, cdaar, cdadar, cdaddr, cdadr, cdar, cddaar, cddadr, cddar, cdddar, cddddr, cdddr, cddr, compare, concat_n, cons_in, find, flatten, flatten_all, getslice, hash, head, iter, job, list_n, listchar, listdbl, listfloat, listint, listshort, liststring, listsymbol, map2, match_replace, nth_cdr, promote, replace, repr, sort_by, sort_with, str, sublis, subseq, tail, truth, try_match, try_match_replace, try_own, try_search, unique, unpack_n, unpack_vars_n, write_repr, write_str, zip_with.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
int List.all(List lst, Func pred)no binding foundnone foundcallbackprimary/apilib/list.x:407
int List.any(List lst, Func pred)no binding foundnone foundcallbackprimary/apilib/list.x:392
Self List.append(Self a, Self b)bound, unverifiedetc/builtin-macros.xlisp:18bindingprimary/apilib/list.x:223
Array List.array(List lst)bound, unverifiedetc/comptime.xlisp:79bindingprimary/apilib/list.x:497
Var List.assoc(List list, Var key)bound, unverifiedetc/comptime.xlisp:71bindingadvanced/apilib/list.x:649
inline Var List.caaaar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:33
inline Var List.caaadr(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:35
inline Var List.caaar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:18
inline Var List.caadar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:37
inline Var List.caaddr(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:39
inline Var List.caadr(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:20
inline Var List.caar(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:187
inline Var List.cadaar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:41
inline Var List.cadadr(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:43
inline Var List.cadar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:22
inline Var List.caddar(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:45
inline Var List.cadddr(List value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:47
inline Var List.caddr(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:193
inline Var List.cadr(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:189
inline Var List.car(List lst)verified exampleetc/init.xlisp:92bindingadvanced/apilib/list.x:180
inline Self List.cdaaar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:49
inline Self List.cdaadr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:51
inline Self List.cdaar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:24
inline Self List.cdadar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:53
inline Self List.cdaddr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:55
inline Self List.cdadr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:26
inline Self List.cdar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:16
inline Self List.cddaar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:57
inline Self List.cddadr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:59
inline Self List.cddar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:28
inline Self List.cdddar(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:61
inline Self List.cddddr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:63
inline Self List.cdddr(Self value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:30
inline Self List.cddr(Self lst)no binding foundnone foundbindingadvanced/apilib/list.x:191
inline Self List.cdr(Self lst)verified exampleetc/init.xlisp:93bindingadvanced/apilib/list.x:182
int List.compare(List a, List b)no binding foundnone foundbindingadvanced/apilib/list.x:840
List List.concat_n(unsigned list_count, ...)no binding foundnone foundpointerprimary/apilib/list.x:255
List List.cons(Var head, List tail)verified exampleetc/comptime.xlisp:57bindingadvanced/apilib/list.x:166
List List.cons_in(Pool pool, Var head, List tail)no binding foundnone foundownership, resourceadvanced/apilib/list.x:49
int List.contains(List lst, Var key)bound, unverifiedetc/comptime.xlisp:84bindingprimary/apilib/list.x:315
int List.equal(List a, List b)bound, unverifiedetc/comptime.xlisp:83bindingadvanced/apilib/list.x:831
Self List.filter(Self lst, Func pred)bound, unverifiedetc/comptime.xlisp:86callbackprimary/apilib/list.x:1023
Var List.find(List lst, Func pred)no binding foundnone foundcallbackprimary/apilib/list.x:377
Self List.flatten(Self lst)no binding foundnone foundbindingadvanced/apilib/list.x:584
Self List.flatten_all(Self lst)no binding foundnone foundbindingadvanced/apilib/list.x:608
Var List.foldl(List lst, Var seed, Func fn)reproduced failurenone foundcallbackprimary/apilib/list.x:353
Var List.get(List list, Var key)bound, unverifiedetc/comptime.xlisp:75bindingprimary/apilib/list.x:663
Var List.getindex(List list, int index)bound, unverifiedetc/comptime.xlisp:64bindingprimary/apilib/list.x:626
Self List.getslice(Self list, int start, int stop, int step)no binding foundnone foundbindingprimary/apilib/list.x:736
unsigned List.hash(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:814
Self List.head(Self list, unsigned count)no binding foundnone foundbindingprimary/apilib/list.x:696
int List.index(List l, Var key)bound, unverifiedetc/comptime.xlisp:60bindingprimary/apilib/list.x:309
Iter List.iter(List lst, Iter dest)no binding foundnone foundresourceprimary/apilib/list.x:999
Job List.job(List command)no binding foundnone foundresourceprimary/optionallib/process.x:338
Var List.last(List lst)bound, unverifiedetc/comptime.xlisp:70bindingprimary/apilib/list.x:301
int List.len(List lst)bound, unverifiedetc/comptime.xlisp:58bindingprimary/apilib/list.x:318
List List.list_n(unsigned element_count, ...)no binding foundnone foundpointerprimary/apilib/list.x:279
ListChar List.listchar(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:97
ListDbl List.listdbl(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:113
ListFloat List.listfloat(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:109
ListInt List.listint(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:105
ListShort List.listshort(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:101
ListString List.liststring(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:117
ListSymbol List.listsymbol(List xs)no binding foundnone foundresourceprimary/optionallib/typed-list.x:121
List List.map(List lst, Func fn)bound, unverifiedetc/comptime.xlisp:85callbackprimary/apilib/list.x:333
List List.map2(List a, List b, Func fn)no binding foundnone foundcallbackprimary/apilib/list.x:549
List List.match(List input, Var pat)bound, unverifiedetc/comptime.xlisp:81bindingadvanced/apilib/match.x:724
List List.match_replace(List input, Var pat, Var template)no binding foundnone foundbindingadvanced/apilib/match.x:823
Self List.nth_cdr(Self list, int n)no binding foundnone foundbindingadvanced/apilib/list.x:618
Self List.promote(Self lst)no binding foundnone foundownershipadvanced/apilib/list.x:120
List List.replace(List template, List bindings)no binding foundnone foundbindingprimary/apilib/match.x:759
String List.repr(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:958
Self List.reverse(Self lst)bound, unverifiedetc/comptime.xlisp:59bindingprimary/apilib/list.x:292
List List.search(List input, Var pat)bound, unverifiedetc/comptime.xlisp:82bindingprimary/apilib/match.x:994
List List.search_replace(List input, Var pat, Var template)bound, unverifiedetc/init.xlisp:106bindingprimary/apilib/match.x:1019
Self List.sort(Self lst)bound, unverifiedetc/comptime.xlisp:80bindingprimary/apilib/list.x:424
Self List.sort_by(Self lst, Func key)no binding foundnone foundcallbackprimary/apilib/list.x:449
Self List.sort_with(Self lst, Func compare)no binding foundnone foundcallbackprimary/apilib/list.x:436
String List.str(List lst)no binding foundnone foundbindingadvanced/apilib/list.x:930
List List.sublis(List alist, List tree)no binding foundnone foundbindingadvanced/apilib/list.x:573
Self List.subseq(Self list, int start, int stop, int step)no binding foundnone foundbindingadvanced/apilib/list.x:722
Self List.tail(Self list, unsigned count)no binding foundnone foundbindingprimary/apilib/list.x:676
inline int List.truth(List list)no binding foundnone foundsyntaxadvanced/apilib/common.x:398
int List.try_match(List input, Var pat, List *out_bindings)no binding foundnone foundpointerprimary/apilib/match.x:717
int List.try_match_replace(List input, Var pat, Var template, Var *out)no binding foundnone foundpointerprimary/apilib/match.x:813
int List.try_next(List lst, List *cursor, Var *out)bound, unverifiedetc/comptime.xlisp:92pointerprimary/apilib/list.x:987
int List.try_own(List lst)no binding foundnone foundownership, internalinternal/apilib/list.x:145
int List.try_search(List input, Var pat, Var *out_match, List *out_bindings)no binding foundnone foundpointerprimary/apilib/match.x:1007
Self List.unique(Self lst)no binding foundnone foundbindingprimary/apilib/list.x:512
int List.unpack_n(List src, unsigned destination_count, ...)no binding foundnone foundpointerprimary/apilib/list.x:780
int List.unpack_vars_n(List src, unsigned destination_count, ...)no binding foundnone foundpointerprimary/apilib/list.x:795
inline Var List.var(List x)bound, unverifiedetc/init.xlisp:109bindingadvanced/apilib/common.x:534
Buffer List.write_repr(List lst, Buffer out)no binding foundnone foundresourceadvanced/apilib/list.x:965
Buffer List.write_str(List lst, Buffer out)no binding foundnone foundresourceprimary/apilib/list.x:942
List List.zip_with(List a, List b, Func fn)no binding foundnone foundcallbackprimary/apilib/list.x:528

Evaluated cases

  • List.car: first element; returned 7.
  • List.cdr: tail; returned 1.
  • List.cons: prepend; returned 2.
  • List.foldl: ordered fold with explicit seed; note: reason: no binding for List_foldl.

Array

verified example: map, push.

reproduced failure: truth.

bound, unverified: contains, count, find, getindex, insert, join, len, list, new, remove, setindex, shift, take_last, try_next, unshift, var.

no binding found: arraychar, arraydbl, arrayfloat, arrayint, arraylong, arrayshort, arraystring, block, capacity, cleanup, clear, compare, concat, copy, equal, foldl, free, getslice, heap_pop, heap_push, heapify, indexof, iter, list_free, map2, pop, postfixindex, remslice, repr, resize, reverse, setslice, sort, sort_by, sort_with, splice, str, truncate, update_n, updateindex, write_repr, write_str.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
ArrayChar Array.arraychar(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:111
ArrayDbl Array.arraydbl(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:156
ArrayFloat Array.arrayfloat(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:147
ArrayInt Array.arrayint(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:129
ArrayLong Array.arraylong(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:138
ArrayShort Array.arrayshort(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:120
ArrayString Array.arraystring(Array values)no binding foundnone foundresourceprimary/optionallib/typed-array.x:165
inline Block Array.block(Array x)no binding foundnone foundresource, internalinternal/apilib/array.x:56
size_t Array.capacity(Array)no binding foundnone foundbindingunclassified generated/apilib/array.x (interface)
void Array.cleanup(Array value)no binding foundnone foundownershipadvanced/apilib/array.x:824
void Array.clear(Array)no binding foundnone foundbindingunclassified generated/apilib/array.x (interface)
int Array.compare(Array a, Array b)no binding foundnone foundbindingadvanced/apilib/array.x:518
Self Array.concat(Self a, Self b)no binding foundnone foundbindingprimary/apilib/array.x:433
int Array.contains(Array array, Var value)bound, unverifiedetc/comptime.xlisp:135bindingprimary/apilib/array.x:416
Self Array.copy(Self array)no binding foundnone foundbindingprimary/apilib/array.x:311
int Array.count(Array array, Var value)bound, unverifiedetc/comptime.xlisp:136bindingprimary/apilib/array.x:419
int Array.equal(Array a, Array b)no binding foundnone foundbindingadvanced/apilib/array.x:732
int Array.find(Array array, Var value)bound, unverifiedetc/comptime.xlisp:134bindingprimary/apilib/array.x:405
Var Array.foldl(Array array, Var seed, Func fn)no binding foundnone foundcallbackprimary/apilib/array.x:498
void Array.free(Array)no binding foundnone foundownershipunclassified generated/apilib/array.x (interface)
Var Array.getindex(Array array, int index)bound, unverifiedetc/comptime.xlisp:125bindingprimary/apilib/array.x:128
Self Array.getslice(Self array, int start, int end, int step)no binding foundnone foundbindingprimary/apilib/array.x:336
Var Array.heap_pop(Array heap)no binding foundnone foundbindingadvanced/apilib/array.x:685
void Array.heap_push(Array heap, Var val)no binding foundnone foundbindingadvanced/apilib/array.x:671
void Array.heapify(Array heap)no binding foundnone foundbindingadvanced/apilib/array.x:704
int Array.indexof(Array array, Var value)no binding foundnone foundbindingprimary/apilib/array.x:425
Var Array.insert(Array array, int index, Var elem)bound, unverifiedetc/comptime.xlisp:152bindingprimary/apilib/array.x:278
Iter Array.iter(Array x, Iter dest)no binding foundnone foundresourceprimary/apilib/array.x:810
String Array.join(Array array, String separator)bound, unverifiedetc/comptime.xlisp:133bindingprimary/apilib/array.x:719
size_t Array.len(Array)bound, unverifiedetc/comptime.xlisp:117bindingunclassified generated/apilib/array.x (interface)
List Array.list(Array arr)bound, unverifiedetc/comptime.xlisp:131bindingprimary/apilib/list.x:463
List Array.list_free(Array arr)no binding foundnone foundownershipprimary/apilib/list.x:472
Array Array.map(Array array, Func func)verified exampleetc/comptime.xlisp:132callbackprimary/apilib/array.x:459
Array Array.map2(Array a, Array b, Func func)no binding foundnone foundcallbackprimary/apilib/array.x:476
Array Array.new(void)bound, unverifiedetc/comptime.xlisp:116bindingprimary/apilib/array.x:64
void Array.pop(Array)no binding foundnone foundbindingunclassified generated/apilib/array.x (interface)
Var Array.postfixindex(Array array, int index, Symbol op)no binding foundnone foundsyntaxprimary/apilib/array.x:188
Var Array.push(Array array, Var elem)verified exampleetc/comptime.xlisp:118bindingprimary/apilib/array.x:213
Var Array.remove(Array array, int index)bound, unverifiedetc/comptime.xlisp:146bindingprimary/apilib/array.x:296
Self Array.remslice(Self array, int start, int end)no binding foundnone foundbindingadvanced/apilib/array.x:375
String Array.repr(Array array)no binding foundnone foundbindingadvanced/apilib/array.x:761
void Array.resize(Array arr, size_t size)no binding foundnone foundbindingprimary/apilib/array.x:71
Self Array.reverse(Self array)no binding foundnone foundbindingprimary/apilib/array.x:448
Var Array.setindex(Array array, int index, Var elem)bound, unverifiedetc/comptime.xlisp:128bindingprimary/apilib/array.x:148
Self Array.setslice(Self array, int start, int end, Self values)no binding foundnone foundbindingprimary/apilib/array.x:365
Var Array.shift(Array array)bound, unverifiedetc/comptime.xlisp:145bindingprimary/apilib/array.x:243
Self Array.sort(Self array)no binding foundnone foundbindingprimary/apilib/array.x:539
Self Array.sort_by(Self array, Func key)no binding foundnone foundcallbackprimary/apilib/array.x:605
Self Array.sort_with(Self array, Func compare)no binding foundnone foundcallbackprimary/apilib/array.x:560
Self Array.splice(Self array, int index, int remove_count, Self values)no binding foundnone foundbindingprimary/apilib/array.x:391
String Array.str(Array array)no binding foundnone foundbindingadvanced/apilib/array.x:744
Var Array.take_last(Array array)bound, unverifiedetc/comptime.xlisp:144bindingprimary/apilib/array.x:229
void Array.truncate(Array, size_t)no binding foundnone foundbindingunclassified generated/apilib/array.x (interface)
int Array.truth(Array)reproduced failurenone foundsyntaxunclassified generated/apilib/array.x (interface)
int Array.try_next(Array array, int *cursor, Var *out)bound, unverifiedetc/comptime.xlisp:97pointerprimary/apilib/array.x:786
Var Array.unshift(Array array, Var elem)bound, unverifiedetc/comptime.xlisp:139bindingprimary/apilib/array.x:256
Self Array.update_n(Self array, unsigned element_count, ...)no binding foundnone foundpointeradvanced/apilib/array.x:95
Var Array.updateindex(Array array, int index, Symbol op, Var rhs)no binding foundnone foundsyntaxprimary/apilib/array.x:168
inline Var Array.var(Array x)bound, unverifiedetc/comptime.xlisp:227bindingadvanced/apilib/common.x:526
Buffer Array.write_repr(Array a, Buffer out)no binding foundnone foundresourceadvanced/apilib/array.x:735
Buffer Array.write_str(Array a, Buffer out)no binding foundnone foundresourceprimary/apilib/array.x:741

Evaluated cases

  • Array.map: interpreted callback; returned 3.
  • Array.push: append and read; returned 7.
  • Array.truth: explicit empty-array method; note: reason: no binding for Array_truth.

Map

verified example: setindex.

reproduced failure: keys.

bound, unverified: contains, del, get, getdefault, getindex, len, list, new, setdefault, try_next, var.

no binding found: cleanup, compare, copy, enumerate, equal, export_to, get_hashed, iter, mapintint, maplongdouble, mapstringint, mapstringstring, merge, new_capacity, postfixindex, repr, set, str, truth, try_del, try_get, update_n, updateindex, write_repr, write_str.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
void Map.cleanup(Map value)no binding foundnone foundownershipprimary/apilib/map.x:722
int Map.compare(Map a, Map b)no binding foundnone foundbindingadvanced/apilib/map.x:565
int Map.contains(Map m, Var key)bound, unverifiedetc/comptime.xlisp:174bindingprimary/apilib/map.x:284
Self Map.copy(Self map)no binding foundnone foundbindingprimary/apilib/map.x:445
Var Map.del(Map map, Var key)bound, unverifiedetc/comptime.xlisp:176bindingcompatibility/apilib/map.x:405
Iter Map.enumerate(Map x, Iter dest)no binding foundnone foundresourceprimary/apilib/map.x:648
int Map.equal(Map map1, Map map2)no binding foundnone foundbindingadvanced/apilib/map.x:663
void Map.export_to( Map map, Context source, VarExportContextFn export_value, Scope *scope)no binding foundnone foundownership, resource, pointer, internalinternal/apilib/map.x:464
Var Map.get(Map map, Var key)bound, unverifiedetc/comptime.xlisp:169bindingcompatibility/apilib/map.x:204
Var Map.get_hashed(Map map, Var key, unsigned key_hash)no binding foundnone foundbindingprimary/apilib/map.x:234
Var Map.getdefault(Map map, Var key, Var defval)bound, unverifiedetc/comptime.xlisp:177bindingprimary/apilib/map.x:247
Var Map.getindex(Map map, Var key)bound, unverifiedetc/comptime.xlisp:172bindingcompatibility/apilib/map.x:223
Iter Map.iter(Map x, Iter dest)no binding foundnone foundresourceprimary/apilib/map.x:613
Iter Map.keys(Map x, Iter dest)reproduced failurenone foundresourceprimary/apilib/map.x:628
unsigned Map.len(Map map)bound, unverifiedetc/comptime.xlisp:168bindingprimary/apilib/map.x:148
List Map.list(Map map)bound, unverifiedetc/comptime.xlisp:179bindingprimary/apilib/list.x:484
MapIntInt Map.mapintint(Map entries)no binding foundnone foundresourceprimary/optionallib/typed-map.x:280
MapLongDouble Map.maplongdouble(Map entries)no binding foundnone foundresourceprimary/optionallib/typed-map.x:300
MapStringInt Map.mapstringint(Map entries)no binding foundnone foundresourceprimary/optionallib/typed-map.x:358
MapStringString Map.mapstringstring(Map entries)no binding foundnone foundresourceprimary/optionallib/typed-map.x:321
Self Map.merge(Self map, Self other)no binding foundnone foundbindingprimary/apilib/map.x:512
Map Map.new(void)bound, unverifiedetc/comptime.xlisp:167bindingprimary/apilib/map.x:139
Map Map.new_capacity(unsigned capacity)no binding foundnone foundinternalinternal/apilib/map.x:114
Var Map.postfixindex(Map map, Var key, Symbol op)no binding foundnone foundsyntaxprimary/apilib/map.x:375
String Map.repr(Map map)no binding foundnone foundbindingadvanced/apilib/map.x:715
void Map.set(Map map, Var key, Var val)no binding foundnone foundbindingprimary/apilib/map.x:316
Var Map.setdefault(Map map, Var key, Var defval)bound, unverifiedetc/comptime.xlisp:178bindingprimary/apilib/map.x:268
Var Map.setindex(Map map, Var key, Var val)verified exampleetc/comptime.xlisp:173bindingprimary/apilib/map.x:328
String Map.str(Map map)no binding foundnone foundbindingadvanced/apilib/map.x:695
int Map.truth(Map map)no binding foundnone foundsyntaxprimary/apilib/map.x:550
int Map.try_del(Map map, Var key, Var *out)no binding foundnone foundpointerprimary/apilib/map.x:395
int Map.try_get(Map map, Var key, Var *out)no binding foundnone foundpointerprimary/apilib/map.x:178
int Map.try_next(Map map, unsigned *cursor, Var *key, Var *val)bound, unverifiedetc/comptime.xlisp:107pointerprimary/apilib/map.x:544
Self Map.update_n(Self map, unsigned pair_count, ...)no binding foundnone foundpointeradvanced/apilib/map.x:418
Var Map.updateindex(Map map, Var key, Symbol op, Var rhs)no binding foundnone foundsyntaxprimary/apilib/map.x:351
inline Var Map.var(Map x)bound, unverifiedetc/comptime.xlisp:228bindingadvanced/apilib/common.x:539
Buffer Map.write_repr(Map map, Buffer out)no binding foundnone foundresourceadvanced/apilib/map.x:672
Buffer Map.write_str(Map map, Buffer out)no binding foundnone foundresourceprimary/apilib/map.x:682

Evaluated cases

  • Map.keys: one key through iterator; note: reason: a struct or union, which has no compile-time representation.
  • Map.setindex: store and read; returned 7.

Symbol

verified example: len.

bound, unverified: str, var.

no binding found: compare, decode, first, last, new, new_len, parse, repr, try_new, write_repr, write_str.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
int Symbol.compare(Symbol a, Symbol b)no binding foundnone foundbindingadvanced/apilib/symbol.x:174
void Symbol.decode(Symbol symbol, char *dest)no binding foundnone foundpointeradvanced/apilib/symbol.x:133
char Symbol.first(Symbol symbol)no binding foundnone foundbindingadvanced/apilib/symbol.x:235
char Symbol.last(Symbol symbol)no binding foundnone foundbindingprimary/apilib/symbol.x:246
int Symbol.len(Symbol symbol)verified exampleetc/comptime.xlisp:209bindingprimary/apilib/symbol.x:121
Symbol Symbol.new(const char *str)no binding foundnone foundpointerprimary/apilib/symbol.x:104
Symbol Symbol.new_len(const char *str, int len)no binding foundnone foundpointeradvanced/apilib/symbol.x:78
Symbol Symbol.parse(char *text)no binding foundnone foundpointeradvanced/apilib/symbol.x:260
String Symbol.repr(Symbol symbol)no binding foundnone foundbindingadvanced/apilib/symbol.x:194
String Symbol.str(Symbol symbol)bound, unverifiedetc/comptime.xlisp:210bindingadvanced/apilib/symbol.x:162
int Symbol.try_new(String spelling, Symbol *out)no binding foundnone foundpointerprimary/apilib/symbol.x:112
inline Var Symbol.var(Symbol x)bound, unverifiedetc/comptime.xlisp:224bindingadvanced/apilib/common.x:544
Buffer Symbol.write_repr(Symbol symbol, Buffer out)no binding foundnone foundresourceadvanced/apilib/symbol.x:217
Buffer Symbol.write_str(Symbol symbol, Buffer out)no binding foundnone foundresourceprimary/apilib/symbol.x:205

Evaluated cases

  • Symbol.len: short symbol; returned 3.

Var

verified example: binary, cons.

reproduced failure: array.

bound, unverified: car, cdr, convert, equal, floating, integer, is, list, parse, repr, str, tag.

no binding found: add, adnode, arraychar, arraydbl, arrayfloat, arrayint, arraylong, arrayshort, arraystring, as_iter, block, box_f32, box_f64, box_i16, box_i32_bits, box_i8, box_long, box_long_double, box_long_long, box_u16, box_u32, box_u8, box_ulong, box_ulong_long, buffer, bytes, caaaar, caaadr, caaar, caadar, caaddr, caadr, caar, cadaar, cadadr, cadar, caddar, cadddr, caddr, cadr, cdaaar, cdaadr, cdaar, cdadar, cdaddr, cdadr, cdar, cddaar, cddadr, cddar, cdddar, cddddr, cdddr, cddr, char, clone_wide, compare, contains, custom_descriptor_index, decode_f32, decode_f64, dispatch_truth, div, double, encoding_valid, fallback_compare, fallback_equal, fallback_hash, fallback_iter, fallback_repr, fallback_str, fallback_truth, fallback_write_repr, fallback_write_str, file, float, getindex, hash, int, integer_box, integer_compare, integer_floating_compare, integer_tag, is_atom, is_atom_binder, is_binder, is_floating, is_integer, is_list_binder, is_match_op, is_nil, is_null, is_object, is_pointer, is_reference, is_row, is_void, is_wide, iter, job, json, jsonbool, kind, known_tag, listchar, listdbl, listfloat, listint, listshort, liststring, listsymbol, long, long_double, long_double_value, long_long, long_long_value, long_value, map, mapintint, maplongdouble, mapstringint, mapstringstring, matmul, mod, move_wide_to, mul, neg, new, null, numeric_decode, numeric_info, payload32, pointer, pointer_string, postfix, postfixindex, pretty_json, regex, regexcapture, regexmatch, register_object_tag, same, setindex, short, signed_from_bits, string, sub, symbol, token, truth, try_dispatch_binary, try_dispatch_unary, try_export_context, uchar, uint, ulong, ulong_long, ulong_long_value, ulong_value, unsigned, update, updateindex, ushort, wide_compare, wide_equal, wide_hash, wide_owner, width_mask, write_pointer_repr, write_repr, write_str.

Direct callableStateBinding provenanceConsiderationsTier/moduleSource
Var Var.add(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:400
AdNode Var.adnode(Var value)no binding foundnone foundresourceprimary/optionallib/autodiff.x:43
inline Array Var.array(Var value)reproduced failurenone foundbindingadvanced/apilib/common.x:615
inline ArrayChar Var.arraychar(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:111
inline ArrayDbl Var.arraydbl(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:156
inline ArrayFloat Var.arrayfloat(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:147
inline ArrayInt Var.arrayint(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:129
inline ArrayLong Var.arraylong(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:138
inline ArrayShort Var.arrayshort(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:120
inline ArrayString Var.arraystring(Var value)no binding foundnone foundresourceprimary/optionallib/typed-array.x:165
inline Iter Var.as_iter(Var value)no binding foundnone foundresourceadvanced/apilib/common.x:620
Var Var.binary(Var lhs, Symbol op, Var rhs)verified exampleetc/init.xlisp:96syntaxprimary/apilib/varops.x:472
inline Block Var.block(Var value)no binding foundnone foundresourceadvanced/apilib/common.x:616
inline Var Var.box_f32(float value)no binding foundnone foundinternaladvanced/apilib/common.x:508
inline Var Var.box_f64(double value)no binding foundnone foundinternaladvanced/apilib/common.x:515
inline Var Var.box_i16(short value)no binding foundnone foundinternaladvanced/apilib/common.x:499
inline Var Var.box_i32_bits(unsigned value)no binding foundnone foundinternaladvanced/apilib/common.x:503
inline Var Var.box_i8(char value)no binding foundnone foundinternaladvanced/apilib/common.x:495
Var Var.box_long(long value)no binding foundnone foundinternaladvanced/apilib/var.x:478
Var Var.box_long_double(long double value)no binding foundnone foundinternaladvanced/apilib/var.x:530
Var Var.box_long_long(long long value)no binding foundnone foundinternaladvanced/apilib/var.x:504
inline Var Var.box_u16(ushort value)no binding foundnone foundinternaladvanced/apilib/common.x:501
inline Var Var.box_u32(unsigned value)no binding foundnone foundinternaladvanced/apilib/common.x:505
inline Var Var.box_u8(uchar value)no binding foundnone foundinternaladvanced/apilib/common.x:497
Var Var.box_ulong(unsigned long value)no binding foundnone foundinternaladvanced/apilib/var.x:493
Var Var.box_ulong_long(unsigned long long value)no binding foundnone foundinternaladvanced/apilib/var.x:515
inline Buffer Var.buffer(Var value)no binding foundnone foundresourceadvanced/apilib/common.x:617
inline Bytes Var.bytes(Var value)no binding foundnone foundresourceadvanced/apilib/common.x:618
inline Var Var.caaaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:83
inline Var Var.caaadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:85
inline Var Var.caaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:68
inline Var Var.caadar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:87
inline Var Var.caaddr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:89
inline Var Var.caadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:70
inline Var Var.caar(Var var)no binding foundnone foundbindingadvanced/apilib/list.x:200
inline Var Var.cadaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:91
inline Var Var.cadadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:93
inline Var Var.cadar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:72
inline Var Var.caddar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:95
inline Var Var.cadddr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:97
inline Var Var.caddr(Var var)no binding foundnone foundbindingadvanced/apilib/list.x:206
inline Var Var.cadr(Var var)no binding foundnone foundbindingadvanced/apilib/list.x:202
Var Var.car(Var var)bound, unverifiedetc/init.xlisp:94bindingadvanced/apilib/list.x:196
inline List Var.cdaaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:99
inline List Var.cdaadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:101
inline List Var.cdaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:74
inline List Var.cdadar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:103
inline List Var.cdaddr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:105
inline List Var.cdadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:76
inline List Var.cdar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:66
inline List Var.cddaar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:107
inline List Var.cddadr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:109
inline List Var.cddar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:78
inline List Var.cdddar(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:111
inline List Var.cddddr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:113
inline List Var.cdddr(Var value)no binding foundnone foundbindingprimary/optionallib/list-selectors.x:80
inline List Var.cddr(Var var)no binding foundnone foundbindingadvanced/apilib/list.x:204
List Var.cdr(Var var)bound, unverifiedetc/init.xlisp:95bindingadvanced/apilib/list.x:198
char Var.char(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:642
Var Var.clone_wide(Var value)no binding foundnone foundinternalinternal/apilib/var.x:542
int Var.compare(Var a, Var b)no binding foundnone foundbindingadvanced/apilib/dispatch.x:890
List Var.cons(Var head, List tail)verified exampleetc/init.xlisp:91bindingadvanced/apilib/list.x:168
int Var.contains(Var value, Var needle)no binding foundnone foundbindingprimary/apilib/dispatch.x:368
Var Var.convert(Var value, Symbol target)bound, unverifiedetc/comptime.xlisp:213bindingprimary/apilib/varconvert.x:273
int Var.custom_descriptor_index(Var value)no binding foundnone foundinternalinternal/apilib/var.x:216
inline float Var.decode_f32(Var value)no binding foundnone foundinternaladvanced/apilib/common.x:462
inline double Var.decode_f64(Var value)no binding foundnone foundinternaladvanced/apilib/common.x:470
int Var.dispatch_truth(Var value, int *handled)no binding foundnone foundpointeradvanced/apilib/dispatch.x:47
Var Var.div(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:426
double Var.double(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:771
int Var.encoding_valid(Var value)no binding foundnone foundinternaladvanced/apilib/var.x:231
int Var.equal(Var a, Var b)bound, unverifiedetc/comptime.xlisp:217bindingadvanced/apilib/dispatch.x:762
int Var.fallback_compare(Var a, Var b)no binding foundnone foundinternalprimary/apilib/dispatch.x:869
int Var.fallback_equal(Var a, Var b)no binding foundnone foundinternalprimary/apilib/dispatch.x:719
unsigned Var.fallback_hash(Var v)no binding foundnone foundinternalprimary/apilib/dispatch.x:729
Iter Var.fallback_iter(Var x, Iter dest)no binding foundnone foundresource, internalprimary/apilib/dispatch.x:921
String Var.fallback_repr(Var v)no binding foundnone foundinternalprimary/apilib/dispatch.x:594
String Var.fallback_str(Var v)no binding foundnone foundinternalprimary/apilib/dispatch.x:525
int Var.fallback_truth(Var value)no binding foundnone foundinternalprimary/apilib/varops.x:323
Buffer Var.fallback_write_repr(Var v, Buffer out)no binding foundnone foundresource, internalprimary/apilib/dispatch.x:684
Buffer Var.fallback_write_str(Var v, Buffer out)no binding foundnone foundresource, internalprimary/apilib/dispatch.x:562
inline File Var.file(Var value)no binding foundnone foundresourceadvanced/apilib/common.x:619
float Var.float(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:762
double Var.floating(Var v)bound, unverifiedetc/comptime.xlisp:215bindingadvanced/apilib/var.x:714
Var Var.getindex(Var value, Var key)no binding foundnone foundbindingprimary/apilib/dispatch.x:383
unsigned Var.hash(Var v)no binding foundnone foundbindingadvanced/apilib/dispatch.x:738
int Var.int(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:678
long Var.integer(Var v)bound, unverifiedetc/comptime.xlisp:214bindingadvanced/apilib/var.x:759
Var Var.integer_box(Symbol target, unsigned long long raw)no binding foundnone foundinternaladvanced/apilib/varconvert.x:99
int Var.integer_compare(Var a, Var b)no binding foundnone foundbindingadvanced/apilib/var.x:939
int Var.integer_floating_compare(Var integer, Var floating)no binding foundnone foundbindingadvanced/apilib/var.x:967
Symbol Var.integer_tag(int rank, int unsigned_value)no binding foundnone foundinternaladvanced/apilib/varconvert.x:41
int Var.is(Var var, Symbol tag)bound, unverifiedetc/comptime.xlisp:216bindingprimary/apilib/var.x:296
int Var.is_atom(Var value)no binding foundnone foundbindingprimary/apilib/atom.x:92
int Var.is_atom_binder(Var atom)no binding foundnone foundbindingadvanced/apilib/match.x:378
int Var.is_binder(Var atom)no binding foundnone foundbindingadvanced/apilib/match.x:388
int Var.is_floating(Var v)no binding foundnone foundbindingprimary/apilib/var.x:321
int Var.is_integer(Var v)no binding foundnone foundbindingprimary/apilib/var.x:329
int Var.is_list_binder(Var atom)no binding foundnone foundbindingadvanced/apilib/match.x:383
int Var.is_match_op(Var atom)no binding foundnone foundbindingadvanced/apilib/match.x:391
int Var.is_nil(Var v)no binding foundnone foundbindingprimary/apilib/var.x:393
int Var.is_null(Var v)no binding foundnone foundbindingprimary/apilib/var.x:376
int Var.is_object(Var v)no binding foundnone foundbindingprimary/apilib/var.x:343
int Var.is_pointer(Var v)no binding foundnone foundinternalprimary/apilib/var.x:332
int Var.is_reference(Var v)no binding foundnone foundbindingprimary/apilib/var.x:334
inline int Var.is_row( Var value, unsigned top, unsigned long mask, unsigned long bottom)no binding foundnone foundinternaladvanced/apilib/common.x:611
int Var.is_void(Var v)no binding foundnone foundbindingprimary/apilib/var.x:365
inline int Var.is_wide(Var v)no binding foundnone foundbindingadvanced/apilib/common.x:453
Iter Var.iter(Var x, Iter dest)no binding foundnone foundresourceprimary/apilib/dispatch.x:931
Job Var.job(Var)no binding foundnone foundresourceunclassified generated/optionallib/process.x (interface)
String Var.json(Var value)no binding foundnone foundbindingprimary/optionallib/json.x:560
JsonBool Var.jsonbool(Var value)no binding foundnone foundresourceprimary/optionallib/json.x:57
Symbol Var.kind(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:309
int Var.known_tag(Symbol tag)no binding foundnone foundinternaladvanced/apilib/var.x:61
inline List Var.list(Var value)bound, unverifiedetc/comptime.xlisp:226bindingadvanced/apilib/common.x:621
ListChar Var.listchar(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:97
ListDbl Var.listdbl(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:113
ListFloat Var.listfloat(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:109
ListInt Var.listint(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:105
ListShort Var.listshort(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:101
ListString Var.liststring(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:117
ListSymbol Var.listsymbol(Var value)no binding foundnone foundresourceprimary/optionallib/typed-list.x:121
long Var.long(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:705
long double Var.long_double(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:752
long double Var.long_double_value(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:831
long long Var.long_long(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:728
long long Var.long_long_value(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:817
long Var.long_value(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:802
inline Map Var.map(Var value)no binding foundnone foundbindingadvanced/apilib/common.x:622
MapIntInt Var.mapintint(Var value)no binding foundnone foundresourceprimary/optionallib/typed-map.x:289
MapLongDouble Var.maplongdouble(Var value)no binding foundnone foundresourceprimary/optionallib/typed-map.x:309
MapStringInt Var.mapstringint(Var value)no binding foundnone foundresourceprimary/optionallib/typed-map.x:383
MapStringString Var.mapstringstring(Var value)no binding foundnone foundresourceprimary/optionallib/typed-map.x:346
Var Var.matmul(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:418
Var Var.mod(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:433
Self Var.move_wide_to(Self value, Scope *scope)no binding foundnone foundownership, resource, pointer, internalinternal/apilib/var.x:567
Var Var.mul(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:412
Var Var.neg(Var value)no binding foundnone foundsyntaxprimary/apilib/varops.x:442
Var Var.new(Symbol tag, ...)no binding foundnone foundpointerprimary/apilib/var.x:649
Var Var.null(void)no binding foundnone foundbindingprimary/apilib/var.x:381
void Var.numeric_decode(Var value, X2CVarNumeric *out)no binding foundnone foundpointer, internaladvanced/apilib/varconvert.x:79
int Var.numeric_info(Symbol tag, X2CVarNumericInfo *out)no binding foundnone foundpointer, internaladvanced/apilib/varconvert.x:147
Var Var.parse(String str, Symbol kind)bound, unverifiedetc/comptime.xlisp:212bindingadvanced/apilib/var.x:1068
inline unsigned Var.payload32(Var value)no binding foundnone foundinternaladvanced/apilib/common.x:459
void *Var.pointer(Var v)no binding foundnone foundpointer, internaladvanced/apilib/var.x:1022
String Var.pointer_string(Var v)no binding foundnone foundinternaladvanced/apilib/dispatch.x:211
Var Var.postfix(Var *lhs, Symbol op)no binding foundnone foundpointer, syntaxprimary/apilib/varops.x:560
Var Var.postfixindex(Var value, Var key, Symbol op)no binding foundnone foundsyntaxprimary/apilib/dispatch.x:432
String Var.pretty_json(Var value)no binding foundnone foundbindingprimary/optionallib/json.x:565
Regex Var.regex(Var)no binding foundnone foundresourceunclassified generated/optionallib/regex.x (interface)
RegexCapture Var.regexcapture(Var value)no binding foundnone foundresourceprimary/optionallib/regex.x:745
RegexMatch Var.regexmatch(Var value)no binding foundnone foundresourceprimary/optionallib/regex.x:748
int Var.register_object_tag(Symbol tag)no binding foundnone foundownershipadvanced/apilib/var.x:240
String Var.repr(Var v)bound, unverifiedetc/comptime.xlisp:237bindingadvanced/apilib/dispatch.x:605
int Var.same(Var a, Var b)no binding foundnone foundbindingadvanced/apilib/dispatch.x:786
Var Var.setindex(Var value, Var key, Var replacement)no binding foundnone foundbindingprimary/apilib/dispatch.x:398
short Var.short(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:660
long long Var.signed_from_bits(unsigned long long raw, int bits)no binding foundnone foundinternaladvanced/apilib/varconvert.x:60
String Var.str(Var v)bound, unverifiedetc/init.xlisp:108bindingadvanced/apilib/dispatch.x:536
inline String Var.string(Var value)no binding foundnone foundbindingadvanced/apilib/common.x:623
Var Var.sub(Var lhs, Var rhs)no binding foundnone foundsyntaxprimary/apilib/varops.x:406
inline Symbol Var.symbol(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:628
Symbol Var.tag(Var v)bound, unverifiedetc/comptime.xlisp:211bindingadvanced/apilib/var.x:282
inline Token Var.token(Var x)no binding foundnone foundresource, internalprimary/internallib/tokenizer.x:36
int Var.truth(Var value)no binding foundnone foundsyntaxprimary/apilib/varops.x:360
int Var.try_dispatch_binary(Var lhs, Symbol member, Var rhs, Var *result)no binding foundnone foundpointer, internaladvanced/apilib/dispatch.x:63
int Var.try_dispatch_unary(Var value, Symbol member, Var *result)no binding foundnone foundpointer, internaladvanced/apilib/dispatch.x:88
int Var.try_export_context(Var value, Context source, Var *out)no binding foundnone foundresource, pointer, internalinternal/apilib/dispatch.x:944
uchar Var.uchar(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:651
uint Var.uint(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:687
ulong Var.ulong(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:717
unsigned long long Var.ulong_long(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:740
unsigned long long Var.ulong_long_value(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:821
unsigned long Var.ulong_value(Var v)no binding foundnone foundbindingadvanced/apilib/var.x:813
unsigned Var.unsigned(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:696
Var Var.update(Var *lhs, Symbol op, Var rhs)no binding foundnone foundpointer, syntaxprimary/apilib/varops.x:528
Var Var.updateindex(Var value, Var key, Symbol op, Var rhs)no binding foundnone foundsyntaxprimary/apilib/dispatch.x:416
ushort Var.ushort(Var x)no binding foundnone foundbindingadvanced/apilib/common.x:669
int Var.wide_compare(Var a, Var b)no binding foundnone foundinternaladvanced/apilib/var.x:991
int Var.wide_equal(Var a, Var b)no binding foundnone foundinternaladvanced/apilib/var.x:874
unsigned Var.wide_hash(Var v)no binding foundnone foundinternaladvanced/apilib/var.x:841
Scope Var.wide_owner(Var v)no binding foundnone foundownership, resource, internalinternal/apilib/var.x:574
unsigned long long Var.width_mask(int bits)no binding foundnone foundinternaladvanced/apilib/varconvert.x:53
Buffer Var.write_pointer_repr(Var v, Buffer out)no binding foundnone foundresource, internaladvanced/apilib/dispatch.x:218
Buffer Var.write_repr(Var v, Buffer out)no binding foundnone foundresourceadvanced/apilib/dispatch.x:697
Buffer Var.write_str(Var v, Buffer out)no binding foundnone foundresourceprimary/apilib/dispatch.x:581

Evaluated cases

  • Var.array: explicit Array conversion; note: reason: no binding for Var_array.
  • Var.binary: integer addition; returned 5.
  • Var.cons: prepend; returned 2.

Remaining evidence gaps

Unlisted argument combinations, every callback signature, native pointer interoperability, resource lifetimes and optional-module effects remain unverified. The fixed probes do not exercise file or process operations or transfer ownership of evaluator objects.