// Generated by ReScript, PLEASE EDIT WITH CARE


var $$default = "Bob";

export {
  $$default ,
  $$default as default,
}
/* No side effect */