/// Item type from the left module.
export record Item {}