Procdesc.SQLite
per-procedure CFGs are stored in the SQLite "procedures" table as NULL if the procedure has no CFG
type t
= t option
val serialize : t -> Sqlite3.Data.t
val deserialize : Sqlite3.Data.t -> t