Frama-C:
Plug-ins:
Libraries:

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