path_semantics_std (cargo): A Rust type checked implementation of the standard dictionary of path semantics using constrained functions
Keywords: advancedresearch|semantics|proving|theorem|path