For each closed, positive (1, 1)-current ω on a complex manifold X and each ω-upper semicontinuous function φ on X we associate a disc functional and prove that its envelope is equal to the supremum of all ω-plurisubharmonic functions dominated by φ. This is done by reducing to the case where ω has a global potential. Then the result follows from Poletsky’s theorem, which is the special case ω ...