From 16560ce5d6409e0f0326a0c6046960253e444ba4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Oct 2022 19:42:30 +0200
Subject: Update the code documentation to fix links and syntax issues

---
 src/LlbcAstUtils.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/LlbcAstUtils.ml')

diff --git a/src/LlbcAstUtils.ml b/src/LlbcAstUtils.ml
index 0e679fca..46711d0a 100644
--- a/src/LlbcAstUtils.ml
+++ b/src/LlbcAstUtils.ml
@@ -2,7 +2,7 @@ open LlbcAst
 open Utils
 module T = Types
 
-(** Check if a [statement] contains loops *)
+(** Check if a {!type:LlbcAst.statement} contains loops *)
 let statement_has_loops (st : statement) : bool =
   let obj =
     object
@@ -15,7 +15,7 @@ let statement_has_loops (st : statement) : bool =
     false
   with Found -> true
 
-(** Check if a [fun_decl] contains loops *)
+(** Check if a {!type:LlbcAst.fun_decl} contains loops *)
 let fun_decl_has_loops (fd : fun_decl) : bool =
   match fd.body with
   | Some body -> statement_has_loops body.body
@@ -56,7 +56,7 @@ let rec list_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id) :
   in
   parents
 
-(** Small utility: same as [list_parent_region_groups], but returns an ordered list.  *)
+(** Small utility: same as {!list_parent_region_groups}, but returns an ordered list.  *)
 let list_ordered_parent_region_groups (sg : fun_sig) (gid : T.RegionGroupId.id)
     : T.RegionGroupId.id list =
   let pset = list_parent_region_groups sg gid in
-- 
cgit v1.2.3