Ticket/InsdepUI/plugin/highlight-9.9.0/test/detect/sml/default.txt

（完整代码） 469B 

structure List : LIST =
  struct

    val op +  = InlineT.DfltInt.+

    datatype list = datatype list

    exception Empty = Empty

    fun last [] = raise Empty
      | last [x] = x
      | last (_::r) = last r

  fun loop ([], []) = EQUAL
    | loop ([], _) = LESS
    | loop (_, []) = GREATER
    | loop (x :: xs, y :: ys) =
      (case compare (x, y) of
     EQUAL => loop (xs, ys)
         | unequal => unequal)
    in
  loop
    end

  end (* structure List *)

24 小时内免费解锁 3 个项目，之后 1 算力/个。 规则说明

AI 解读 AI

登录后可用，每次 10 算力，解读结果公开显示在下面。

还没有人解读过这个文件。