blob: 8e813c51083a5b66eadedb3fa5e8e6c3abe344e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
(*i $Id$ i*)
open Pp
open Names
open Term
open Environ
open Pattern
(*s Search facilities. *)
val search_by_head : global_reference -> dir_path list * bool -> unit
val search_rewrite : constr_pattern -> dir_path list * bool -> unit
val search_pattern : constr_pattern -> dir_path list * bool -> unit
|
