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