signature DOMAIN = sig
+ val declareClient : unit -> unit
+ val fakePrivileges : unit -> unit
+
val yourPath : string -> bool
val isIdent : char -> bool
val validHost : string -> bool
val considerAll : description list -> subject -> string
(* Find files in a domain directory matching some patterns and generate
* headings and contents listings for them. *)
+
+ (* Callbacks to run whenever the set of Domtool users has changed *)
+ val registerOnUsersChange : (unit -> unit) -> unit
+ val onUsersChange : unit -> unit
end