Thank you, that is what I thought.
I was aware of the WAC tool, but it's documentation jumps from simple examples to quite complex formal specification.
I wasn't sure that I might not have overlooked some details which might have made it possible.
Jan Vanhoof has marked this topic as resolved.
I did some further tests and I think I've got my answers.
I'll leave my findings in case someone else stumbles upon it.
component A already imports the run function exported by component B. If component B would import something from component A that would result in a cyclic graph, which is not allowed.Jan Vanhoof has marked this topic as resolved.
Last updated: Dec 06 2025 at 06:05 UTC