(* 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