if(succ)then some(v)else none