From a02cb1e0a25032005deb5545183598bb5feb07d0 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 18 Oct 2016 16:27:04 +0100
Subject: put typ_to_t in type_check's visible interface

---
 src/type_check.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/type_check.mli b/src/type_check.mli
index 7db4adc4..02fd2a80 100644
--- a/src/type_check.mli
+++ b/src/type_check.mli
@@ -9,3 +9,4 @@ type 'a envs_out = 'a * envs
 
 
 val check : envs -> tannot defs -> tannot defs * envs
+val typ_to_t : envs -> bool -> bool -> Ast.typ -> t
-- 
cgit v1.2.3