signature DOMAIN = sig
+ val declareClient : unit -> unit
+ val fakePrivileges : unit -> unit
+
val yourPath : string -> bool
val isIdent : char -> bool
val validHost : string -> bool
val hasPriv : string -> bool
val rmdom : string list -> unit
+ val rmdom' : string -> string list -> unit
val homedirOf : string -> string
val homedir : unit -> string
(* Argument is domain to describe, over all nodes. *)
datatype description =
- Filename of { filename : string, heading : string }
+ Filename of { filename : string, heading : string, showEmpty : bool }
| Extension of { extension : string, heading : string -> string }
val considerAll : description list -> subject -> string