module Tabs where -- Tabs are not treated as white space. tab: : Set₁ tab: = Set