Frama-C API - Trigger
val of_term : Lang.F.term -> trigger
val of_pred : Lang.F.pred -> trigger
val vars : trigger -> Lang.F.Vars.t
Trigger
val of_term : Lang.F.term -> trigger
val of_pred : Lang.F.pred -> trigger
val vars : trigger -> Lang.F.Vars.t