Module effects 

Functions

effect_satisfies

Returns true if a declared effect satisfies a required effect.

expand_effects

Recursively expand effect aliases into concrete effects.

find_cycles

Detect cyclic alias definitions. Returns a list of cycles, where each cycle is a Vec of alias names forming the loop.