Up
–
frama-c-tai
»
Std_extra
»
PatriciaTree
» Value
Module type
PatriciaTree.Value
The moodule type of values, which can be heterogeneous.
type
('key, 'map) t