2 ||M|| This file is part of HELM, an Hypertextual, Electronic
3 ||A|| Library of Mathematics, developed at the Computer Science
4 ||T|| Department, University of Bologna, Italy.
6 ||T|| HELM is free software; you can redistribute it and/or
7 ||A|| modify it under the terms of the GNU General Public License
8 \ / version 2 or (at your option) any later version.
9 \ / This software is distributed as is, NO WARRANTY.
10 V_______________________________________________________________ *)
12 val new_stage: RolesTypes.stage -> unit
14 val select_entry: RolesTypes.pointer -> unit
16 val expand_entry: RolesTypes.pointer -> unit
18 val make_tops: unit -> unit
20 val add_role: unit -> unit
22 val add_tops: RolesTypes.stage -> unit
24 val add_matching: unit -> unit
26 val remove_roles: unit -> unit
28 val read_waiting: string -> unit
30 val read_status: unit -> unit
32 val write_status: unit -> unit
34 val print_status: unit -> unit
37 (string -> string -> unit) -> RolesTypes.each ->
38 (bool -> bool -> bool -> unit) -> (bool -> unit) -> (unit -> unit) ->
39 (string -> bool -> unit) ->
40 (string -> string -> unit) -> RolesTypes.each -> (unit -> unit) ->
41 (string -> string -> unit) -> RolesTypes.each -> (unit -> unit) ->