Property definitions

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