class virtual idprinting :object
..end
method virtual sanitize : string -> string
method virtual infoprover : 'a. 'a infoprover -> 'a
Specify the field to use in an infoprover
method sanitize_type : string -> string
Defaults to self#sanitize
method sanitize_field : string -> string
Defulats to self#sanitize
method sanitize_fun : string -> string
Defulats to self#sanitize
method datatype : ADT.t -> string
method field : Field.t -> string
method link : Fun.t -> Qed.Engine.link