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