Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Vertices have type V.t
and are labeled with type V.label
(note that an implementation may identify the vertex with its label)
Vertices are COMPARABLE
.
type t = state
Vertices are labeled.