mark Set2List as functional
@@ -292,7 +292,7 @@ module COLLECTIONS
imports SET
imports MAP
- syntax List ::= Set2List(Set) [function, hook(SET.set2list)]
+ syntax List ::= Set2List(Set) [function, functional, hook(SET.set2list)]
syntax Set ::= List2Set(List) [function, functional, hook(SET.list2set)]
endmodule
