-- FILE: invert.ads
-- DATE: 7/98
-- AUTHOR: Sy Wong
-- AIM : Specification of a device for inversion 

with HDL;
package INVERT is
  type device is
  record
    data_in: HDL.input:= TRUE;
    data_out: HDL.output:= FALSE;
  end record;
  procedure update (d: in out device);
end INVERT;