Class ProofScript.console

class console : pool:Lang.F.pool -> title:string -> Tactical.feedback