Skip to content
Snippets Groups Projects

Make `mapset_elem_of` Opaque.

Passed
Robbert Krebbers created pipeline for commit 267cc708
, finished
For master
8 jobs 8 minutes 35 seconds, queued for 2 seconds