ann 
   "forceUsed"
   "warnUnused false"
   "sequenceNonUnit ignore"
   "nonexhaustiveMatch ignore"
in
   local
      $(SML_LIB)/basis/basis.mlb
      ../lambda/sources.mlb
      ../table/sources.mlb
      ../global/sources.mlb
      index.sig	
      index.fun
      index-skolem.fun
      index.sml
   in
      signature INDEX
      structure Index
      structure IndexSkolem
   end
end