val pp_command: obj_pp:('obj -> string) -> 'obj GrafiteAst.command -> string
val pp_macro: term_pp:('term -> string) -> 'term GrafiteAst.macro -> string
-val pp_alias: GrafiteAst.alias_spec -> string
-val pp_dependency: GrafiteAst.dependency -> string
-
val pp_comment:
term_pp:('term -> string) ->
lazy_term_pp:('lazy_term -> string) ->