mk_obj_attributes (`Class `Projection :: acc) tl
| ("class", "elimProp") :: tl ->
mk_obj_attributes (`Class (`Elim Cic.Prop) :: acc) tl
+ | ("class", "elimCProp") :: tl ->
+ mk_obj_attributes (`Class (`Elim Cic.CProp) :: acc) tl
| ("class", "elimSet") :: tl ->
mk_obj_attributes (`Class (`Elim Cic.Set) :: acc) tl
| ("class", "elimType") :: tl ->