Sets.module

(*
   Sets and set related abstractions
*)

    set.sa -has set.sa $RO_SET $SET 
    set_incl.sa -has set_incl.sa  RO_SET_INCL SET_INCL BINOP_SET_VIEW 
    h_set.sa -has h_set.sa SET H_SET 	 	-- Hash set
    set_views.sa -has set_views.sa FILTER_SET_VIEW -- Filtered view of a set

    set_test.sa -has set_test.sa TEST_SET