From bb769fc808fe7034e76147a3b9ef887406044818 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 17 Apr 2019 22:26:36 +0100
Subject: SMT: Add some comments

---
 src/jib/jib_compile.mli | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src')

diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli
index b9970733..ac41670c 100644
--- a/src/jib/jib_compile.mli
+++ b/src/jib/jib_compile.mli
@@ -83,8 +83,14 @@ type ctx =
     no_raw : bool;
     convert_typ : ctx -> typ -> ctyp;
     optimize_anf : ctx -> typ aexp -> typ aexp;
+    (** If false (default), function arguments must match the function
+       type exactly. If true, they can be more specific. *)
     specialize_calls : bool;
+    (** If false (default), will ensure that fixed size bitvectors are
+       specifically less that 64-bits. If true this restriction will
+       be ignored. *)
     ignore_64 : bool;
+    (** If false (default) we won't generate any V_struct values *)
     struct_value : bool
   }
 
-- 
cgit v1.2.3