Module Theory.Rmode

Rounding modes.

type t
val t : t Value.sort

The sort of rounding modes.

val refine : unit Value.sort -> t Value.sort option

refine s if s is the rounding mode sort, then restores its type.