unit posix_timer = {

imports[ string : String_T errno : Errno_T signals : PosixSignals_T listener : CreateListener_T clock : OSEnvClock_T ]; exports[ out : PosixTimer_T ]; ...

}