Cozy allows you to call queries in other queries. It also allows you to define preconditions on queries. However, it does not currently check whether the preconditions to a call are satisfied at the call site.
This changeset adds that checking, thus addressing one of the points in #23.
Cozy allows you to call queries in other queries. It also allows you to define preconditions on queries. However, it does not currently check whether the preconditions to a call are satisfied at the call site.
This changeset adds that checking, thus addressing one of the points in #23.