Function Z3_get_numeral_binary_string 

pub unsafe extern "C" fn Z3_get_numeral_binary_string(
    c: Z3_context,
    a: Z3_ast,
) -> Z3_string

Return numeral value, as a binary string of a numeric constant term

Preconditions

• Z3_get_ast_kind(c, a) == Z3_NUMERAL_AST
• a represents a non-negative integer