local  open Globals Asynt;in val resolveToplevelSigExp : SigExp -> SigExp;val resolveToplevelSpec : Spec -> InfixBasis * Spec;val resolveToplevelDec : Dec -> InfixBasis * Dec;  end;