Skip to content
Snippets Groups Projects

Add `Inj2` instance for singleton on maps.

Passed
Robbert Krebbers created pipeline for commit 47b6bcc0
, finished
For master
5 jobs 9 minutes 31 seconds, queued for 2 seconds