Clayton Walker
04/02/2018, 10:04 PMgildor
04/02/2018, 11:45 PMdsavvinov
04/03/2018, 7:57 AMcontracts
now is stdlib. Comment in the linked issue is a bit misleading, we'll clarify it to prevent further confusion -- sorry about that 🙂
In case you're interested, there's some possibility that soon we'll make those declarations public
to allow users play with them, but that will be only in some strictly "non-production" mode of compiler, where no guarantees on stability and/or compatibility of code are given.