
{ Deferred entry point definitions

  TYPE
    llt$deferred_entry_points = array [1 .. * ] of llt$deferred_entry_point;

  TYPE
    llt$deferred_entry_point = record
      address: llt$address,
      section_ordinal: llt$section_ordinal,
      attributes: llt$entry_point_attributes,
      name: pmt$program_name,
      language: llt$module_generator,
      declaration_matching_required: boolean,
      declaration_matching_value: llt$declaration_matching_value,
      source_type_checking: boolean,
      binding_section_address: llt$address,
    recend;

*copyc llt$address
*copyc llt$declaration_matching_value
*copyc llt$entry_point_attributes
*copyc llt$module_generator
*copyc llt$section_address
*copyc pmt$program_name
