Structsยง
- Parameter ๐
- Parameter
Collector ๐
Functionsยง
- parameters_
for ๐Ifinclude_nonconstraining
is false, returns the list of parameters that are constrained byvalue
- i.e., the value of each parameter in the list is uniquely determined byvalue
(see RFC 447). If it is true, return the list of parameters whose values are needed in order to constrainvalue
- these differ, with the latter being a superset, in the presence of projections. - parameters_
for_ ๐impl Returns the set of parameters constrained by the impl header. - Order the predicates in
predicates
such that each parameter is constrained before it is used, if that is possible, and add the parameters so constrained toinput_parameters
. For example, imagine the following impl: