diff options
| author | Son HO | 2023-11-28 08:04:43 +0100 |
|---|---|---|
| committer | GitHub | 2023-11-28 08:04:43 +0100 |
| commit | b78850a81dfea78bc280f1b5b6d2fdcb421e386a (patch) | |
| tree | 3a4807b26856c0c2e21f1a8a4cdf80da136c26ec /compiler/Pure.ml | |
| parent | bacf3f5f6f5f6a9aa650d5ae8d12a132fd747039 (diff) | |
| parent | a3a3ab9723348e24f83073a52145128f34022265 (diff) | |
Merge pull request #46 from AeneasVerif/son_improves
Minor improvements for the extraction
Diffstat (limited to '')
| -rw-r--r-- | compiler/Pure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Pure.ml b/compiler/Pure.ml index 50849df9..0ae83007 100644 --- a/compiler/Pure.ml +++ b/compiler/Pure.ml @@ -273,7 +273,7 @@ class virtual ['self] mapreduce_ty_base = type ty = | TAdt of type_id * generic_args - (** {!Adt} encodes ADTs and tuples and assumed types. + (** {!TAdt} encodes ADTs and tuples and assumed types. TODO: what about the ended regions? (ADTs may be parameterized with several region variables. When giving back an ADT value, we may @@ -1064,7 +1064,7 @@ type trait_impl = { meta : meta; impl_trait : trait_decl_ref; llbc_impl_trait : Types.trait_decl_ref; - (** Same remark as for {llbc_generics}. *) + (** Same remark as for {!field:llbc_generics}. *) generics : generic_params; llbc_generics : Types.generic_params; (** We use the LLBC generics to generate "pretty" names, for instance |