package Oracle is
type Oracle_Type is tagged record
Name : String;
Data : String;
Signature : String;
end record;
procedure Publish_Data (Oracle : in out Oracle_Type; Data : String);
function Verify_Data (Oracle : in Oracle_Type; Data : String) return Boolean;
end Oracle;