-module(howdy@context@user). -compile(no_auto_import). -export([change_name/2, add_claim/3]). -export_type([user/0]). -type user() :: {user, binary(), gleam@map:map_(binary(), binary())}. -spec change_name(user(), binary()) -> user(). change_name(User, Name) -> erlang:setelement(2, User, Name). -spec add_claim(user(), binary(), binary()) -> user(). add_claim(User, Key, Value) -> New_claims = gleam@map:insert(erlang:element(3, User), Key, Value), erlang:setelement(3, User, New_claims).