Partial evaluation function.