From eeac69419158552ef455a4197e78567837c546ca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 12:22:30 +0100
Subject: Add an Opaque variant to type_decl_kind and start updating the code

---
 src/PrintPure.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/PrintPure.ml')

diff --git a/src/PrintPure.ml b/src/PrintPure.ml
index e96edeed..65b151a3 100644
--- a/src/PrintPure.ml
+++ b/src/PrintPure.ml
@@ -189,6 +189,7 @@ let type_decl_to_string (fmt : type_formatter) (def : type_decl) : string =
       in
       let variants = String.concat "\n" variants in
       "enum " ^ name ^ params ^ " =\n" ^ variants
+  | Opaque -> "opaque type " ^ name ^ params
 
 let var_to_string (fmt : type_formatter) (v : var) : string =
   let varname =
-- 
cgit v1.2.3