
 0 | module Data.HashMap.Dependant
 1 | 
 2 | import Data.HashMap.Internal
 3 | 
 4 | export
 5 | data HashDMap : (key : Type) -> (val : key -> Type) -> Type where
 6 |     Empty : HashDMap key val
 7 |     Trie : HAMT key val -> HashDMap key val
 8 | 
 9 |