1i3

highlevel.sml

(* Lidt ændret type... *)
fun relativePrime 0 q = q = 1
  | relativePrime p q = relativePrime (q mod p) p;

(* Og en hjælpefunktion der allerede burde være i SML...*)
fun range (from,to) = List.tabulate(to-from+1, fn x => x + from);

(* Så kan den skrives abstrakt. *)
fun nextNotRelativePrime p =
    Option.getOpt (List.find (not o relativePrime p) (range(p+1,p*2-1)),
                   p*2);