let
cons_single =
function
a
->
Singleton_inter
(a)