Module Defaultgraphs.GraphOper.O


module O: Graph.Oper.I(G)