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