https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: e26e48edaacaf11448d7c89e4594cb98898ec02a authored by Adrien Koutsos on 16 August 2022, 08:33:12 UTC
Adding missing `mli` and theory files
Tip revision: e26e48e
ecVersion.mli
(* -------------------------------------------------------------------- *)
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