| PropositionDefinition | | | 1.75;1.75 |
| PropositionDefinition$1 | | | 1.75;1.75 |
| PropositionDefinition$Builder | | | 1.75;1.75 |
| PropositionDefinition$Constants | | | 1.75;1.75 |
| PropositionDefinition$Elements | | | 1.75;1.75 |
| PropositionDefinitionContract | | | 1.0;1 |
| PropositionParameter | | | 1.84;1.84 |
| PropositionParameter$1 | | | 1.84;1.84 |
| PropositionParameter$Builder | | | 1.84;1.84 |
| PropositionParameter$Constants | | | 1.84;1.84 |
| PropositionParameter$Elements | | | 1.84;1.84 |
| PropositionParameterContract | | | 1.0;1 |
| PropositionParameterType | | | 3.0;3 |
| PropositionType | | | 2.5;2.5 |
| PropositionType$Adapter | | | 2.5;2.5 |
| package-info | | | 0.0;0 |