-
Robbert Krebbers authored
That way, we can use Contractive as part of structure definitions in which we do not have a bundled OFE yet.
ea353e5f
That way, we can use Contractive as part of structure definitions in which we do not have a bundled OFE yet.