import "MMap" as MMap

importJava "java.util.TreeMap" where
    data T a b

    @JavaName "<init>"
    create :: () -> <Proc> MMap.T a b
    
    subMap :: T a b -> a -> a -> MMap.T a b

    floorKey :: T a b -> a -> Maybe a
    ceilingKey :: T a b -> a -> Maybe a
    lowerKey :: T a b -> a -> Maybe a
    higherKey :: T a b -> a -> Maybe a

    floorEntry :: T a b -> a -> Maybe (MMap.Entry a b)
    ceilingEntry :: T a b -> a -> Maybe (MMap.Entry a b)
    lowerEntry :: T a b -> a -> Maybe (MMap.Entry a b)
    higherEntry :: T a b -> a -> Maybe (MMap.Entry a b)
    
importJava "org.simantics.scl.runtime.collection.TreeMapUtils" where
    asTreeMap :: MMap.T a b -> T a b