From 86d52eed3bba730dd6a960863eff2c6606d22dcd Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 27 Apr 2022 18:45:09 +0200
Subject: [PATCH] =?UTF-8?q?syntax=20=E2=86=92=20type=20as=20kinds=20of=20d?=
 =?UTF-8?q?efinitions=20in=20scribblings.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 scribblings/networks.scrbl | 6 +++---
 scribblings/utils.scrbl    | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index ac98c4f..fb61c1f 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -27,21 +27,21 @@ This model can generalise Boolean networks, TBANs, multivalued networks, etc.
 
 @section[#:tag "networks-basics"]{Basic definitions}
 
-@defform[(State a)]{
+@defform[#:kind "type" (State a)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[a] to
 the variables.  A synonym of @racket[VariableMapping].
 
 }
 
-@defform[(UpdateFunction a)]{
+@defform[#:kind "type" (UpdateFunction a)]{
 
 An update function is a function computing a value from the given
 state.  This is a synonym of the type @racket[(-> (State a) a)].
 
 }
 
-@defform[(DomainMapping a)]{
+@defform[#:kind "type" (DomainMapping a)]{
 
 A domain mapping is a hash table mapping variables to the lists of values in
 their domains.
diff --git a/scribblings/utils.scrbl b/scribblings/utils.scrbl
index 2634e0b..9d917b3 100644
--- a/scribblings/utils.scrbl
+++ b/scribblings/utils.scrbl
@@ -25,13 +25,13 @@ the package: evaluating sexps, manipulating lists,
 
 @section{Base types}
 
-@defidform[Variable]{
+@defidform[#:kind "type" Variable]{
 
 Any Racket symbol.  Designates a variable in a discrete dynamical network.
 
 }
 
-@defform[(VariableMapping A)]{
+@defform[#:kind "type" (VariableMapping A)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[A] to
 the variables.