let rec list_of_class_type x acc = match x with | Ast.CtAnd (_, x, y) -> list_of_class_type x (list_of_class_type y acc) | x -> x :: acc