From fc218c26cfb226be25c344af50b4b86e52360934 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Thu, 20 Jul 2017 17:10:58 +0200
Subject: [api] Remove type equalities from API.

This ensures that the API is self-contained and is, well, an API.
Before this patch, the contents of `API.mli` bore little relation with
what was used by the plugins [example: `Metasyntax` in tacentries.ml].

Many missing types had to be added.

A sanity check of the `API.mli` file can be done with:

`ocamlfind ocamlc -rectypes -package camlp5 -I lib API/API.mli`
---
 kernel/kernel.mllib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/kernel.mllib')

diff --git a/kernel/kernel.mllib b/kernel/kernel.mllib
index dd3f9a2f8..994634854 100644
--- a/kernel/kernel.mllib
+++ b/kernel/kernel.mllib
@@ -9,15 +9,15 @@ Constr
 Context
 Vars
 Term
-Declarations
-Entries
 Mod_subst
 Cbytecodes
 Copcodes
 Cemitcodes
+Opaqueproof
+Declarations
+Entries
 Nativevalues
 Primitives
-Opaqueproof
 Declareops
 Retroknowledge
 Conv_oracle
-- 
cgit v1.2.3