Enables implication from a source refinement into a target refinement when the source can be guaranteed to satisfy the predicate of the target.| docs.rs
Names are not type safety| lexi-lambda.github.io
Parse, don’t validate| lexi-lambda.github.io
