fix minor typos

src/kernel_services/ast_queries/ast_info.mli

@@ -30,37 +30,37 @@ open Cil_types
 
 (** [true] iff the constant is an integer constant
     (i.e. neither a float nor a string). Enum tags and chars
-    are integer constant
+    are integer constants.
 *)
 val is_integral_const: constant -> bool
 
 (** returns the value of the corresponding integer literal or [None]
-    if the constant is not an integer (i.e. {!is_integral_const} returns false.
+    if the constant is not an integer (i.e. {!is_integral_const} returns false).
 *)
 val possible_value_of_integral_const: constant -> Integer.t option
 
-(** returns the value of the corresponding integer constant expression
+(** returns the value of the corresponding integer constant expression, or
     [None] if the expression is not a constant expression or does not
     evaluate to an integer constant.
 
     @before Frama-C+dev the function only returned [Some v] when the
-    expression was an integer literal (i.e. [Const c])
+    expression was an integer literal (i.e. [Const c]).
 *)
 val possible_value_of_integral_expr: exp -> Integer.t option
 
 (** returns the value of the corresponding integer literal. It is
     the responsability of the caller to ensure the constant is indeed
-    an integer constant. If unsure, use {!possible_value_of_integral_const}
+    an integer constant. If unsure, use {!possible_value_of_integral_const}.
 *)
 val value_of_integral_const: constant -> Integer.t
 
 (** returns the value of the corresponding integer constant expression. It
     is the responsibility of the caller to ensure that the argument is indeed
     an integer constant expression. If unsure, use
-    {!possible_value_of_integral_expr}
+    {!possible_value_of_integral_expr}.
 
     @before Frama-C+dev the function would fail if the expression was not an
-    integer literal (see {!possible_value_of_integral_expr})
+    integer literal (see {!possible_value_of_integral_expr}).
 *)
 val value_of_integral_expr: exp -> Integer.t