-spec demote_zone(pid(), pid()) -> ok.

-spec get_tick(pid()) -> non_neg_integer().

-spec handle_call(term(), gen_server:from(), map()) -> {reply, term(), map()}.

-spec handle_cast(term(), map()) -> {noreply, map()}.

-spec handle_info(term(), map()) -> {noreply, map()}.

-spec init(map()) -> {ok, map()}.

-spec promote_zone(pid(), pid()) -> ok.

-spec remove_zone(pid(), pid()) -> ok.

-spec set_zone_manager(pid(), pid(), pid()) -> ok.

-spec set_zones(pid(), [pid()], pid()) -> ok.

-spec start_link(map()) -> gen_server:start_ret().

-spec tick_done(pid(), pid(), non_neg_integer()) -> ok.