- v -

• var : standard.H
• VAR : std_cases_xsb_i.h, builtin.h
• var_addr : tries.h, tries.c
• var_addr_arraysz : tries.h, tries.c
• var_regs : tries.h, tr_code_xsb_i.h, tc_insts_xsb_i.h
• VarEnumerator : tries.c, trie_internals.h
• VarEnumerator_trail : tries.c
• VarEnumerator_trail_top : tries.c
• variant : subsumes.H
• variant_cont : trie_lookup.c
• varproc : tpinline.H, tp_eval.H
• VarStrOps : varstring_xsb.h, varstring.c
• verbo_time_message : auxlry.H
• verify_attribute_handler : machine.H
• VISIBLE : thread.d
• vprag_argno : varproc.H, tp_goal.H, inprog.H
• vprag_common : varproc.H, inprog.H
• vprag_context : varproc.H, tp_goal.H
• vprag_lastchunk : varproc.H, tp_goal.H
• vprag_level : varproc.H, tp_goal.H, inprog.H
• vprag_loc : varproc.H, tpinline.H, tp_var.H, tp_goal.H, tp_eval.H
• vprag_nouse : varproc.H, tp_var.H, tp_goal.H
• vprag_occ : varproc.H, tp_goal.H
• vprag_type : varproc.H, tp_var.H
• vprag_use : varproc.H, tp_var.H, tp_goal.H

---