IR function type