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