post property

bool post
final

Whether this is a postcondition.

Implementation

final bool post;