src/Pure/Isar/code.ML

 fun constructors_of (Constructors (cos, _)) = (cos, false)
   | constructors_of (Abstractor ((co, (vs, ty)), _)) = ([(co, (vs, [ty]))], true);
 
 fun case_consts_of (Constructors (_, case_consts)) = case_consts
   | case_consts_of (Abstractor _) = [];
+
 
 (* functions *)
 
 datatype fun_spec = Eqns_Default of (thm * bool) list * (thm * bool) list lazy
       (* (cache for default equations, lazy computation of default equations)