IR__Procname.SQLiteList
type t
= t list
val serialize : t -> Sqlite3.Data.t
val deserialize : Sqlite3.Data.t -> t