Parameterize the lifetime logic over the user mask.

This replaces the namespace lft_userN, which had the defect of requiring to place libraries' namespacec in it in advance. The weak branch has always used a similar approach.

The file type/base.v contains the definition of lft_userE which is used in the development. It is set to the emptyset, but can be extended in further developments.

added 1 commit

• 95ec8e2c - Parameterize the lifetime logic over the user mask.

Compare with previous version

added 15 commits

• 95ec8e2c...b2a62c18 - 14 commits from branch master
• ade8a490 - Parameterize the lifetime logic over the user mask.

Compare with previous version

added 1 commit

• 0fd7915e - Parameterize the lifetime logic over the user mask.

Compare with previous version

added 1 commit

• 2508e020 - Parameterize the lifetime logic over the user mask.

Compare with previous version

resolved all threads

Ready for merging?

Yes, looks good to me, thanks. :)

merged

mentioned in commit a057ef97