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