Commit 295090e1 authored by POTTIER Francois's avatar POTTIER Francois

Add [Parameters.unvar].

parent 76bad6ad
......@@ -32,6 +32,13 @@ let unapp = function
(* Anonymous rules are eliminated early on. *)
assert false
let unvar = function
| ParameterVar x ->
x
| ParameterApp _
| ParameterAnonymous _ ->
assert false
let rec map f = function
| ParameterVar x ->
ParameterVar (f x)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment