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