Searched refs:tgs_typed (Results 1 – 1 of 1) sorted by relevance
239 size_t tgs_typed; member1472 stats->tgs_typed++; in typegraph_stats_node()1587 typegraph_stat_perc("conjectured", stats.tgs_typed, n); in typegraph_stats()1590 stats.tgs_known + stats.tgs_typed + stats.tgs_frag, n); in typegraph_stats()2512 perc = ((stats.tgs_known + stats.tgs_typed + in typegraph()2520 stats.tgs_unmarked, stats.tgs_known, stats.tgs_typed, in typegraph()