No exact translation found for "partial function"