sig
val new_source_edge :
(GrbGraphs.connectiontype * GrbGraphs.nodetype * GrbGraphs.portname) list ->
GrbGraphs.NewName.idtype -> GrbGraphs.DG.t -> GrbGraphs.DG.t
val mkcnstlblmap : int GrbGraphs.RLMap.t -> int GrbGraphs.RLMMap.t
val overAnd :
GrbGraphs.connectiontype * GrbGraphs.nodetype * 'a ->
GrbGraphs.DG.t -> (GrbGraphs.DG.t, 'b) GrbCommons.either
val overBitstring :
GrbGraphs.connectiontype * GrbGraphs.nodetype * 'a ->
GrbGraphs.DG.t -> (GrbGraphs.DG.t, 'b) GrbCommons.either
val overLongOr :
GrbGraphs.connectiontype * GrbGraphs.nodetype * GrbGraphs.portname ->
GrbGraphs.DG.t -> (GrbGraphs.DG.t, 'a) GrbCommons.either
val umake :
GrbGraphs.DG.t ->
('a, GrbGraphs.NewName.idtype) GrbCommons.either ->
(GrbGraphs.DG.t, string) GrbCommons.either
val puttomenu : GrbUDraw.appmenutype list -> GrbUDraw.appmenutype list
end