// Generated by ReScript, PLEASE EDIT WITH CARE


var buddy = [
  10,
  20,
  20
];

export {
  buddy ,
}
/* No side effect */