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.
refine s
s