Multiplication of self with i

Property definitions

core $ Numeric :: *
	# Multiplication of `self` with `i`
	fun *(i: OTHER): OTHER is abstract
lib/core/kernel.nit:446,2--447,35

core $ UInt32 :: *
	redef fun *(i) is intern
lib/core/fixed_ints.nit:612,2--25

core $ Int8 :: *
	redef fun *(i) is intern
lib/core/fixed_ints.nit:128,2--25

core $ Int16 :: *
	redef fun *(i) is intern
lib/core/fixed_ints.nit:249,2--25

core $ UInt16 :: *
	redef fun *(i) is intern
lib/core/fixed_ints.nit:370,2--25

core $ Int32 :: *
	redef fun *(i) is intern
lib/core/fixed_ints.nit:491,2--25

gmp $ Ratio :: *
    #     assert("3/2".to_r * 2.to_r == 3.to_r)
    redef fun *(r) do
        var res = new NativeMPQ
        val.mul(res, r.val)
        return new Ratio(res)
    end
lib/gmp/gmp.nit:341,5--346,7

core $ Byte :: *
	redef fun *(i) is intern
lib/core/kernel.nit:630,2--25

core $ Float :: *
	redef fun *(i) is intern
lib/core/kernel.nit:537,2--25

gmp $ BigInt :: *
    #     assert(2.to_bi * 2.to_bi == 4.to_bi)
    redef fun *(i) do
        var res = new NativeMPZ
        val.mul(res, i.val)
        return new BigInt(res)
    end
lib/gmp/gmp.nit:174,5--179,7

core $ Int :: *
	redef fun *(i) is intern
lib/core/kernel.nit:727,2--25