package semaphore_pkg is

type state_t is(
    state_1r_2g,
    state_1r_2y,
    state_1ry_2r,
    state_1g_2r,
    state_1y_2r,
    state_1r_2ry);

end semaphore_pkg;