contract property

Djed contract
final

Implementation

final Djed contract;