- Sort Score
- Result 10 results
- Languages All
Results 1 - 2 of 2 for IsAll (0.03 sec)
-
src/go/types/termlist_test.go
"~int | myInt": false, "∅ | ∅ | 𝓤": true, "𝓤": true, "𝓤 | int": true, "myInt | 𝓤": true, } { xl := maketl(test) got := xl.isAll() if got != want { t.Errorf("(%v).isAll() == %v; want %v", test, got, want) } } } func TestTermlistNorm(t *testing.T) { for _, test := range []struct { xl, want string }{ {"∅", "∅"}, {"∅ | ∅", "∅"},
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Apr 03 18:48:38 UTC 2024 - 7.3K bytes - Viewed (0) -
src/go/types/termlist.go
// one iteration. for _, x := range xl { if x != nil { return false } } return true } // isAll reports whether the termlist xl represents the set of all types. func (xl termlist) isAll() bool { // If there's a 𝓤 term, the entire list is 𝓤. // If the termlist is in normal form, this requires at most // one iteration. for _, x := range xl {
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Wed Apr 03 18:48:38 UTC 2024 - 3.9K bytes - Viewed (0)