diff options
author | Son Ho | 2022-10-26 19:42:30 +0200 |
---|---|---|
committer | Son HO | 2022-10-26 19:45:09 +0200 |
commit | 16560ce5d6409e0f0326a0c6046960253e444ba4 (patch) | |
tree | c17058a7fb7e076134841271b7693ba18b1b9285 /src/LlbcAstUtils.ml | |
parent | e1f79b07440f35e5e6296b61819cf50e6f60f090 (diff) |
Update the code documentation to fix links and syntax issues
Diffstat (limited to 'src/LlbcAstUtils.ml')
-rw-r--r-- | src/LlbcAstUtils.ml | 6 |
1 files changed, 3 insertions, 3 deletions
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 |