-
Ken Thompson authored
a range m (implies :=) a,b range m (implies :=) a:b range m (implies :=) a := range m a,b := range m a:b := range m a = range m a,b = range m a:b = range m R=r OCL=20676 CL=20676
b79272d9
a range m (implies :=) a,b range m (implies :=) a:b range m (implies :=) a := range m a,b := range m a:b := range m a = range m a,b = range m a:b = range m R=r OCL=20676 CL=20676