src/toolssrc/Smltope.sig

val evalLoad : string -> unit;
val loadToplevelPhrase : Lexing.lexbuf -> bool;
val evalUse : string -> unit;
val resetSMLTopDynEnv : unit -> unit;