set_type

form a set type from a type

Synopsis

set_type(t: type) -> type

Description

The set_type function returns the set type whose elements have type t, e.g., set_type(<ip>) is <set[ip]>.

Examples

Form a set type

# spq
values set_type(this)
# input
<ip>
# expected output
<set[ip]>