idris-0.9.9.3: jsrts/Runtime-node.js

var __IDRRT__print = (function() {
  var util = require('util');
  return function(s) {
    util.print(s);
  };
})();