Module TacLemma

module TacLemma: sig .. end
Self registered 'Lemma' Tactical

type lemma = Definitions.dlemma Tactical.named 
val named : Definitions.dlemma -> lemma
val find : string -> lemma option
val search : lemma option Tactical.field
val tactical : Tactical.tactical
val strategy : ?priority:float ->
?at:Tactical.selection ->
string -> Tactical.selection list -> Strategy.strategy