-
John van Groningen authored
add derive of generic case as a local function in where of a generic case (of the same generic function and case type)
b5733b5a
add derive of generic case as a local function in where of a generic case (of the same generic function and case type)