Nicholas Nethercote 93e4b6ef06 Rename the ConstS::val field as kind. ... And likewise for the `Const::val` method. Because its type is called `ConstKind`. Also `val` is a confusing name because `ConstKind` is an enum with seven variants, one of which is called `Value`. Also, this gives consistency with `TyS` and `PredicateS` which have `kind` fields. The commit also renames a few `Const` variables from `val` to `c`, to avoid confusion with the `ConstKind::Value` variant.		2022-06-14 13:06:44 +10:00
..
src	Rename the ConstS::val field as kind.	2022-06-14 13:06:44 +10:00
Cargo.toml	upgrade chalk	2022-03-23 00:01:20 -07:00