Property definitions

gmp $ Ratio :: val
    private var val: NativeMPQ
lib/gmp/gmp.nit:299,5--30