Skip to main content

modes_block_models_mode_to_string

cvc5_sys

Function modes_block_models_mode_to_string 

Source 
pub unsafe extern "C" fn modes_block_models_mode_to_string(
    mode: BlockModelsMode,
) -> *const c_char
Expand description

Get a string representation of a Cvc5BlockModelsMode. @param mode The mode. @return The string representation.