erab_fsm: clarify type spec for teid_addr()

Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef
---
M src/erab_fsm.erl
1 file changed, 2 insertions(+), 2 deletions(-)


git pull ssh://gerrit.osmocom.org:29418/erlang/osmo-s1gw refs/changes/77/40377/1

diff --git a/src/erab_fsm.erl b/src/erab_fsm.erl
index a941152..cd4fa27 100644
--- a/src/erab_fsm.erl
+++ b/src/erab_fsm.erl
@@ -73,8 +73,8 @@
 -type teid() :: 0..16#ffffffff.
 -type addr() :: << _:32 >> | << _:128 >>.
 
--type teid_addr() :: {teid(), %% GTP-U TEID
-                      addr()  %% GTP-U Transport Layer Address
+-type teid_addr() :: {TEID :: teid(), %% GTP-U TEID
+                      Addr :: addr()  %% GTP-U Transport Layer Address
                      }.
 
 -type mod_kind() :: setup_rsp |

