ParameterMaskingError

exception proveit.ParameterMaskingError(msg)[source]

Lambda’s are not allowed to mask a range of parameters while the body contains parameters outside of this range (partial masking). We only catch this when it is easy/convenient or when it really matters. We catch it for a simple indexed parameter (effectively a singular range) while generating the canonical form or while instantiating/relabeling (as an ImproperReplacement).