sem_typed.v 3.15 KB