is there a generally accepted name for a `when` st...

# announcements

[groostav]

is there a generally accepted name for a when statement that completely enumerates the space? IE, a when over a sealed-class where every class has a case entry?