Searched refs:BitReprAsUnsigned (Results 1 – 1 of 1) sorted by relevance
740 const uint64_t BitReprAsUnsigned = in mkBitvector() local746 : Z3_mk_unsigned_int64(Context.Context, BitReprAsUnsigned, Z3Sort); in mkBitvector()