module Options:sig
..end
val debug : bool Pervasives.ref
val reset : bool Pervasives.ref
val noerr : bool Pervasives.ref
val minimize : bool Pervasives.ref
val elim : bool Pervasives.ref
val maxsize : int Pervasives.ref
exception Known_error
exception Done
val print_options : unit -> unit