Up
–
frama-c-tai
»
Std_extra
»
PatriciaTree
» WrappedHomogeneousValue
Module
PatriciaTree.WrappedHomogeneousValue
type
('a, 'map) t
=
(
'a
,
'map
)
snd