Uses of Interface
io.hotmoka.verification.Resolver

No usage of io.hotmoka.verification.Resolver