IR__Procname.SQLite
val serialize : t -> Sqlite3.Data.t
val deserialize : Sqlite3.Data.t -> t
val clear_cache : unit -> unit