Module Wp.Definitions.Trigger

module Trigger: sig .. end

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