From f453a2bdce3223a932985b4a8457ac0017bf85a4 Mon Sep 17 00:00:00 2001
From: Minseong Jang <minseong.jang@kaist.ac.kr>
Date: Wed, 20 Nov 2024 13:39:53 +0000
Subject: [PATCH] Add forward reference for `VrH`

---
 doc/docs/tutorial/custom_fifo.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/docs/tutorial/custom_fifo.md b/doc/docs/tutorial/custom_fifo.md
index 17fb956..48444eb 100644
--- a/doc/docs/tutorial/custom_fifo.md
+++ b/doc/docs/tutorial/custom_fifo.md
@@ -41,7 +41,7 @@ The `masked_merge` combinator performs the following operation (`U<M>` is a bitv
 
 <!-- TODO: to explain masked merge, we don't need to think of FIFO queue. It can be an example of using masked merge, but the current text *assumes* there should be a FIFO queue: "It indicates which ingress interfaces are present in the current queue." -->
 
-- It takes N valid-ready interfaces (`Vr<P>` = `I<VrH<P, ()>`).
+- It takes N valid-ready interfaces (`Vr<P>` = `I<VrH<P, ()>`, `VrH` is defined in [here](../lang/interface.md#vrh)).
 - It returns a valid-ready hazard interface (`I<VrH<(P, U<{ clog2(N) }>), U<N>>>`).
   + The `U<{ clog2(N) }>` in the payload indicates the index of selected ingress interface.
   + The `U<N>` in the resolver indicates the mask bits for the selection.