object
method datatype : Wp.Lang.ADT.t -> string
method field : Wp.Lang.Field.t -> string
method virtual infoprover : 'a Wp.Lang.infoprover -> 'a
method link : Wp.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