https://github.com/EasyCrypt/easycrypt
Revision 3fb5602c88dbf5e78575762c9b668fa6733d7298 authored by Pierre-Yves Strub on 05 July 2014, 12:20:08 UTC, committed by Pierre-Yves Strub on 05 July 2014, 12:20:08 UTC
1 parent a7bea72
Tip revision: 3fb5602c88dbf5e78575762c9b668fa6733d7298 authored by Pierre-Yves Strub on 05 July 2014, 12:20:08 UTC
[rewrite smt]: call [smt].
[rewrite smt]: call [smt].
Tip revision: 3fb5602
ecIo.mli
(* Copyright (c) - 2012-2014 - IMDEA Software Institute and INRIA
* Distributed under the terms of the CeCILL-B license *)
(* -------------------------------------------------------------------- *)
type ecreader
(* -------------------------------------------------------------------- *)
val from_channel : name:string -> in_channel -> ecreader
val from_file : string -> ecreader
val from_string : string -> ecreader
(* -------------------------------------------------------------------- *)
val finalize : ecreader -> unit
val parse : ecreader -> (EcParsetree.prog EcLocation.located)
val parseall : ecreader -> (EcParsetree.global EcLocation.located) list
val drain : ecreader -> unit
val lexbuf : ecreader -> Lexing.lexbuf
(* -------------------------------------------------------------------- *)
val lex_single_token : string -> EcParser.token option
val is_sym_ident : string -> bool
val is_mem_ident : string -> bool
val is_mod_ident : string -> bool
Computing file changes ...
