Hello,
Is there a simple way to check if a value belongs to a domain (e.g., if
5 belongs to {0#10})? If it is a List we can check if {List.member X L}
? I am looking for a similar thing for Domain! Having hard time finding
it!
Thanks so much,
Ashis
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
