Skip to main content

Module functions

oxilean_codegen::opt_tail_recursion

Module functions 

Source
Expand description

Auto-generated module

🤖 Generated with SplitRS

Functions§

detect_mutual_tail_recursion
Detect which pairs of functions in decls are mutually tail-recursive. Returns a list of strongly-connected components (each SCC is a group of mutually tail-recursive functions).