Add an Opaque variant to type_decl_kind and start updating the code

1 files changed, 1 insertions, 0 deletions

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 =