retab with 2 spaces
Pattern Matching
Constructors 1,2
Constructors 3
auxiliary constructors 1
auxiliary constructors 2
class exc. 1,2
class exc. 3