1signature SSE = 2sig 3 type ieee_flags = {DivideByZero: bool, 4 InvalidOp: bool, 5 Overflow: bool, 6 Precision: bool, 7 Underflow: bool} 8 9 val ieee_flags_DivideByZero_rupd: ieee_flags * bool -> ieee_flags 10 val ieee_flags_InvalidOp_rupd: ieee_flags * bool -> ieee_flags 11 val ieee_flags_Overflow_rupd: ieee_flags * bool -> ieee_flags 12 val ieee_flags_Precision_rupd: ieee_flags * bool -> ieee_flags 13 val ieee_flags_Underflow_rupd: ieee_flags * bool -> ieee_flags 14end 15