exception Error of string

val type_program: Cminor.program -> Cminor.program