2018-01-09 15:36:42 +01:00

2 lines
61 B
JavaScript

declare function foo(x: mixed): boolean %checks(x !== null);