I'm new in cpn tools and standard ml language. I want to define real colorset in cpn tools but it shows error:
real are not supported in cpn tools.
How can I do this without changing my IDE? thank you for your help.
question from:https://stackoverflow.com/questions/65880532/real-colorset-in-cpn-tools-and-sml