Find_recursive_functions
"Recursive functions" are those functions f
that might call either:
f
.For example in the following simultaneous definition of f
g
and h
, f
and g
are recursive functions, but not h
: let rec f x = g x
and g x = f x
and h x = g x
val in_function_declarations :
Flambda.function_declarations ->
backend:(module Backend_intf.S) ->
Variable.Set.t
Determine the recursive functions, if any, bound by the given set of function declarations. This is only intended to be used by Flambda.create_function_declarations
.