diff options
| author | Graydon Hoare <[email protected]> | 2011-05-05 11:54:32 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:54:45 -0700 |
| commit | 48e0de22c129c2faec142c879c820f6db91b75b2 (patch) | |
| tree | d1199104ce92c55b5b0ec908490c9e072394643d /doc/rust.texi | |
| parent | rustc: Add a binding to LLVM's bitcode parser (diff) | |
| download | rust-48e0de22c129c2faec142c879c820f6db91b75b2.tar.xz rust-48e0de22c129c2faec142c879c820f6db91b75b2.zip | |
Put out burning tinderbox.
Diffstat (limited to 'doc/rust.texi')
| -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. |