Code

Add Object enum#1391

Code

Merged

hannobraun merged 3 commits intomainhannobraun/fornjot:mainfrom objecthannobraun/fornjot:objectCopy head branch name to clipboardNov 25, 2022

+139

Commits

Commits on Nov 25, 2022

• Add Object enum

  hannobraun

  committed
  c06c049

• Add Object<WithHandle>::insert

  hannobraun

  committed
  ba6aab0

• Add Object::as_inner

  hannobraun

  committed
  a605058