Thai Sweet Chili Shrimp With Cabbage "Noodles"

olive oil

small onion, chopped

carrot, peeled and cut into coins (bigger coins cut in half)

small button mushrooms, sliced

Half of a small head of green cabbage, cut into 1/2-inch thick strips that are 3-4 inches long* (see Note)

soy sauce

sweet chili sauce ( homemade or store-bought)

peanut butter

ginger paste or freshly grated ginger (or 1/4 teaspoon ground ginger)

fresh lime juice

raw shrimp, thawed, peeled, deveined, and patted dry