document/embbed-rust
2
0
Fork 0
mirror of https://github.com/nkbai/book.git synced 2026-09-04 05:32:47 +08:00
Code Issues Packages Projects Releases Wiki Activity

Typo: defintely->definitely

Browse Source
This commit is contained in:
Nathan
2018-11-06 21:19:15 -08:00
parent 68fb2ba5b5
commit bf13a6db68
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/static-guarantees/design-contracts.md
View File

@@ -245,7 +245,7 @@ output_pin.set_bit(false);
// output_pin.into_input_pull_down();
```
This is defintely a convenient way to store the state of the pin, but why do it this way? Why is this better than storing the state as an `enum` inside of our `GpioConfig` structure?
This is definitely a convenient way to store the state of the pin, but why do it this way? Why is this better than storing the state as an `enum` inside of our `GpioConfig` structure?
## Compile Time Functional Safety