val tactical2box:
- ?attr:'a list
- -> (CicAst.term, string) TacticAst.tactic TacticAst.tactical
- -> CicAst.term Box.box
+ (CicAst.term, string) TacticAst.tactical ->
+ CicAst.term Box.box
+
+val tacticalPp: (CicAst.term, string) TacticAst.tactical -> string
-val tacticalPp:
- (CicAst.term, string) TacticAst.tactic TacticAst.tactical -> string