MiniAgda-0.2025.7.23: test/succeed/MultiSigma.golden

--- opening "MultiSigma.ma" ---
--- scope checking ---
--- type checking ---
univ  test : Set 1
univ  test = (A : Set) & (B : Set) & Set
--- evaluating ---
--- closing "MultiSigma.ma" ---