Frama-C API - `TacUnfold`

Built-in Unfold Tactical (auto-registered)

val unfold : Lang.lfun -> Lang.F.term list -> Lang.F.term

raises Not_found

val tactical : Tactical.tactical

val strategy : ?priority:float -> Tactical.selection -> Strategy.strategy