unit tick = {

imports[ timer : OSEnvTimer_T ]; exports[ clock : { ticks } ]; ...

}