#lang sml structure StrIdMap = FinMapFn(type ord_key = StrId.Id val compare = StrId.compare)