1 2 3 4 5 6
begin assert(#min(Int8) = -128i8); assert(#min(Int16) = -32768i16); assert(#min(Int32) = -2147483648i32); assert(#min(Int64) = -9223372036854775808i64) end.