js.js

'use strict';


var Null = 0;

var Undefined = 0;

var Null_undefined = 0;

var Exn = 0;

var $$Array = 0;

var $$Boolean = 0;

var $$Date = 0;

var Dict = 0;

var Global = 0;

var Json = 0;

var $$Math = 0;

var Obj = 0;

var Re = 0;

var $$String = 0;

var Typed_array = 0;

var Types = 0;

var Float = 0;

var Int = 0;

exports.Null           = Null;
exports.Undefined      = Undefined;
exports.Null_undefined = Null_undefined;
exports.Exn            = Exn;
exports.$$Array        = $$Array;
exports.$$Boolean      = $$Boolean;
exports.$$Date         = $$Date;
exports.Dict           = Dict;
exports.Global         = Global;
exports.Json           = Json;
exports.$$Math         = $$Math;
exports.Obj            = Obj;
exports.Re             = Re;
exports.$$String       = $$String;
exports.Typed_array    = Typed_array;
exports.Types          = Types;
exports.Float          = Float;
exports.Int            = Int;
/* No side effect */