fact: Definition chainl1 (p : Parser Toks Tok M A n) (op : Box (Parser Toks Tok M (A -> A -> A)) n) : Parser Toks Tok M A n := hchainl p op p.
imports: Coq(PeanoNat) parseque(Category Induction Sized NEList Success EqDec)