fun qwe (str, list) =
    let
        fun loop [] = NONE
          | loop (x :: xs) =
            if str = x then SOME xs else
            case loop xs of
                NONE => NONE
              | SOME xs' => SOME (x :: xs')
    in
        loop list
    end;

docker pull zevlg/telega-server:latest
Cannot connect to the Docker daemon at unix:///var/run/docker.sock. Is the docker daemon running?

fun all_except_option (s1, sl) =
    let val comp = case sl of
        [] => []
      | slh::slt => if same_string(s1, slh)
                        then slt
                        else slh::all_except_option(s1,slt)
    in
        if compare_string_lists(comp, sl)
        then true
        else false
    end