type t
val make : #App.t -> t

val clear    : t -> unit
val activate : t -> unit
val show     : t -> unit