diff options
Diffstat (limited to 'src/anf.mli')
| -rw-r--r-- | src/anf.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/anf.mli b/src/anf.mli index 8ba83ccd..9854b04c 100644 --- a/src/anf.mli +++ b/src/anf.mli @@ -83,10 +83,10 @@ and 'a apat_aux = | AP_tup of ('a apat) list | AP_id of id * 'a | AP_global of id * 'a - | AP_app of id * 'a apat + | AP_app of id * 'a apat * 'a | AP_cons of 'a apat * 'a apat - | AP_nil - | AP_wild + | AP_nil of 'a + | AP_wild of 'a and 'a aval = | AV_lit of lit * 'a |