13 Commits

Author	SHA1	Message	Date
Patrick Lühne	e335ab5e4f	Implement Debug and Display for declarations types	2020-02-04 23:47:58 +01:00
Patrick Lühne	1694a2d0f4	Minor restructuring	2020-02-04 23:47:12 +01:00
Patrick Lühne	88274e4396	Represent parent precedence with optional type	2020-02-03 23:23:41 +01:00
Patrick Lühne	ab0727fe5b	Reorder formatting calls	2020-02-03 22:58:11 +01:00
Patrick Lühne	171c725fb8	Assert against empty parameter lists	2020-02-02 20:06:41 +01:00
Patrick Lühne	5e39fc5cec	Remove unnecessary Symbolic type ... This type is a special case of Function and doesn’t need to be represented separately.	2020-02-02 19:31:16 +01:00
Patrick Lühne	25c567af06	Assert against empty conjunctions and disjunctions	2020-02-02 17:46:55 +01:00
Patrick Lühne	3e6e68f6ea	Use ordered sets for declarations ... This replaces the unordered sets used for function and predicate declarations with ordered sets. This is useful when these declarations are supposed to be processed in a stable and meaningful order.	2020-02-02 17:39:41 +01:00
Patrick Lühne	f0958b100e	Rename types for consistency	2020-02-02 02:08:39 +01:00
Patrick Lühne	f19f1a3eb1	Work in progress	2020-01-24 18:43:42 +01:00
Patrick Lühne	de4ab29da5	Implement Display formatter in terms of Debug	2019-11-02 04:05:57 +01:00
Patrick Lühne	a6fe4b9e08	Respect operator precedence when printing	2019-11-01 22:35:51 +01:00
Patrick Lühne	b76287a07b	Restructure crate for a nicer interface	2019-11-01 22:00:17 +01:00