Module Float.Rounding_mode

Rounding modes for floating-point operations.

val rne : term

rne represents the "round nearest ties to even" rounding mode.

val rna : term

rna represents the "round nearest ties to away" rounding mode.

val rtp : term

rtp represents the "round toward positive" rounding mode.

val rtn : term

rtn represents the "round toward negative" rounding mode.

val rtz : term

rtz represents the "round toward zero" rounding mode.