DICE API Documentation/com.embabel.dice.proposition.gate/GatedPropositionResult/proposition

proposition

val proposition: Proposition