abi2spec

[Denis Erfurt]

behaviour urns of Vat
interface urns(bytes32 ilk, address lad)

types

    Gem : int256
    Ink : int256
    Art_u : int256

storage

    #Vat.urns(ilk, lad).gem |-> uint(Gem)
    #Vat.urns(ilk, lad).ink |-> uint(Ink)
    #Vat.urns(ilk, lad).art |-> uint(Art_u)

returns uint(Gem) : uint(Ink) : uint(Art_u)

[Denis Erfurt]

switch to uint instead of inferring the type automatically

[Denis Erfurt]

@livnev this should be fixed in the newest lev branch, can you test?

[livnev]

It works now 👍