findAll

abstract fun findAll(): List<Proposition>

Get all propositions. Used by findAbstractionsOf; satisfied automatically when a type also implements PropositionStore.