Spec for opaque parameter