Source file roundingMode.ml

type t =
  | Rne
  | Rna
  | Rtn
  | Rtp
  | Rtz
let to_string = function
  | Rne -> "RNE"
  | Rna -> "RNA"
  | Rtn -> "RTN"
  | Rtp -> "RTP"
  | Rtz -> "RTZ"
let to_cxx = function
  | Rne -> 0
  | Rna -> 1
  | Rtn -> 2
  | Rtp -> 3
  | Rtz -> 4
let of_cxx = function
  | 0 -> Rne
  | 1 -> Rna
  | 2 -> Rtn
  | 3 -> Rtp
  | 4 -> Rtz
  | _ -> assert false