home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / compiler / Infixres.sig < prev    next >
Encoding:
Text File  |  1996-07-03  |  156 b   |  9 lines  |  [TEXT/R*ch]
  1. local
  2.   open Globals Asynt;
  3. in
  4.  
  5. val resolveToplevelDec : Dec -> InfixBasis * ConBasis * Dec;
  6. val resolveToplevelSpec : Spec -> InfixBasis * ConBasis;
  7.  
  8. end;
  9.