+fun three func (name1, arg1, name2, arg2, name3, arg3) f (_, [e1, e2, e3]) =
+ (case (arg1 e1, arg2 e2, arg3 e3) of
+ (NONE, _, _) => badArg (func, name1, e1)
+ | (_, NONE, _) => badArg (func, name2, e2)
+ | (_, _, NONE) => badArg (func, name3, e3)
+ | (SOME v1, SOME v2, SOME v3) => (f (v1, v2, v3);
+ SM.empty))
+ | three func _ _ (_, es) = badArgs (func, es)
+
+fun noneV func f (evs, []) = (f evs;
+ SM.empty)
+ | noneV func _ (_, es) = badArgs (func, es)
+
+fun oneV func (name, arg) f (evs, [e]) =
+ (case arg e of
+ NONE => badArg (func, name, e)
+ | SOME v => (f (evs, v);
+ SM.empty))
+ | oneV func _ _ (_, es) = badArgs (func, es)
+
+fun twoV func (name1, arg1, name2, arg2) f (evs, [e1, e2]) =
+ (case (arg1 e1, arg2 e2) of
+ (NONE, _) => badArg (func, name1, e1)
+ | (_, NONE) => badArg (func, name2, e2)
+ | (SOME v1, SOME v2) => (f (evs, v1, v2);
+ SM.empty))
+ | twoV func _ _ (_, es) = badArgs (func, es)
+
+
+fun env arg (evs, name) =
+ case SM.find (evs, name) of
+ NONE => raise Fail ("Unavailable environment variable " ^ name)
+ | SOME e =>
+ case arg e of
+ NONE => (Print.preface ("Unexpected value for " ^ name ^ ":",
+ Print.p_exp e);
+ raise Fail ("Bad format for environment variable " ^ name))
+ | SOME v => v
+