I have this line of code which gives the error stated in the subject line:
type trie<'k,'a> = TNode of ('a option * Map<'k,('k,'a) trie>)
I've tried inserting "when k : comparison" every possible way I can think of to no avail. I can only find examples of this using one generic parameter and not two.
Thanks in advance,
Bob