From abf8a9a7a60fa6f7f1b9340d89afc72b0a43af80 Mon Sep 17 00:00:00 2001
From: Drup <drupyog@zoho.com>
Date: Wed, 15 Apr 2020 20:48:19 +0200
Subject: [PATCH] Remove the remaining `between_*` type.

---
 lib/html_types.mli | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/lib/html_types.mli b/lib/html_types.mli
index 263113f1a..77bda8efb 100644
--- a/lib/html_types.mli
+++ b/lib/html_types.mli
@@ -701,17 +701,6 @@ and phrasing =
     | core_phrasing
   ]
 
-type (+'a, +'b) between_phrasing_and_phrasing_without_interactive =
-  ( [<  core_phrasing
-    | ([< phrasing_without_interactive] as 'b,
-                                           phrasing_without_noscript,
-                                           phrasing,
-                                           phrasing_without_media) transparent
-        > `Abbr `B `Bdo `Br `Canvas `Cite `Code `Command
-        `Datalist `Del `Dfn `Em `I `Img `Picture `Ins `Kbd `Map `Mark `Meter
-        `Noscript `Object `PCDATA `Progress `Q `Ruby `Samp `Script
-        `Small `Span `Strong `Sub `Sup `Svg `Template `Time `U `Var `Wbr ] as 'a)
-
 (** Phrasing without the interactive markups *)
 type phrasing_without_dfn =
   [