Skip to main content

rm_to_string

cvc5_sys

Function rm_to_string 

Source 
pub unsafe extern "C" fn rm_to_string(
    rm: RoundingMode,
) -> *const c_char
Expand description

Get a string representation of a Cvc5RoundingMode. @param rm The rounding mode. @return The string representation.