Up – Index » docs » other » smtml » Smtml » Dolmenexpr_to_expr » DolmenIntf » Float » Rounding_mode

Module `Float.Rounding_mode`

val rne : term

val rna : term

val rtp : term

val rtn : term

val rtz : term