func maketl(s string) termlist { … }
func TestTermlistAll(t *testing.T) { … }
func TestTermlistString(t *testing.T) { … }
func TestTermlistIsEmpty(t *testing.T) { … }
func TestTermlistIsAll(t *testing.T) { … }
func TestTermlistNorm(t *testing.T) { … }
func TestTermlistUnion(t *testing.T) { … }
func TestTermlistIntersect(t *testing.T) { … }
func TestTermlistEqual(t *testing.T) { … }
func TestTermlistIncludes(t *testing.T) { … }
func TestTermlistSupersetOf(t *testing.T) { … }
func TestTermlistSubsetOf(t *testing.T) { … }