object
method datatype : Lang.ADT.t -> string
method field : Lang.Field.t -> string
method virtual infoprover : 'a Lang.infoprover -> 'a
method link : Lang.Fun.t -> Qed.Engine.link
method virtual sanitize : string -> string
method sanitize_field : string -> string
method sanitize_fun : string -> string
method sanitize_type : string -> string
end