- API ›
- Constructors ›
- TodoCompletion
TodoCompletion
---types--- todoCompletion#221bb5e4 id:int completed_by:Peer date:int = TodoCompletion
Belongs to
| TodoCompletion |
In Rust this constructor is a variant of the enums::TodoCompletion enum.
Match on it with: if let enums::TodoCompletion::TodoCompletion(v) = result { ... }