'a GrafiteAst.reduction ->
string
-val pp_command: obj_pp:('obj -> string) -> 'obj GrafiteAst.command -> string
+val pp_command:
+ term_pp:('term -> string) ->
+ obj_pp:('obj -> string) ->
+ ('term,'obj) GrafiteAst.command -> string
val pp_macro: term_pp:('term -> string) -> 'term GrafiteAst.macro -> string
val pp_comment:
term_pp:('term -> string) ->