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