Add an apostrophe
Co-Authored-By: scalexm <alexandre@scalexm.fr>
This commit is contained in:
parent
7b81c74670
commit
a041e9d1ee
1 changed files with 1 additions and 1 deletions
|
|
@ -58,7 +58,7 @@ see that clauses are always of the form:
|
|||
```text
|
||||
forall<K1, ..., Kn> { DomainGoal :- Goal }
|
||||
```
|
||||
hence domain goals are in fact clauses LHS. That is, at the most granular level,
|
||||
hence domain goals are in fact clauses' LHS. That is, at the most granular level,
|
||||
domain goals are what the trait solver will end up trying to prove.
|
||||
|
||||
<a name="trait-ref"></a>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue