Class virtual Wp.Lang.idprinting

class virtual idprinting : object .. end

method virtual basename : string -> string
Allows to sanitize the basename used for generated or ACSL name (not the one provided by the driver.
method virtual infoprover : 'a. 'a infoprover -> 'a
Specify the field to use in an infoprover
method datatypename : string -> string
method fieldname : string -> string
method funname : string -> string
method datatype : ADT.t -> string
method field : Field.t -> string
method link : Fun.t -> Qed.Engine.link