Skip to main content

Browse the archive

Revision 972a0fa7c31107bd43e2efb347f3ee921335da8a authored by Cécile BARITEL-RUET on 22 March 2019, 16:02:09 UTC, committed by Cécile BARITEL-RUET on 22 March 2019, 16:02:09 UTC 
fix eta-reduction/eta-extension
1 parent 5cb65da
Raw File
ecVersion.mli 
(* --------------------------------------------------------------------
 * Copyright (c) - 2012--2016 - IMDEA Software Institute
 * Copyright (c) - 2012--2018 - Inria
 * Copyright (c) - 2012--2018 - Ecole Polytechnique
 *
 * Distributed under the terms of the CeCILL-C-V1 license
 * -------------------------------------------------------------------- *)

(* -------------------------------------------------------------------- *)
val copyright : string list
val url       : string
val hash      : string
val app       : string

module License : sig
  val engine : string
  val stdlib : string
end
back to top