pub fn callable_declared_effects(fn_val: &Value) -> Vec<String>
Extract the declared effects from a callable value.