package Ġcom . sh ent u . paper . mvp . contract Ċ Ċ import Ġcom . micro . mvp . I Model Ċ import Ġcom . micro . mvp . I View Ċ Ċ interface ĠSpl ash Contract Ġ{ ĊĠĠĠ Ġinterface ĠView Ġ: ĠI View Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġto Main Page () ĊĠĠĠĠĠĠĠ Ġfun Ġstart Count Down ( total : ĠInt ) ĊĠĠĠĠĠĠĠ Ġfun Ġshow Count Down Text ( time : ĠInt ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġinterface ĠModel Ġ: ĠI Model Ċ }