Hi I'm migrating from lib(fd) to lib(ic). I need to convert a call like "suspend(_, _, X->fd:any, _)" into ic notation. My guess is that "fd:any" would be replaced with the union of "ic:min", "ic:max" and "ic:hole". Is that right? If so, how do I specify more than one list after the "->" symbol? I couldn't find that in the manuals. Or should I use "X->constrained" ? Thank you very much, TallysReceived on Fri Nov 04 22:52:48 2005
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:40 PM GMT GMT