Could Odin support a "functional" feature.

[xzores]

Hello I am writing something where it would be nice if could force the user to not use any global variables or states.

I would like to define something like:
some_function_type : #type proc "functional" (my_var_1 : something, my_var_2 : something ..);
Where "functional" means it can only view the states passed to it in the function called. It is just to make clear to the user that when they pass me a function that function must have this property (and yes it is important that they don't look or change the global state).