let rec inter_all marks = match marks with | [] -> bottom | m :: [] -> m | m :: tl -> inter m (inter_all tl)