Who Cites graph?
graph	Def Graph == v:Typee:Type(evv)Top
	Thm* Graph Type{i'}
top	Def Top == Void given Void
	Thm* Top Type

Syntax:

Graph

has structure:

graph{i:l}

About: