#lang sml structure SigId = IdFn()