fact: Definition parensm (p : Parser Chars ascii M A n) : Parser Chars ascii M A n := betweenm (char "(") (char ")") p.
imports: parseque(Category Induction Combinators Sized NEList Numbers) Coq(Ascii String) parseque(StringAsList) Coq(List)