let left_margin_of_margin_labels (margin_labels : string list) : int = let max_length : int = max_length_of_margin_labels margin_labels in if max_length = 0 then 0 else max_length + 2