read_only_view

Description:

public abstract Set<G> read_only_view { owned get; }

The read-only view of this set.