GrafiteAst.statement ->
string
-val pp_tactical:
+val pp_punctuation_tactical:
term_pp:('term -> string) ->
lazy_term_pp:('lazy_term -> string) ->
('term, 'lazy_term, 'term GrafiteAst.reduction, string)
- GrafiteAst.tactical ->
+ GrafiteAst.punctuation_tactical ->
string