MiniAgda-0.2025.7.23: test/fail/VeiledParameter.err

--- opening "VeiledParameter.ma" ---
--- scope checking ---
scope check error: D
/// c
/// expression (If true A B) is not valid in a parameter