package Tipusok is

   type Logikai_Tipus is new Boolean;

   -- Tipusmuveletek
   -- Sajat logikai tipusunkon ertelmezett "*" muveletunk
   function "*"(A : Logikai_Tipus; B : Logikai_Tipus) return Logikai_Tipus;

   function Negal(L : Logikai_Tipus) return Logikai_Tipus;

end Tipusok;