Skip to main content

Browse the archive

Revision 18e7bf44d8f1c9001408dddf56bead2b770e1b93 authored by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC, committed by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC 
Stdlib: more results on polynomials & ring ideals
1 parent 83e39fd
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