| CicAst.Sort `CProp -> "CProp"
| CicAst.Symbol (name, _) -> name
+ | CicAst.UserInput -> ""
+
and pp_subst (name, term) = sprintf "%s \\Assign %s" name (pp_term term)
and pp_substs substs = String.concat "; " (List.map pp_subst substs)
and pp_pattern ((head, vars), term) =
- sprintf "%s -> %s"
+ sprintf "%s \\Rightarrow %s"
(match vars with
| [] -> head
| _ ->