schema_version = 1
law = "self-inverse"
variant = "SelfInverse"
natural_language = "Combining a value with itself returns the declared result."
mathematical_statement = "forall a . f(a, a) = r"
preconditions = ["f is binary", "r is the declared self-inverse result"]
postcondition = "f(a, a) == r"
citation = "SPEC.md#algebraic-laws"
[[variables]]
name = "a"
type = "u32"
role = "input"
[[parameters]]
name = "r"
type = "u32"
source = "AlgebraicLaw::SelfInverse.result"