-- Programmed by Jedidiah Barber
-- Licensed under the Sunset License v1.0
-- See license.txt for further details
package Sokoban is
type LevelID is new Integer range 0 .. 50;
procedure Load_Level
(Number : in LevelID);
procedure Show;
procedure Hide;
end Sokoban;