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