From d85210bd8023cbdd3510b8508ab3e0769aaf19a1 Mon Sep 17 00:00:00 2001 From: shanjiaming <68770027+shanjiaming@users.noreply.github.com> Date: Sat, 25 Jan 2025 11:51:56 -0800 Subject: [PATCH] Correct abi-spec.rst --- abi-spec.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/abi-spec.rst b/abi-spec.rst index 9d1a6cb..58a4fe9 100644 --- a/abi-spec.rst +++ b/abi-spec.rst @@ -120,7 +120,7 @@ 否则,比如 ``Ti`` 是动态类型时,它们被定义为 - ``head(X(i)) = enc(len(head(X(1)) ... head(X(k-1)) tail(X(1)) ... tail(X(i-1))))`` + ``head(X(i)) = enc(len(head(X(1)) ... head(X(k)) tail(X(1)) ... tail(X(i-1))))`` ``tail(X(i)) = enc(X(i))`` 注意,在动态类型的情况下,由于 head 部分的长度仅取决于类型而非值,所以 ``head(X(i))`` 是定义明确的。它的值是从 ``enc(X)`` 的开头算起的,``tail(X(i))`` 的起始位在 ``enc(X)`` 中的偏移量。