definedFacts property

Set<Logic> definedFacts
latefinal

Implementation

late final Set<Logic> definedFacts;