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