From 8067f9e7f071a0d09aa8ea2988b024077cf68c5d Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Thu, 28 Apr 2022 19:04:16 +0200
Subject: [PATCH] Make TBF appear as "type" in the docs.

---
 scribblings/functions.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scribblings/functions.scrbl b/scribblings/functions.scrbl
index 2478ac8..31d105c 100644
--- a/scribblings/functions.scrbl
+++ b/scribblings/functions.scrbl
@@ -457,7 +457,7 @@ Instances of @racket[tbf] have the type @racket[TBF].
 
 }
 
-@defidform[TBF]{
+@defidform[#:kind "type" TBF]{
 
 The type of the instances of @racket[tbf]: