2017-11-01 16:16:48 +01:00

2 lines
61 B
JavaScript

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