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 (***********************************************************************)
13 (* Original author: Nicolas Pouillard *)
14 val of_tags : Tags.t -> Command.spec
15 val of_tag_list : Tags.elt list -> Command.spec
16 val flag : Tags.elt list -> Command.spec -> unit
17 val add : 'a -> 'a list -> 'a list
18 val remove : 'a -> 'a list -> 'a list
19 val to_spec : (string * string) list -> Command.spec
21 (** For system use only *)
23 val get_flags : unit -> (Tags.t * Command.spec) list