plugins/python/py_main.mli

(********************************************************************)
(*                                                                  *)
(*  The Why3 Verification Platform   /   The Why3 Development Team  *)
(*  Copyright 2010-2023 --  Inria - CNRS - Paris-Saclay University  *)
(*                                                                  *)
(*  This software is distributed under the terms of the GNU Lesser  *)
(*  General Public License version 2.1, with the special exception  *)
(*  on linking described in file LICENSE.                           *)
(*                                                                  *)
(********************************************************************)
Silence warning 70 "missing-mli". OCaml warns when there is a .ml file but no .mli file. This commit adds almost all the missing .mli files. The remaining ones are the *_ast.ml files, as the .mli files would be verbatim copies. 2021-09-28 16:05:45 +02:00			`(********************************************************************)`
			`(* *)`
			`(* The Why3 Verification Platform / The Why3 Development Team *)`
Update headers. 2023-03-07 09:50:36 +01:00			`(* Copyright 2010-2023 -- Inria - CNRS - Paris-Saclay University *)`
Silence warning 70 "missing-mli". OCaml warns when there is a .ml file but no .mli file. This commit adds almost all the missing .mli files. The remaining ones are the *_ast.ml files, as the .mli files would be verbatim copies. 2021-09-28 16:05:45 +02:00			`(* *)`
			`(* This software is distributed under the terms of the GNU Lesser *)`
			`(* General Public License version 2.1, with the special exception *)`
			`(* on linking described in file LICENSE. *)`
			`(* *)`
			`(********************************************************************)`