Skip to content

Commit

Permalink
Fix doc comments
Browse files Browse the repository at this point in the history
  • Loading branch information
heshanpadmasiri committed Jul 22, 2024
1 parent 8b1a099 commit 968a5a5
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -36,6 +36,7 @@

/**
* Extract semtype assertions in the below form.
* @param <SemType> which semtype (runtime or compiler) used in the assertions.
* // @type A < B
* // @type B = C
* // @type c <> D
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
/**
* Subtype test.
*
* @param <SemType> Actual semtype definition on which assertion is defined on (runtime or compile time)
* @param <SemType> Which semtype (runtime or compiler) is used for type assertion.
* @param context Type context under which {@code SemTypes} were defined.
* @param fileName Name of the file in which types were defined in.
* @param lhs Resolved {@code SemType} for the Left-hand side of the subtype test.
Expand Down

0 comments on commit 968a5a5

Please sign in to comment.