PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc
At:
grr
obj
wf
t:Graph Representation. t.obj
r:t.type
GraphObject(t.graph(r))
By:
YRecModulePiTac 3 `graphrep` [`grr_type`;`grr_graph`;`grr_obj`]
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
3
Sections
Graphs
Doc