Skip to content

Convert TypecheckingContext.CheckModifies to a property #410

Convert TypecheckingContext.CheckModifies to a property

Convert TypecheckingContext.CheckModifies to a property #410

Annotations

1 warning

LeanAuto CI

succeeded Nov 17, 2024 in 5m 37s