swh:1:snp:6d793aeab171a5710c1817dc2536aa4c79222a27
Tip revision: 787383f8d587cfbcb81b29cbd1f3f9c3d32f9bac authored by Pierre Boutry on 27 June 2022, 15:50:50 UTC
[C/G]DH-RSR: adapt to changes on main branch
[C/G]DH-RSR: adapt to changes on main branch
Tip revision: 787383f
ecTerminal.mli
(* -------------------------------------------------------------------- *)
type terminal
type status = [
| `ST_Ok
| `ST_Failure of exn
]
type loglevel = EcGState.loglevel
(* -------------------------------------------------------------------- *)
val interactive : terminal -> bool
val next : terminal -> EcParsetree.prog
val notice : immediate:bool -> loglevel -> string -> terminal -> unit
val finish : status -> terminal -> unit
val finalize : terminal -> unit
val setwidth : terminal -> int -> unit
(* -------------------------------------------------------------------- *)
val from_channel : ?gcstats:bool -> name:string -> in_channel -> terminal
val from_tty : unit -> terminal
val from_emacs : unit -> terminal