2020-12-21 23:22:59 +01:00
|
|
|
#lang typed/racket
|
|
|
|
|
|
|
|
|
|
;;; Slap types on some graph functions.
|
|
|
|
|
|
|
|
|
|
(require/typed/provide graph
|
|
|
|
|
[#:opaque Graph graph?]
|
2020-12-22 22:45:35 +01:00
|
|
|
[graphviz (-> Graph
|
|
|
|
|
[#:output Output-Port]
|
|
|
|
|
[#:colors (HashTable Any Natural)]
|
|
|
|
|
String)])
|
