Property definitions

gmp $ BigInt :: _val
    private var val: NativeMPZ
lib/gmp/gmp.nit:128,5--30