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