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 * '->
    GrbGraphs.DG.t -> (GrbGraphs.DG.t, 'b) GrbCommons.either
  val overBitstring :
    GrbGraphs.connectiontype * GrbGraphs.nodetype * '->
    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