Folkert de Vries 7675e0232b Merge pull request #2819 from rtfeldman/zero-arg-tag ... Drop unused `arguments` field from `ZeroArgumentTag`		2022-04-10 15:18:03 +02:00
..
builtins.rs	implement constrain crate	2022-03-17 19:17:52 +01:00
expr.rs	Use array over vec for exists_many	2022-04-09 10:09:03 -04:00
lib.rs	move expr/pattern constraint gen	2022-03-02 21:25:13 +01:00
module.rs	clarify variable name	2022-03-13 17:59:44 +01:00
pattern.rs	Handle symbols that shadow ability member definitions	2022-04-07 17:21:17 -04:00