#lang sml structure VIdMap = FinMapFn(type ord_key = VId.Id val compare = VId.compare)