module LineEndings.Dos where

postulate ThisWorks : Set