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