Redirecting to struct.ConstPropagator.html...