> io__print_quoted: (this predicate is not exported)
> If the type is univ, print the value, and then a
> type-qualifier (":"), and then the module-qualified type name.
It would seem more intuitive to have these reversed; the type name
should help you interpret the value. Also, make sure that the module qualifier
and type qualifiers can be told apart.
Zoltan.