Skip to content

Commit 2866214

Browse files
committed
Fix an encoding, that's always fun
1 parent 53ec4df commit 2866214

File tree

1 file changed

+19
-1
lines changed

1 file changed

+19
-1
lines changed

src/pages/specs/encodings.tsx

Lines changed: 19 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2630,7 +2630,25 @@ export const encodings = (
26302630
<Ul>
26312631
<Li>
26322632
zero, if <R n="owncap_prior_cap" /> is a{" "}
2633-
<R n="CommunalCapability" />, or else
2633+
<R n="CommunalCapability" />, or if{" "}
2634+
<Code>
2635+
<ValAccess field="owned_cap_user" /> !={" "}
2636+
<AccessStruct field="owned_cap_user">
2637+
<AccessStruct field="capability_inner">
2638+
<R n="owncap_prior_cap" />
2639+
</AccessStruct>
2640+
</AccessStruct>
2641+
</Code>, or if{" "}
2642+
<Code>
2643+
<ValAccess field="owned_cap_initial_authorisation" />
2644+
{" "}
2645+
!={" "}
2646+
<AccessStruct field="owned_cap_initial_authorisation">
2647+
<AccessStruct field="capability_inner">
2648+
<R n="owncap_prior_cap" />
2649+
</AccessStruct>
2650+
</AccessStruct>
2651+
</Code>, and else
26342652
</Li>
26352653
<Li>
26362654
a natural number (possibly zero) less than or equal to

0 commit comments

Comments
 (0)