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).