X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4f5a3f954f8b8f0600b712deab694472ff1a2146..fb09779a844e6ebb2388d68ef1170c816b6bc07c:/src/domain.sml diff --git a/src/domain.sml b/src/domain.sml index 63b039c..ffa03c4 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -235,6 +235,10 @@ val _ = Env.type_one "node" Env.string validNode +val _ = Env.type_one "mime_type" + Env.string + (CharVector.exists (fn ch => ch = #"/")) + val _ = Env.registerFunction ("your_ip_to_ip", fn [e] => SOME e | _ => NONE)