let rec pp_term = function
| CicAst.AttributedTerm (_, term) -> pp_term term
-
| CicAst.Appl terms ->
sprintf "(%s)" (String.concat " " (List.map pp_term terms))
| CicAst.Binder (`Forall, (Cic.Anonymous, typ), body)
| CicAst.Sort `Type -> "Type"
| CicAst.Sort `CProp -> "CProp"
| CicAst.Symbol (name, _) -> name
-
- | CicAst.UserInput -> ""
+ | 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)