// Generated by ReScript, PLEASE EDIT WITH CARE


console.log(10);

var coordinates = [
  10,
  20,
  30
];

var x = 10;

export {
  coordinates ,
  x ,
}
/*  Not a pure module */