Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
09 March 2024, 04:34:05 UTC
Revision 17ae2d37bb9894eb22be1f149eaecd0934d0771a authored by Adrien Koutsos on 29 April 2022, 15:32:59 UTC, committed by Adrien Koutsos on 29 April 2022, 15:32:59 UTC 
better printing + work on costs
1 parent f37b697
Raw File
Tip revision: 17ae2d37bb9894eb22be1f149eaecd0934d0771a authored by Adrien Koutsos on 29 April 2022, 15:32:59 UTC
better printing + work on costs
Tip revision: 17ae2d3
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