From d4a172f3543b68b6cdb42c21a95e6902203acf0e Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 27 Aug 2020 13:36:08 +0200
Subject: [PATCH] lint
---
src/kernel_services/ast_data/globals.mli | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/src/kernel_services/ast_data/globals.mli b/src/kernel_services/ast_data/globals.mli
index 59c9a4875aa..9e5293c20ff 100644
--- a/src/kernel_services/ast_data/globals.mli
+++ b/src/kernel_services/ast_data/globals.mli
@@ -106,15 +106,15 @@ module Functions: sig
(** {2 Membership} *)
val mem_name: string -> bool
- (** @return true iff there is a function with such a name
+ (** @return [true] iff there is a function with such a name
@since Frama-C+dev *)
val mem_def_name: string -> bool
- (** @return true iff there is a function definition with such a name
+ (** @return [true] iff there is a function definition with such a name
@since Frama-C+dev *)
val mem_decl_name: string -> bool
- (** @return true iff there is a function declaration with such a name
+ (** @return [true] iff there is a function declaration with such a name
@since Frama-C+dev *)
(** {2 Searching} *)
@@ -234,18 +234,18 @@ module Types : sig
{!Logic_typing.Make} *)
val mem_enum_tag: string -> bool
- (** @return true iff there is an enum constant with the given name in the
- AST.
- @since Frama-C+dev *)
+ (** @return [true] iff there is an enum constant with the given name in the
+ AST.
+ @since Frama-C+dev *)
val find_enum_tag: string -> exp * typ
(** Find an enum constant from its name in the AST.
@raise Not_found when no such constant exists. *)
val mem_type: Logic_typing.type_namespace -> string -> bool
- (** @return true iff there is a type with the given name in the given
- namespace in the AST.
- @since Frama-C+dev *)
+ (** @return [true] iff there is a type with the given name in the given
+ namespace in the AST.
+ @since Frama-C+dev *)
val find_type: Logic_typing.type_namespace -> string -> typ
(** Find a type from its name in the AST.
--
GitLab