t_Temp0

open val t_Temp0: Temp