let set_conversion ty1 ty2 = match ty1,ty2 with Ltype ({lt_name = "set"},[_]),_ -> ty1 | ty1,Ltype({lt_name = "set"} as lt,[_]) -> Ltype(lt,[ty1]) | _ -> ty1