Property definitions

gmp $ NativeMPZ :: mul
    fun mul(res, op: NativeMPZ) `{
        mpz_mul(res, self, op);
    `}
lib/gmp/native_gmp.nit:51,5--53,6