swh:1:snp:0e3a7a90b5b85feca1ee6285ebc0301d2b85deae
Tip revision: ba37062b0bcf587228febfb01e728f5ceb6d4aba authored by Pierre-Yves Strub on 05 January 2023, 13:05:38 UTC
runtest: ECRJOBS env. variable
runtest: ECRJOBS env. variable
Tip revision: ba37062
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
(* -------------------------------------------------------------------- *)
type progress = [ `Human | `Script | `Silent ]
val from_channel :
?gcstats:bool
-> ?progress:progress
-> name:string
-> in_channel
-> terminal
val from_tty : unit -> terminal
val from_emacs : unit -> terminal