| `Exists -> "exists"
| `Forall -> "forall"
-let pp_literal l =
- sprintf "literal(%s)"
- (match l with
- | `Symbol s
- | `Keyword s
- | `Number s -> s)
+let pp_literal = function
+ | `Symbol s -> sprintf "symbol(%s)" s
+ | `Keyword s -> sprintf "keyword(%s)" s
+ | `Number s -> sprintf "number(%s)" s
let rec pp_term = function
| AttributedTerm (`Href _, term) when print_attributes ->