val (pref, suf) = Substring.splitl (fn ch => ch <> #".") (Substring.full s)
in
Substring.size suf > 0
andalso validHost (Substring.string pref)
andalso yourDomain (Substring.string
val (pref, suf) = Substring.splitl (fn ch => ch <> #".") (Substring.full s)
in
Substring.size suf > 0
andalso validHost (Substring.string pref)
andalso yourDomain (Substring.string