From d6ca9b2f71bced8711b184400fa7e80061497fd7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 12 Feb 2018 14:46:05 +0100
Subject: Adding a sanity check on inductive variance subtyping.

---
 checker/univ.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/univ.mli')

diff --git a/checker/univ.mli b/checker/univ.mli
index 8c0685e0b..32e48f593 100644
--- a/checker/univ.mli
+++ b/checker/univ.mli
@@ -225,7 +225,7 @@ sig
      case because [forall x : A, B <= forall x : A', B'] requires [A =
      A'] as opposed to [A' <= A]. *)
   type t = Irrelevant | Covariant | Invariant
-
+  val check_subtype : t -> t -> bool
   val leq_constraints : t array -> Instance.t constraint_function
   val eq_constraints : t array -> Instance.t constraint_function
 end
-- 
cgit v1.2.3