Class virtual Lang.idprinting

class virtual idprinting : object .. end

method virtual sanitize : string -> string

method virtual infoprover : 'a. 'a infoprover -> 'a

method sanitize_type : string -> string

method sanitize_field : string -> string

method sanitize_fun : string -> string

method datatype : ADT.t -> string

method field : Field.t -> string

method link : Fun.t -> Qed.Engine.link