Lines Matching refs:tv
579 type_var_num (type_var_p tv)
581 return tpa_num_trees (tv);
588 type_var (type_var_p tv, int i)
590 return tpa_tree (tv, i);
597 type_var_first_partition (type_var_p tv, int i)
599 return tpa_first_partition (tv, i);
606 type_var_next_partition (type_var_p tv, int i)
608 return tpa_next_partition (tv, i);
615 type_var_dump (FILE *f, type_var_p tv)
618 tpa_dump (f, tv);
626 type_var_delete (type_var_p tv)
628 tpa_delete (tv);
635 type_var_remove_partition (type_var_p tv, int type_index, int partition_index)
637 tpa_remove_partition (tv, type_index, partition_index);
644 type_var_find (type_var_p tv, int i)
646 return tpa_find_tree (tv, i);
653 type_var_compact (type_var_p tv)
655 return tpa_compact (tv);
662 type_var_decompact (type_var_p tv)
664 tpa_decompact (tv);