sig
val tactical : Tactical.t
val fields : Tactical.selection Tactical.field list
val params : Tactical.parameter list
val filter : Lang.F.var -> Lang.F.term -> bool
type bindings = (Lang.F.var * Tactical.selection) list
val complexity : TacInstance.bindings -> Integer.t
val cardinal : int -> TacInstance.bindings -> int option
val instance_goal :
?title:string -> TacInstance.bindings -> Lang.F.pred -> Tactical.process
val instance_have :
?title:string ->
?at:int -> TacInstance.bindings -> Lang.F.pred -> Tactical.process
val wrap :
Tactical.selection Tactical.field list ->
Tactical.selection list -> Strategy.argument list
val strategy :
?priority:float ->
Tactical.selection -> Tactical.selection list -> Strategy.strategy
end