Functions with More than One Parameter

The function f above has one parameter. Now consider the following function:

 
implies:bool # bool  -> bool;
implies(a,b) <= not(a) or b;

implies has two parameters both boolean and it returns a boolean.