MiniAgda by Andreas Abel and Karl Mehltretter
--- opening "bigData.ma" ---
--- scope checking ---
--- type checking ---
type  Any : Set
error during typechecking:
Any
/// constructor Any.inn
/// new Any : Set
/// inferExpr' ^(Out : Set) -> Any
/// new Out : Set
/// leSize 1 <=+ 0
/// leSize' 1 <= 0
/// leSize': 1 <= 0 failed