diff options
Diffstat (limited to 'tactics/btermdn.mli')
| -rw-r--r-- | tactics/btermdn.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/btermdn.mli b/tactics/btermdn.mli index 86107641d..b41ecbf77 100644 --- a/tactics/btermdn.mli +++ b/tactics/btermdn.mli @@ -22,7 +22,7 @@ val create : unit -> 'a t val add : transparent_state option -> 'a t -> (constr_pattern * 'a) -> 'a t val rmv : transparent_state option -> 'a t -> (constr_pattern * 'a) -> 'a t - + val lookup : transparent_state option -> 'a t -> constr -> (constr_pattern * 'a) list val app : ((constr_pattern * 'a) -> unit) -> 'a t -> unit |