Redirecting to
../../../core/prelude/v1/attr.define_opaque.html
...