fact: Record Language (n : nat) : Type := MkLanguage { _expr : Parser Toks ascii M Expr n ; _term : Parser Toks ascii M Term n ; _factor : Parser Toks ascii M Factor n }.
imports: parseque(Running Parseque) Coq(Ascii String)