package Ġkt . mob ius Ċ Ċ interface ĠController Actions < M , ĠE > Ġ{ ĊĊĠĠĠ Ġfun Ġpost Update View ( model : ĠM ) ĊĊĠĠĠ Ġfun Ġgo To State Init ( next Model To Start From : ĠM ) ĊĊĠĠĠ Ġfun Ġgo To State Created ( renderer : ĠConnection < M >, Ġnext Model To Start From : ĠM ?) ĊĊĠĠĠ Ġfun Ġgo To State Created ( view : ĠConnect able < M , ĠE >, Ġnext Model To Start From : ĠM ) ĊĊĠĠĠ Ġfun Ġgo To State Running ( renderer : ĠConnection < M >, Ġnext Model To Start From : ĠM ) Ċ } Ċ