fact: Definition space : Parser Chars ascii M ascii n := anyOf (" " :: "009" :: "013" :: [])%char.
imports: parseque(Category Induction Combinators Sized NEList Numbers) Coq(Ascii String) parseque(StringAsList) Coq(List)