Poetry

OCamlPro · Mar 29, 2021 · a225cdf · a225cdf
1 parent 2393693
commit a225cdf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/lib/reasoners/th_util.ml b/src/lib/reasoners/th_util.ml
@@ -26,7 +26,8 @@
 (*                                                                            *)
 (******************************************************************************)
 
-(** An answer type. If it is Some (thing), then the answer is yes,
+(** An answer type.
+    If it is Some (thing) then the answer is 'true' (for a boolean query),
     otherwise it is unknown. *)
 type answer = (Explanation.t * Expr.Set.t list) option
 

diff --git a/src/lib/structures/expr.ml b/src/lib/structures/expr.ml
@@ -45,7 +45,7 @@ and view = {
   xs: t list;
   ty: Ty.t; (* expression type *)
   bind : bind_kind;
-  tag: int; (* always = -42 *)
+  tag: int; (* S : always = -42 ? *)
   vars : (Ty.t * int) SMap.t; (* vars to types and nb of occurences *)
   vty : Ty.Svty.t;
   depth: int;