package Ġcom . tak use mb a . je th ub . base . view model Ċ Ċ import Ġcom . tak use mb a . je th ub . model . Repo Ċ Ċ data Ġclass ĠUser Ui State ( ĊĠ Ġval Ġpinned Repos : ĠList < Repo > Ġ= Ġempty List (), Ċ ) Ġ{ ĊĊĠ Ġcompanion Ġobject Ġ{ ĊĊĠĠĠ Ġval ĠEMPTY Ġ= ĠUser Ui State () ĊĠ Ġ} Ċ }