sem_typed.v 3.97 KB