Dylan MacKenzie d2aefbb286 Add ConstnessAnd that implements ToPredicate		2020-01-20 00:00:08 -08:00
..
Cargo.toml
lib.rs	slice_patterns: remove internal uses of gate	2020-01-18 19:33:47 +01:00
ty.rs	Add ConstnessAnd that implements ToPredicate	2020-01-20 00:00:08 -08:00