let make_set_type ty =
  set_conversion ty
    (Ltype(Logic_env.find_logic_type "set",[Lvar "_"]))