Language.Fixpoint.Types.Triggers
data
Triggered
a
data
Trigger
noTrigger
defaultTrigger
makeTriggers