openmina_node_invariants

Module no_recursion

Source

Structs§

NoRecursion
Makes sure we don’t have cycles in action chain.

Functions§

contains_cycle 🔒