TYPECASES

Definition of TYPECASES