diff options
| -rw-r--r-- | doc/rust.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/rust.texi b/doc/rust.texi index 1c6b88eb..fc4ce1fd 100644 --- a/doc/rust.texi +++ b/doc/rust.texi @@ -1673,6 +1673,7 @@ are no general parametric types. @menu * Ref.Item.Mod:: Items defining modules. * Ref.Item.Fn:: Items defining functions. +* Ref.Item.Pred:: Items defining predicates for typestates. * Ref.Item.Iter:: Items defining iterators. * Ref.Item.Obj:: Items defining objects. * Ref.Item.Type:: Items defining the types of values and slots. @@ -2651,7 +2652,8 @@ This implicit graph is called the @dfn{control-flow graph}, or @dfn{CFG}. @cindex Predicate @cindex Constraint -A @dfn{predicate} is a pure boolean function declared with the keyword @code{pred}. @xref{Ref.Item.Pred}. +A @dfn{predicate} is a pure boolean function declared with the keyword +@code{pred}. @xref{Ref.Item.Pred}. A @dfn{constraint} is a predicate applied to specific slots. |