Open nsensfel opened 3 years ago
(list X) -> (set X)
(add_all my_list (default (set member_type)))
(set X) -> (list X)
add_all
(X Y) -> (X Z)
Y
Z
X
(list X) -> (set X)
cast (a shorthand for(add_all my_list (default (set member_type)))
).(set X) -> (list X)
cast (currently doable usingadd_all
, but shouldn't actually require any computations).(X Y) -> (X Z)
cast: ifY
can be cast toZ
, generate anX
data structure resulting from the cast of all members.