@is_fct(value)


the predicate returns true if its argument is an intentional function, i.e. a predefined function, or a function defined using @fun_def, or a partial application of such functions.