fold in the eval ctx in ml