import Base
import HashmapMain.Types
import HashmapMain.Opaque

namespace HashmapMain

def opaque_defs : OpaqueDefs := by sorry

end HashmapMain