package cvc5

  1. Overview
  2. Docs
type t =
  1. | Rne
  2. | Rtp
  3. | Rtn
  4. | Rtz
  5. | Rna
val to_string : t -> string
val to_cpp : t -> int
val of_cpp : int -> t
OCaml

Innovation. Community. Security.