From fc218c26cfb226be25c344af50b4b86e52360934 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
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`
---
 API/API.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'API/API.mllib')

diff --git a/API/API.mllib b/API/API.mllib
index f4bdf83db7..25275c7046 100644
--- a/API/API.mllib
+++ b/API/API.mllib
@@ -1,2 +1 @@
 API
-Grammar_API
-- 
cgit v1.2.3