https://github.com/EasyCrypt/easycrypt
Tip revision: a79f9aeb6de046ca12210d26317fab59c175d0dd authored by Pierre-Yves Strub on 08 July 2014, 09:43:21 UTC
Fix bug w.r.t. _tools presence detection.
Fix bug w.r.t. _tools presence detection.
Tip revision: a79f9ae
ecTerminal.mli
(* Copyright (c) - 2012-2014 - IMDEA Software Institute and INRIA
* Distributed under the terms of the CeCILL-B license *)
(* -------------------------------------------------------------------- *)
type terminal
type status = [
| `ST_Ok
| `ST_Failure of exn
]
(* -------------------------------------------------------------------- *)
val interactive : terminal -> bool
val next : terminal -> EcParsetree.prog EcLocation.located
val notice : immediate:bool -> string -> terminal -> unit
val finish : status -> terminal -> unit
val finalize : terminal -> unit
(* -------------------------------------------------------------------- *)
val from_channel : name:string -> in_channel -> terminal
val from_tty : unit -> terminal
val from_emacs : unit -> terminal