Searched refs:singleton_true (Results 1 – 3 of 3) sorted by relevance
59 Type* singleton_true() const { return singleton_true_; } in singleton_true() function
987 if (type->Is(singleton_false())) return singleton_true(); in Invert()988 if (type->Is(singleton_true())) return singleton_false(); in Invert()1009 return singleton_true(); in FalsifyUndefined()
48 singleton_true_ = operation_typer_.singleton_true(); in Typer()