proposition property

PropositionType proposition
getter/setter pair

Implementation

late PropositionType proposition;