-val pp_command:
- term_pp:('term -> string) ->
- obj_pp:('obj -> string) ->
- ('term,'obj) GrafiteAst.command -> string
-val pp_macro:
- term_pp:('term -> string) ->
- lazy_term_pp:('lazy_term -> string) ->
- ('term,'lazy_term) GrafiteAst.macro -> string