Imandra_codegen.Gen_pp
class type virtual t = object ... end
val mk_plugin : ?qualified:bool -> unit -> Imandra_surface.Plugin.t
val mk : ?qualified:bool -> unit -> t
val k_pp : t Imandra_util.Univ.Key.t
For downcasting