Function get_boolean_sort 

pub unsafe extern "C" fn get_boolean_sort(
    tm: *mut TermManager,
) -> Sort

Get the Boolean sort. @param tm The term manager instance. @return Sort Boolean.