size

val size: Int

Total number of propositions across all types