module: case

Instance OtherCase


Class:

        CaseFeature
 
       

Entails:

        AnyCase
 
       
 

Entailed By:

 

Class Documentation:

A Case value distinct from all other defined values. 

Return to class hierarchy