Searched refs:fixDefault (Results 1 – 15 of 15) sorted by relevance
210 void fixDefault() noexcept in fixDefault() function
213 void fixDefault() noexcept in fixDefault() function
1757 void fixDefault() noexcept in fixDefault() function
280 void fixDefault() noexcept in fixDefault() function
355 fun fixDefault(NONE, defCase) = setLabel(defCase, cvec)356 | fixDefault(SOME _, _) = ()358 val () = ListPair.appEq fixDefault (cases, caseLabels)