Closed otrho closed 1 month ago
And per #774 move them from Predicate to Contract. And move storage too, but that's fairly trivial.
Predicate
Contract
storage
And per #774 move them from
Predicate
toContract
. And movestorage
too, but that's fairly trivial.