1CREATE TABLE return_implies (
2 file varchar(128),
3 function varchar(64),
4 call_id integer,
5 static boolean,
6 type integer,
7 parameter integer,
8 key varchar(256),
9 value varchar(256),
10
11 CONSTRAINT implies_row UNIQUE (file, function, call_id, static, type, parameter, key, value)
12);
13