https://github.com/EasyCrypt/easycrypt
Revision a10adcfdc66d2fc6e6e347a22a1bcbf2c4d7fa1c authored by Benjamin Gregoire on 04 July 2014, 10:38:21 UTC, committed by Benjamin Gregoire on 04 July 2014, 10:52:33 UTC
1 parent 7f3443c
Tip revision: a10adcfdc66d2fc6e6e347a22a1bcbf2c4d7fa1c authored by Benjamin Gregoire on 04 July 2014, 10:38:21 UTC
improve previous patch
improve previous patch
Tip revision: a10adcf
ecLoader.mli
(* Copyright (c) - 2012-2014 - IMDEA Software Institute and INRIA
* Distributed under the terms of the CeCILL-B license *)
(* -------------------------------------------------------------------- *)
type idx_t
type ecloader
(* -------------------------------------------------------------------- *)
val create : unit -> ecloader
val aslist : ecloader -> ((bool * string) * idx_t) list
val dup : ecloader -> ecloader
val forsys : ecloader -> ecloader
val addidir : ?system:bool -> ?recursive:bool -> string -> ecloader -> unit
val locate : ?onlysys:bool -> string -> ecloader -> string option
Computing file changes ...
