15.4.1406  src/lib/x-kit/widget/edit/guiboss-to-compileimp.pkg

## guiboss-to-compileimp.pkg
#
# Here we define the port which
#
#     src/lib/x-kit/widget/edit/compile-imp.pkg
#
# exports to
#
#     src/lib/x-kit/widget/gui/guiboss-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/edit/compile-imp.pkg
    #
    package guiboss_to_compileimp {
        #
        Guiboss_To_Compileimp
          =
          { id:                         Id,                                                     # Unique id to facilitate storing guiboss_to_compileimp instances in indexed datastructures like red-black trees.
            #
            shut_down_compileimp:       Void -> Void                                            # Terminate compile_imp microthread.  Nothing else.
          };
    };
end;