val isIdent : char -> bool
val validHost : string -> bool
val validDomain : string -> bool
+ val validIpv6 : string -> bool
+ val validIp : string -> bool
val yourDomain : string -> bool
val validUser : string -> bool
val validEmailUser : string -> bool
val nodes : string list
(* Names of all system nodes *)
- val nodeMap : string Ast.StringMap.map
+ val nodeMap : (string * string) Ast.StringMap.map
(* Map node names to IP addresses *)
val nodeIp : string -> string
(* Look up a node in nodeMap *)
+ val nodeIpv6 : string -> string
+ (* Look up a node in nodeMap *)
val setUser : string -> unit
val getUser : unit -> string
val your_paths : unit -> DataStructures.StringSet.set
(* UNIX users, groups, and paths the user may act with *)
+ val get_context : unit -> OpenSSL.context
val set_context : OpenSSL.context -> unit
val hasPriv : 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