15.4.1412  src/lib/x-kit/widget/edit/millboss-to-guiboss.pkg

## millboss-to-guiboss.pkg
#
# Here we define the port which
#
#     src/lib/x-kit/widget/gui/guiboss-imp.pkg
#
# exports to
#
#     src/lib/x-kit/widget/edit/millboss-imp.pkg

# Compiled by:
#     src/lib/x-kit/widget/xkit-widget.sublib



stipulate
    include package   threadkit;                                                                # threadkit                     is from   src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit.pkg
    #
    package g2d =  geometry2d;                                                                  # geometry2d                    is from   src/lib/std/2d/geometry2d.pkg
herein

    # This port is implemented in:
    #
    # src/lib/x-kit/widget/gui/guiboss-imp.pkg
    #
    package millboss_to_guiboss {
        #
        Millboss_To_Guiboss
          =
          { id:                         Id,                                                     # Unique id to facilitate storing millboss_to_guiboss instances in indexed datastructures like red-black trees.
            #
            shut_down_guiboss:          Void -> Void                                            # Set Client_To_Guiboss.guiboss_done' and then terminate guiboss_imp microthread.  Nothing else.
          };
    };
end;