Skip to content

Keep a full trait reference alongside methods#468

Merged
Nadrieril merged 1 commit intoAeneasVerif:mainfrom Nadrieril:keep_method_trait_argsNov 26, 2024

Commits

Commits on Nov 26, 2024