Language.Copilot.Examples.LTLExamples
output
testing
tSoonest
tLatest
tAlways
tNext
tFuture
t0
t1
c
tUntil
tRelease0
tRelease1
testRules