src/sokoban.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


package Sokoban is


    type LevelID is new Integer range 0 .. 50;


    procedure Load_Level
           (Number : in LevelID);

    procedure Show;

    procedure Hide;


end Sokoban;