Type Definition antic::mp_ptr

type mp_ptr = *mut mp_limb_t;