Substraction of i from self

Property definitions

core $ Numeric :: -
	# Substraction of `i` from `self`
	fun -(i: OTHER): OTHER is abstract
lib/core/kernel.nit:440,2--441,35

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

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

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

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

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

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

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

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

gmp $ BigInt :: -
    #     assert(2.to_bi - 2.to_bi == 0.to_bi)
    redef fun -(i) do
        var res = new NativeMPZ
        val.sub(res, i.val)
        return new BigInt(res)
    end
lib/gmp/gmp.nit:167,5--172,7

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