This repository has been archived on 2025-02-18. You can view files and clone it, but cannot push or open issues or pull requests.

Sebastian Schmidt 4cc86e7683 Add trait to allow iterating over all variables in a context. ...

Both iterating with and without values is supported.
Due to limitations in the language, currently only iterating by cloning is supported. When GATs are stabilised, this should change.

Relates to #108

2022-07-15 13:44:31 +03:00

..

predefined

Move predefined module into context module.

2021-06-02 16:50:37 +03:00

mod.rs

Add trait to allow iterating over all variables in a context.

2022-07-15 13:44:31 +03:00