let rec isCompositeType tp = match tp with TComp _ -> true | TPtr(x, _) -> isCompositeType x | TArray(x,_,_,_) -> isCompositeType x | TFun(x,_,_,_) -> isCompositeType x | TNamed (x,_) -> isCompositeType x.ttype | _ -> false