Up
–
codex
»
UnionFind
»
Imperative
»
MakeSimpleNode
» Term
Parameter
MakeSimpleNode.Term
type
'a t
val
polyeq :
'a
t
->
'b
t
->
(
'a
,
'b
)
PatriciaTree.cmp