Revision 132aa5152ffc200118475dcadd185752f1cd5a14 authored by Benjamin Gregoire on 03 September 2019, 14:35:01 UTC, committed by Benjamin Gregoire on 03 September 2019, 14:35:01 UTC
1 parent 0a6c7f8
ecBigInt.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
* -------------------------------------------------------------------- *)
include EcBigIntCore.TheInterface
Computing file changes ...