type env = expr Env.t
and pattern =
| PTactic of loc * id * substs list
- | PVar of loc * id
and expr =
| EGoal of loc * goal
| ECall of loc * id * expr list
and string_pattern () = function
| PTactic (loc, name, params) ->
sprintf "*%s (%s)" name (String.concat ", "
- (List.map (string_substs ()) params));
- | PVar (loc, id) -> id
+ (List.map (string_substs ()) params))
and print_pattern fp p = output_string fp (string_pattern () p)