def handle_req(rq, state) do
  ...
end

@spec handle_req(request, program_state) :: {res_code, response}.