[isabelle] Building a context_parser from a parser



Dear list,

What is the idiomatic way to build a `'a context_parser` from a `'a
parser`? (I want the equivalent of Args.add but as a context parser.)

Cheers,
Josh





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.