F # - В параметре типа отсутствует ограничение, когда 'k: сравнение

Question

У меня есть эта строка кода, которая дает ошибку, указанную в строке темы:

type trie<'k,'a> = TNode of ('a option * Map<'k,('k,'a) trie>)

Я пытался вставить «когда k: сравнение» всеми возможными способами, которые я могу придумать, но безрезультатно. Я могу найти только примеры этого, используя один общий параметр, а не два.

Заранее спасибо,

Bob

Answer 1

Попробуйте это:

type trie<'k,'a when 'k : comparison> = TNode of ('a option * Map<'k,trie<'k,'a>>)