Julia syntax - Return type annotation for a function with a where clause

Question

I\'m new to Julia. This may be a stupid question, but I can\'t seem to get the syntax for this right.

I can do

check_condition(func::F, arg::Int) where {F}