Property definitions

gmp $ NativeMPZ :: mul_si
    fun mul_si(res: NativeMPZ, op: Int) `{
        mpz_mul_si(res, self, op);
    `}
lib/gmp/native_gmp.nit:55,5--57,6