class virtual idprinting :object
..end
method virtual basename : string -> string
method virtual infoprover : 'a. 'a infoprover -> 'a
method datatypename : string -> string
method fieldname : string -> string
method funname : string -> string
method datatype : adt -> string
method field : field -> string
method link : lfun -> Qed.Engine.link