Function construct_items 

pub fn construct_items(
    db: &mut TypeSystem,
    items: impl DoubleEndedIterator<Item = TypeId>,
    nil_terminated: bool,
) -> TypeId

Constructs a structural type consisting of the items in a list.