Login
Roast topics
Find topics
Find it!
From:
docs.rs
(Uncensored)
subscribe
Implies in refined::implication - Rust
https://docs.rs/refined/latest/refined/implication/trait.Implies.html
links
backlinks
Roast topics
Find topics
Roast it!
Enables implication from a source refinement into a target refinement when the source can be guaranteed to satisfy the predicate of the target.