1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
12 (* $Id: glob.mli,v 1.1.4.1 2007-11-21 21:02:05 ertai Exp $ *)
13 (* Original author: Berke Durak *)
16 (** The type representing fast patterns. Do not attempt to compare them, as they get on-the-fly optimizations. *)
19 (** A self-contained module implementing extended shell glob patterns who have an expressive power
20 equal to boolean combinations of regular expressions. *)
21 include Signatures.GLOB
with type globber
= fast_pattern
Glob_ast.atom
Bool.boolean
23 val fast_pattern_of_pattern
: Glob_ast.pattern
-> fast_pattern