def Auto.SMT.Attribute.trigger {a : Sort u} : a → (h : Prop) → Prop

Equations

• Auto.SMT.Attribute.trigger x✝ h = h