From d6bf00d6174b5859c769abf6805a7b5452dee8aa Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Thu, 15 Oct 2020 00:17:15 +0200
Subject: [PATCH] networks: Fix tbn? to use tbf/state.

---
 networks.rkt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/networks.rkt b/networks.rkt
index f625e59..96b80c7 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -1230,5 +1230,8 @@
                     (1 0 0)
                     (1 1 0)))))
 
-;;; A TBN is a network form mapping TBFs to variables.
-(define tbn? (hash/c variable? tbf?))
+;;; A TBN is a network form mapping variables to tbf/state.
+;;;
+;;; The tbf/state must only reference variables appearing in the
+;;; network.  This contract does not check this condition.
+(define tbn? (hash/c variable? tbf/state?))