Labels:black | darkness OCR: type effect exception compile string -> unit compile unit (U.sig or U.sml) Fail installPP (ppstream->'a->unit)->unit install prettyprinter load string -> unit load unit U and any units it needs Fail load One string -> unit load unit U (only) Fail printVal 'a -> 'a print value on stdOut printDepth int ref limit printed data depth printLength int ref limit printed list and vector length quit unit -> unit quit the interactive system quotation bool ref permit quotations in source code system string -> int execute operating system command use string -> unit read declarations from file valuepoly bool ref adopt value polymorphism verbose bool ref permit feedback from compile