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