signature DOMAIN = sig
+ val isIdent : char -> bool
+ val validHost : string -> bool
+ val validDomain : string -> bool
+
val registerBefore : (string -> unit) -> unit
val registerAfter : (string -> unit) -> unit
(* Register handlers to run just before and after entering a domain