import Base.Primitives
import HashmapMain.Types
import HashmapMain.Opaque

def opaque_defs : OpaqueDefs := by sorry