Up
–
coq
»
Trie
» Grp
Module type
Trie.Grp
type
t
val
nil :
t
val
is_nil :
t
->
bool
val
add :
t
->
t
->
t
val
sub :
t
->
t
->
t