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