TacLemma (frama-c-wp.Wp.TacLemma)

type lemma = Definitions.dlemma Tactical.named

val named : Definitions.dlemma -> lemma

val find : string -> lemma

val search : lemma option Tactical.field

val tactical : Tactical.tactical

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