- It feels like the wrong type (In [tutorial](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L70) / in [OCanren](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/src/core/Logic.mli#L104)) - And what is the `project` and where should it come from ([here](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L120), [here](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L107) and [here](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L173)) By the way, I couldn't run the [example](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L98). Is it even correct? - From time to time I encounter unification of both (==) and (===). What is it correct? There is only one option in the first chapter of the tutorial. - I didn't find [this](https://github.com/PLTools/OCanren/blob/b537c3c1d14a0e9ae50b6b67bd07148ad7c8022e/doc/tuto_main/helloWorld/README.rst?plain=1#L72) type in Logic.mli.
It feels like the wrong type (In tutorial / in OCanren)
And what is the
projectand where should it come from (here, here and here) By the way, I couldn't run the example. Is it even correct?From time to time I encounter unification of both (==) and (===). What is it correct? There is only one option in the first chapter of the tutorial.
I didn't find this type in Logic.mli.