https://github.com/EasyCrypt/easycrypt
Revision 6df81b68bb7fb2010d10043e5c11e4401cf56d37 authored by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC, committed by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC
1 parent e43821c
Tip revision: 6df81b68bb7fb2010d10043e5c11e4401cf56d37 authored by Benjamin Gregoire on 01 April 2014, 07:58:40 UTC
add product of two and 3 sets
add product of two and 3 sets
Tip revision: 6df81b6
ecTerminal.mli
(* -------------------------------------------------------------------- *)
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
Computing file changes ...