Implements a naive algorithm for type inference within a conjunction.
Implementation
Implements a naive iterative type-inference algorithm.
Variables with category Value are annotated as if they are attributes.
Future:
Support functions when they're added
Optimise the algorithm
No indexes are used, so there should be easy gains from the tracking of the set of changed variables, and evaluating only the constraints/disjunctions involving those variables.
Usage and product changes
Implements a naive algorithm for type inference within a conjunction.
Implementation
Implements a naive iterative type-inference algorithm. Variables with category Value are annotated as if they are attributes.
Future: