local
  open Mixture Globals Asynt;
in

val createLexerStream : BasicIO.instream -> Lexing.lexbuf;
        (* Create a lexer buffer on the given input channel.
           [createLexerStream inchan] returns a lexer buffer which reads
           from the input channel [inchan], at the current reading position. *)


val parseToplevelPhrase : Lexing.lexbuf -> Dec * bool;
val cleanEnv : (''_a, 'b) Env -> (''_a * 'b) list;
val reportFixityResult : string * InfixStatus -> unit;
val verbose     : bool ref;
val printLambda : bool ref;
val printZam    : bool ref;
val compileSignature : (string list) -> string -> Mode -> string -> unit;
val compileUnitBody : (string list) -> string -> Mode -> string -> unit;

end;
