Function restriction formal expression