Report - Type Systems - lamp · records of the type {x:Nat} Actually, the function can be applied to ANY record that has at least the field x:Nat! Æthe type system is WAY too strict! too

Please pass captcha verification before submit form