diff --git a/networks.rkt b/networks.rkt
index 002861f..fbf22f4 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -44,6 +44,8 @@
                [dds-step (-> dynamics? (set/c state? #:kind 'dont-care) (set/c state?))]
                [dds-build-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) graph?)]
                [dds-build-n-step-state-graph (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
+               [dds-build-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) graph?)]
+               [dds-build-n-step-state-graph-annotated (-> dynamics? (set/c state? #:kind 'dont-care) number? graph?)]
                [pretty-print-state (-> state? string?)]
                [any->boolean (-> any/c boolean?)]
                [pretty-print-boolean-state (-> state? string?)]