From 9ebf44d84754adc5b64fcf612c6816c02c80462d Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 2 Feb 2019 19:29:23 -0500
Subject: Imported Upstream version 8.9.0

---
 kernel/retroknowledge.ml | 19 -------------------
 1 file changed, 19 deletions(-)

(limited to 'kernel/retroknowledge.ml')

diff --git a/kernel/retroknowledge.ml b/kernel/retroknowledge.ml
index d76b05a8..34f62def 100644
--- a/kernel/retroknowledge.ml
+++ b/kernel/retroknowledge.ml
@@ -25,22 +25,6 @@ open Constr
 (* aliased type for clarity purpose*)
 type entry = Constr.t
 
-(* [field]-s are the roles the kernel can learn of. *)
-type nat_field =
-  | NatType
-  | NatPlus
-  | NatTimes
-
-type n_field =
-  | NPositive
-  | NType
-  | NTwice
-  | NTwicePlusOne
-  | NPhi
-  | NPhiInv
-  | NPlus
-  | NTimes
-
 type int31_field =
   | Int31Bits
   | Int31Type
@@ -69,9 +53,6 @@ type int31_field =
   | Int31Lxor
 
 type field =
-  (* | KEq
-     | KNat of nat_field
-     | KN of n_field *)
   | KInt31 of string*int31_field
 
 
-- 
cgit v1.2.3