fixeria has submitted this change. ( https://gerrit.osmocom.org/c/erlang/osmo-s1gw/+/40377?usp=email )
Change subject: erab_fsm: clarify type spec for teid_addr() ......................................................................
erab_fsm: clarify type spec for teid_addr()
Change-Id: If649c3436ce60d3b9ceefdcfb695bb2236ebe7ef --- M src/erab_fsm.erl 1 file changed, 2 insertions(+), 2 deletions(-)
Approvals: Jenkins Builder: Verified pespin: Looks good to me, but someone else must approve fixeria: Looks good to me, approved
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 |