-- FILE: nand.ads
-- DATE: 7/98
-- AUTHOR: Sy Wong
-- AIM: Specification for Nand (not and) gate

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