diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-08-21 23:01:04 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-20 10:03:06 +0100 |
commit | 50970e4043d73d9a4fbd17ffe765745f6d726317 (patch) | |
tree | 30af940838c330d2b50a2da6c669667c23dfc7fc /interp/notation_ops.mli | |
parent | 15abe33f55b317410223bd48576fa35c81943ff9 (diff) |
Using an "as" clause when needed for printing irrefutable patterns.
Example which is now reprinted as parsed:
fun '((x,y) as z) => (y,x)=z
Diffstat (limited to 'interp/notation_ops.mli')
0 files changed, 0 insertions, 0 deletions