-val pp_comment: (CicAst.term,string) TacticAst.comment -> string
-val pp_executable: (CicAst.term,string) TacticAst.code -> string
-val pp_statement: (CicAst.term,string) TacticAst.statement -> string
+val pp_comment: (CicAst.term,TacticAst.obj,string) TacticAst.comment -> string
+val pp_executable: (CicAst.term,TacticAst.obj,string) TacticAst.code -> string
+val pp_statement: (CicAst.term,TacticAst.obj,string) TacticAst.statement -> string