#lang sml structure SigIdMap = FinMapFn(type ord_key = SigId.Id val compare = SigId.compare)