Make trivial instances explicit
Passed
Robbert Krebbers
created pipeline for commit
7514c591
, finished
For ci/maximedenes/stdpp-instance-nobody-open-proof
15 minutes 53 seconds, queued for 1 seconds