Searched defs:mk_index_var (Results 1 – 2 of 2) sorted by relevance
83 void init_top_down() { in mk_index_sort()
82 var_ref mk_index_var() { in mk_index_var() function in datalog::bmc::qlinear