Rust does not have an exact specification, but an effort to describe as much of the language in as much detail as possible is in the reference.