Remove `:>>` subclass instance declarations
Passed
Robbert Krebbers
created pipeline for commit
d9b128a7
, finished
1 related merge request: !104 Remove `:>>` subclass instance declarations
10 minutes 4 seconds, queued for 8 seconds