小编Squ*_*oot的帖子

所以我有一个在远程仓库中尚不存在的本地分支A. 我在远程仓库中有远程分支B. 如何将本地更改合并到远程分支？

如果可以的话,请参考一些链接.

树起根来是什么意思？我读了这里的定义，但即使我们指定一个节点作为根，为什么树只采用下面的形状？我的意思是我可以画一棵有 4 个顶点的有根树，而不是下面的 4 个形状吗？正确的？

我只是想知道这里的 XL 变量是什么，它没有在任何地方声明？如果字符串不在列表中，则此函数返回 NONE。否则，返回原始字符串列表，但没有匹配的字符串。

fun same_string(s1 : string, s2 : string) =
    s1 = s2

fun all_except_option(s1: string, lst: string list) =
    case lst of
         [] => NONE
       | x::xl => if same_string(s1, x)    (* XL HERE ?? *)
                  then SOME xl
                  else case all_except_option(s1, xl) of
                            NONE => NONE
                          | SOME l => SOME (x::l)