/Source/Dafny/Triggers/
../
QuantifierSplitter.cs
QuantifiersCollection.cs
QuantifiersCollector.cs
TriggerExtensions.cs
TriggerUtils.cs
TriggersCollector.cs