Module Definitions.Trigger

module Trigger: sig .. end

val of_term : Lang.F.term -> Definitions.trigger
val of_pred : Lang.F.pred -> Definitions.trigger
val vars : Definitions.trigger -> Lang.F.Vars.t