---

yaml
---
r: 2380
b: refs/heads/master
c: 48e0de2
h: refs/heads/master
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 5fb6e6364b6b10e98430140554e644697f29eb06
+refs/heads/master: 48e0de22c129c2faec142c879c820f6db91b75b2

trunk/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.