-spec start(StartType, StartArgs) -> {ok, Pid} | {ok, Pid, State} | {error, Reason}
         when
             StartType :: application:start_type(),
             StartArgs :: term(),
             Pid :: pid(),
             State :: term(),
             Reason :: term().

-spec stop(State) -> Ignored when State :: term(), Ignored :: term().